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

前端之家收集整理的这篇文章主要介绍了c – 什么时候实例化类模板?前端之家小编觉得挺不错的,现在分享给大家,也给大家做个参考。
假设你有以下(不合格)程序:
  1. struct A
  2. {
  3. A(int,int)
  4. {
  5. }
  6. };
  7.  
  8. template <typename T>
  9. class B
  10. {
  11. B()
  12. {
  13. if (sizeof (T) == 1)
  14. {
  15. throw A(0); // wrong,A() needs two arguments
  16. }
  17. }
  18. };
  19.  
  20. int main()
  21. {
  22. return 0;
  23. }

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.

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