Question

为什么以下不会出现编译错误？：

// T.h

template<class T> class X
{
public:
    void foo(int a = 42);
};

// Main.cpp

#include "T.h"
#include <iostream>

template<class T> void X<T>::foo(int a = 13)
{
    std::cout << a << std::endl;
}

int main()
{
    X<int> x;
    x.foo();   // prints 42
}

好像 13 似乎被编译器默默地忽略了。这是为什么？很糟糕的是，如果类模板定义在 Main.cpp 而不是头文件中，我确实会得到默认参数redefinition 错误。

现在我知道编译器会抱怨它，如果它只是一个普通的（非模板）函数。

标准对类模板成员函数或函数模板中的默认参数有什么看法？

Answer 1

8.3.6§6成员函数定义中的默认参数   出现在课堂之外   定义被添加到集合中   默认参数由。提供   成员函数声明   课程定义。
  [例如：
class C {
    void f(int i = 3);
    void g(int i, int j = 99);
};
void C::f(int i = 3) // error: default argument already
{ }                  // specified in class scope
void C::g(int i = 88, int j) // in this translation unit,
{ }                          // C::g can be called with no argument
- 结束示例]

根据标准，它应该给你一个错误。

类模板成员函数没有“重新定义默认参数错误”？

1 个答案: