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

发布时间：2020-12-16 06:02:01 所属栏目：百科来源：网络整理

导读：假设你有以下(不合格)程序： struct A{ A(int,int) { }};template typename Tclass B{ B() { if (sizeof (T) == 1) { throw A(0); // wrong,A() needs two arguments } }};int main(){ return 0;} GCC编译这个程序没有任何错误,cl声拒绝它与错误. 是否有理由

假设你有以下(不合格)程序：

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.

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!