模板方法和默认模板参数

Question

下面的代码可以恢复我的问题：

template <typename T> struct C2;

template <typename T> 
struct C1
{
  template <typename Type,
        template <typename Ti> class Container = C2>
  void m() {}
};


template <typename T> 
struct C2
{
  template <typename Type = int,
        template <typename Ti> class Container = C2> // <-- Here is the problem!
  void m() {}

};

GNU编译器4.8.1版本出现以下消息失败：

test-temp.C:16:47: error: invalid use of type ‘C2<T>’ as a default value for a template template-parameter
      template <typename Ti> class Container = C2> 

它引用方法C2::m的默认模板参数C2。

显然(这是我的观点)，编译器将C2<T>视为默认参数，而不是C2 (没有<T>)。因此，当它找到指令时，它会失败，因为C2<T>类型与Container不匹配。

然而，clang++，只是为了完全相同的代码，编译很好！

我的问题：

1. 哪个编译器有真相？
2. 是否有其他方法来表达与当前版本的gnu编译器相同的意义？

提前感谢

莱安德罗

Answer 1

我认为Clang是正确的，g++是错误的，引用了标准草案的话(粗体强调是我的)

14.6.1本地声明的名称temp.local

和普通(非模板)类一样，类模板有一个注入的类名(第9条)。注入类名可以用作模板名或类型名称。当它与模板-参数列表一起使用时，作为模板参数的模板参数，或者作为朋友类模板声明的详细的- thefier中的final identifier时，它引用类模板本身。否则，它等同于<>中包含的类模板的模板名和模板参数。

您可以使用::作用域解析操作符来击败g++提交

template <typename T> 
struct C2
{
  template <typename Type = int,
        template <typename Ti> class Container = ::C2> 
                                              // ^^ <-- here is the solution!
  void m() {}

};

Live Example。

Answer 2

那么，TemplateRex的答案中的14.6.1引用是否意味着G++是正确的( Clang和VC++是错误的)，因为它使用X作为模板参数的模板参数？

template< template< typename > class T >
class factory { };

template< typename T >
class X
{
      friend class factory< X >;  // ***
};

int main()
{
}

在本例中，G++将X视为类模板的名称，而Clang和VC++则将其视为注入的类名。

编辑:clang5.0.0现在接受代码，与G++和EDG一样。