Unlinke other functions,inline and constexpr functions may be defined multiple times in the program.
我使用下面的一个constexpr cfunc()的两个定义,期待foo_0()将调用第一个def,而foo_1()将调用第二个def.但尝试失败,编译错误(最后).为什么？
constexpr int cfunc(){
return 42;
}
int foo_0(){
return cfunc();
}
constexpr int cfunc(){
return 42;
}
int foo_1(){
return cfunc();
}
int main(int argc,char **argv) {
cout << foo_0() << endl;
cout << foo_1() << endl;
/* testconstexprfunc2.cpp:24:15: error: redefinition of ‘constexpr int cfunc()’ */
/* testconstexprfunc2.cpp:16:15: error: ‘constexpr int cfunc()’ prevIoUsly defined here */
return 0;
}
解决方法
按照标准说明：
从§7.1.5 / 2 constexpr指定器[dcl.constexpr]：
constexprfunctions andconstexprconstructors are implicitlyinline.
从§3.2 / 6一个定义规则[basic.def.odr]：
There can be more than one definition of a class type (Clause 9),enumeration type (7.2),
inlinefunction with external linkage … in a program provided that each definition
appears in a different translation unit…
来自§7.1.2 / 4功能规范[dcl.fct.spec]：
An
inlinefunction shall be defined in every translation unit in which it is odr-used and shall have exactly the same definition in every case.
因此,由于constexpr函数是隐含内联的,它具有内联函数的所有属性.因此,如果每个定义都出现在不同的翻译单元中,则constexpr函数可以有多个定义.
为什么你的程序失败：
在你的情况下,程序失败,因为你违反了这个规则.也就是说,您在同一个翻译单元(即main.cpp)中重新定义相同的constexpr函数.
