55

编译器： g++ 4.7.2

行。所以我对.h和.cpp文件中的默认参数感到困惑。很多地方（包括本站）都提到，默认参数只能在 .h 文件中添加，不能在 .cpp 文件中添加。但是，这段代码证明它是错误的：

测试1.h

#pragma once

#include <iostream>
using namespace std;

class Class{
public:
    Class(int, int, int=1);
};

测试1.cpp

#include "test1.h"

Class::Class(int a, int b=2, int c)
{
    cout<<a<<" "<<b<<" "<<c<<endl;
}

int main()
{
    Class a(1);
    return 0;
}

现在，根据我的测试，可以将默认参数添加到.cpp文件中。但是，存在以下限制：

  1. .cpp和文件中存在的默认参数.h不应重叠。即Class(a, b, c=1)（在 .h 文件中）和 Class::Class(a,b,c=2)（在 .cpp 文件中）无效。

    众所周知的规则是，一旦添加了默认参数，之后声明的所有变量也必须包含默认值。让我们称之为defpara规则。现在，

  2. 函数声明（.h文件）中声明的变量应遵守defpara规则，即Class(a, b=2, c)（在 .h 文件中）无论在 .cpp 文件中声明什么都是无效的。

  3. 如果考虑具有默认值的变量（作为.h和.cpp文件中默认值的交集），它将遵循defpara规则。即Class(a, b, c=1)（在.h 文件中）和 Class::Class(a,b=2,c)（在.cpp文件中）是有效的。但是Class(a, b, c=1)（在 .h 文件中）和Class::Class(a=2,b,c)（在.cpp文件中）是无效的。

所以....我是对的，错的？？？

4

4 回答 4

92

如果函数在头文件中声明，则默认值应始终放在头文件中。

这是因为编译器将为使用您的类的所有编译单元使用头文件[除非您“顽皮”并且不要在任何应该去的地方使用头文件]。

由于编译器在编译调用函数的代码（在本例中为构造函数）时添加了默认参数，因此 .cpp 文件中的默认值无关紧要。

当然，在这种情况下，头文件的“用户”只有一个，调用构造函数的地方也只有一个。但是在 .cpp 文件中设置默认值通常是错误的 [除非它是本地函数]。

如果你“混合”默认值，你会得到非常“有趣”的错误——例如，如果你的 .cpp 有一个默认值，而头文件有一个不同的默认值。如果你真的很熟练，你甚至可以让编译器为函数的不同调用生成不同的默认值，如果代码依赖于某个特定值的默认值，这几乎肯定会导致一些麻烦。并且不要试图将默认值从标头复制到 .cpp 文件“只是为了更容易查看”。如果有人更改了默认值，那么几乎可以肯定这两个地方都不会更改，甚至可能更糟：更改错误的默认值，因此它不会按照预期进行。

于 2013-02-15T19:50:19.303 回答
36

这仅适用于您的 main 函数也在您的test.cpp文件中，因此它会看到在您的类的实现中指定的默认参数。如果将main函数放在仅包含 的单独文件中test.h，则此代码将无法编译。

另一种看待它的方式是，当其他一些包含时test.h，代码所看到的只是在中声明的内容test.h，因此不会使用放在其他地方的默认参数。

于 2013-02-15T19:48:41.437 回答
10

.h 与 .cpp 是一个红鲱鱼。规则是默认参数可以在函数声明和函数定义中使用。您不能重新定义默认参数，甚至不能重新定义相同的值。所以这是不合法的：

void f(int, int = 3);
void f(int, int = 3); // error: redefinition of default argument

但是，后续声明可以添加默认参数：

void f(int, int = 3);
void f(int = 4, int = 3);
f(); // calls f(4, 3);

此外，在调用函数的任何时候，都可以使用在该点看到的默认参数：

void f(int, int =3);
f(1); // calls f(1, 3);
void f(int = 4, int = 3);
f(1); // calls f(1, 3);
f();  // calls f(4, 3);

在原始示例中，.h 文件定义了一个默认参数，任何使用该标头的翻译单元都可以使用该默认参数：

Class c3(1, 2, 3);
Class c2(1, 2);

此外，.cpp 文件定义了一个额外的默认参数，因此在该声明之后，可以使用一个、两个或三个参数调用构造函数：

Class c3(1, 2, 3);
class c2(1, 2);
class c1(1);
于 2013-02-15T19:58:26.673 回答
3

在 C++ 中，文件的定义没有默认参数之类的东西——它只存在于声明中。

发生的情况是编译器看到一个缺少后面参数的函数。如果这些是默认值，它可以填充空白以构造目标代码来调用函数，就好像函数调用具有这些参数一样。

PS： Item 38/Scott Myers/Effective C++ - 永远不要重新定义继承的默认参数值。

于 2013-02-15T19:55:43.430 回答