对于默认模板参数格式不正确的未使用成员模板是否需要诊断？

Question

template<typename T>
struct S 
{    
    template<auto = T()> 
    void f();
};

int main()
{
    S<int> a;    // ok
    S<int&> b;   // error
    S<int()> c;  // gcc ok, clang error
}

error: cannot create object of function type 'int ()'

这有道理。由于gcc确实用int&诊断实例化，所以我怀疑这是一个gcc bug。是这样吗？还是这段代码不需要诊断？

Answer 1

这是CWG1635:

1635年。模板默认参数与函数默认参数有多相似？

默认函数参数仅在需要时实例化。默认模板参数也是这样吗？例如，下面的格式是否良好？

 #include <type_traits>

 template<class T>
 struct X {
   template<class U = typename T::type>
   static void foo(int){}
   static void foo(...){}
 };

 int main(){
   X<std::enable_if<false>>::foo(0);
 }

 struct S {
   template<typename T = U> void f();
   struct U {};
 };