假设你有以下(不合格)程序：
struct A
{
A(int,int)
{
}
};
template <typename T>
class B
{
B()
{
if (sizeof (T) == 1)
{
throw A(0); // wrong,A() needs two arguments
}
}
};
int main()
{
return 0;
}
>是否有理由说这不是GCC中的错误,因为模板不被实例化？
clang做什么魔法来找到这个错误？
> C标准对这些情况有什么看法？
解决方法
模板在使用时被实例化.但是,它应该在定义时被编译.您的代码A(0)使用名称A,它不依赖于模板参数T,因此在定义模板时应该解析它.这被称为两相查找. Clang发现错误的方法是简单地尝试一听到A(0)即可.
我的GCC版本也无声地编译了这个代码,即使是有意义的错误. C 03和C 11都表示不需要诊断,尽管程序不正确,所以GCC符合. C 03中的14.6 / 7和C 11中的14.6 / 8：
If no valid specialization can be generated for a template definition,and that template is not instantiated,the template definition is ill-formed,no diagnostic required.
