如果在调用站点不可见的代码中定义了默认参数值怎么办？

Question

我发现了一些奇怪的代码...

//in file ClassA.h:
class ClassA {
public:
    void Enable( bool enable );
};

//in file ClassA.cpp
#include <ClassA.h>
void ClassA::Enable( bool enable = true )
{
   //implementation is irrelevant
}

//in Consumer.cpp
#include <ClassA.h>
....
ClassA classA;
classA.Enable( true );

显然，由于Consumer.cpp 只包含ClassA.h 而不是ClassA.cpp，编译器将无法看到该参数具有默认值。

方法实现的签名中声明的默认值ClassA::Enable什么时候会产生影响？仅当从包含ClassA.cpp 的文件中调用该方法时才会发生这种情况吗？

Answer 1

默认值只是编译时的事情。编译代码中没有默认值之类的东西（没有元数据或类似的东西）。它基本上是“如果你不写任何东西，我会为你指定”的编译器替代品。因此，如果编译器看不到默认值，它会假定没有默认值。

演示：

// test.h
class Test { public: int testing(int input); };

// main.cpp
#include <iostream>
// removing the default value here will cause an error in the call in `main`:
class Test { public: int testing(int input = 42); };
int f();
int main() {
   Test t;
   std::cout << t.testing()  // 42
             << " " << f()   // 1000
             << std::endl;
   return 0;
}

// test.cpp
#include "test.h"
int Test::testing(int input = 1000) { return input; }
int f() { Test t; return t.testing(); }

测试：

g++ main.cpp test.cpp
./a.out

Answer 2

首先让我承认这是我第一次看到这种类型的代码。在头文件中放一个默认值IS是正常的做法，但这不是。

我的猜测是，这个默认值只能用于写在同一个文件中的代码，这样写这个的程序员想把它放在某种容易调用函数的地方，但他不想打扰对外可见的接口（头文件）。

Answer 3

这只会发生在方法 从文件中调用 包括 ClassA.cpp？

没错。但请注意，这样做几乎肯定会产生多个定义错误，因此默认值仅在 ClassA.cpp 中的定义点才真正可用。

Answer 4

将默认值放在声明中，而不是定义中。

class ClassA {
public:
    void Enable( bool enable = true );
};