Question

#include <cstddef>
#include <iostream>

template<std::size_t R, std::size_t C>
struct foo {};

template<std::size_t R, std::size_t C>
class bar {
public:
    bar(const foo<R, C>& = foo<R, C>()) {}
};

int main() {
    bar<10, 10> y;
    std::cout << 'x';
}

上面的代码compiles and runs correctly（打印x作为输出）在g ++ v4.8上，而在clang ++ v3.4上是does not even compile，声称error: unknown type name 'C'。为什么两个版本的编译结果不同？

用于编译的命令是：

g++-4.8 -std=c++11 -O2 -Wall -pedantic -pthread main.cpp && ./a.out
clang++ -std=c++11 -O2 -Wall -pedantic -pthread main.cpp && ./a.out

Answer 1

这是标准中的缺陷，处理为http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_active.html#325。

问题是类中的默认参数中的名称查找应该考虑所有类成员（包括稍后声明的类成员），但是当默认参数是T<X, Y>时，我们只知道默认参数是什么已经完全解析了类（默认参数可以是T<X, Y>或者可以是T<X，如果T不是类的完整范围内的模板，则逗号终止默认参数）。

在解决这个问题时，GCC和Clang显然采用了不同的方法。您可以通过括号化默认参数来简单地修复代码。

为什么clang ++不能像g ++一样编译同一个文件呢？

1 个答案: