C++中模板constexpr变量如何显式实例化,哪款编译器符合标准?
问题结论
按照C++标准的规定,GCC的行为是符合规范的,Clang的报错属于实现层面的缺陷,并不是要求你必须在显式实例化时保留constexpr关键字。
规则解释
- 首先,C++标准明确规定:显式实例化的声明/定义中不允许使用
constexpr、consteval这类函数/变量说明符,GCC给出的error: explicit instantiation shall not use 'constexpr' specifier报错完全符合标准要求。 - Clang报错的本质不是要求加
constexpr,而是类型匹配问题:constexpr修饰的变量默认带有const限定,因此你定义的变量模板fib的所有实例的实际类型都是const size_t,你写的template size_t fib<70>;中使用了非const的size_t,和实际类型不匹配才触发了报错。
跨编译器兼容的正确写法
你只需要在显式实例化时补充const限定符即可,不需要加constexpr:
template const size_t fib<70>;
上述写法在GCC、Clang以及MSVC上都可以正常编译通过。
内容的提问来源于stack exchange,提问作者Fedor
相关产品推荐
相关产品推荐

