c – 什么时候实例化类模板?

前端之家收集整理的这篇文章主要介绍了c – 什么时候实例化类模板?前端之家小编觉得挺不错的,现在分享给大家,也给大家做个参考。
假设你有以下(不合格)程序:
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编译这个程序没有任何错误,cl声拒绝它与错误.

>是否有理由说这不是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.

原文链接:https://www.f2er.com/c/113014.html

猜你在找的C&C++相关文章