为什么 clang++ 不编译与 g++ 相同的文件？

Why doesn't clang++ compile the same file as g++ do?

本文关键字：文件 g++ clang++ 编译 为什么      更新时间：2023-10-16
#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';
}

上面的代码在 g++ v4.8 上正确编译和运行（打印x作为输出），而同样在 clang++ v3.4 上甚至没有编译，声称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

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

问题是类内默认参数

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

在解决这个问题的过程中，GCC和Clang显然对此采取了不同的方法。您可以通过用括号括起来修复代码。

相关文章：