用constexpr修饰构造函数，构造出来的就是一个常量吗?

asker160

如果是的话，那么下面的程序应该编译不过:

1. 
   
2. struct S{
   
3.     int m_i;
   
4.     constexpr S(int i):m_i(i){}
   
5.     void increment(){++m_i;}
   
6. };
   
7. void f(S& s){s.increment();}
   
8. int main(int argc,char*argv[]) {
   
9.     S s(argc);
   
10.     f(s);
    
11.     return 0;
    
12. }
    

复制代码

S s(argc)返回了一个constexpr S，传递给函数f，函数f接受非const引用，应该编不过，对吧。但事实上编译过了。
除非我改成const S s(argc),那么f(s)才会出错。

问题是: 这个constexpr修饰符放在构造函数前面的时候，到底有什么作用呢，返回的并非是一个常量吧?

还求大侠解释一下!

bruceteen

S s(argc)返回了一个constexpr S

第一句就不对，constexpr S s(argc); 才是你说的那样。
constexpr 修饰构造函数 和 修饰其它函数一样，说明被修饰的函数是constexpr的。如果构造函数没有被constexpr修饰，则constexpr S s(argc);将编译失败，因为这一句需要调用构造函数，但它不是constexpr的。

windoze

http://en.cppreference.com/w/cpp/language/constexpr

constexpr - specifies that the value of a variable or function can appear in constant expressions

asker160

回复 3# windoze


    嗯，这个英语必须是咬文嚼字的。