测试gcc的模板推断形式,在下面这个例子中,测试的代码使用了初始化列表方式构造ss结构。
#include
使用MSVC编译无报错,使用Clang编译无报错,使用GCC编译套件编译报错。
function ‘constexpr auto s<N>::f
本来f函数中应该能够推断出返回值的类型,但是gcc不能够识别内部类中的模板推断,而clang++和msvc编译器可以识别。
是测试代码的问题还是C++标准的问题呢。在C++标准中的[temp.deduct.type]一节:如果模板参数仅在非推断上下文中使用,并且未显式指定,则模板参数推断将失败。
也就是说,我们需要找到这里的上下文是可推断上下文还是不可推断上下文。标准中给了不可推断上下文的例子,其中有一条是:关联的参数是初始化列表,但该参数没有指定从初始化器列表中推断的类型的情形是不可推断上下文。
//模板类型不可推断上下文的例子
代码中的statement可以看作构造函数的参数为初始化列表的情形,因此此处是不可推断上下文。如果要变成可推断的上下文,构造对象时应该改为下面的形式,以避免直接使用初始化列表的上下文:
ss
PS:这是一个不同编译器反映不一样的行为,不建议使用初始化列表作为模板类的推断参数,我建议模板类的实例化直接写出参数类型。