延迟默认模板参数声明时出现 clang++ 错误

Question

以下代码使用 g++ 编译良好，但使用 clang++ (3.6) 编译失败：

// Forward declaration:
template <class S, class T>
struct Base;

template <class T>
struct BaseFriend {
    friend struct Base<int, T>;
};

// Actual declaration:
template <class S, class T = int>
struct Base {
    void foo() {}
};

struct DerivedFriend : BaseFriend<int> {};

struct Derived : Base<int> {
    void foo(int) {
        Base<int>::foo();
    }
};

Derived::foo 定义出现错误：

error: too few template arguments for class template 'Base'
    Base<int>::foo();
    ^
test.cpp:3:8: note: template is declared here
struct Base;
       ^

经过几次小修复后错误消失，例如：

1. 如果在前向声明而不是实际声明中定义了默认模板参数。
2. 或者如果没有使用DerivedFriend。

但是，原来的代码有什么问题？

Answer 1

绝对是一个 clang 错误，看起来像 #10147。标准明确允许这个 [temp.param]/10:

获得可用于模板声明或定义的默认模板参数集 通过合并定义中的默认参数（如果在范围内）和同一范围内的所有声明 方式默认函数参数是（8.3.6）。 [示例：

template<class T1, class T2 = int> class A;
template<class T1 = int, class T2> class A;

等价于

template<class T1 = int, class T2 = int> class A;

——结束示例]