C++中constexpr函数

1 简介

constexpr函数指的是在编译的时候就能得到其返回值的函数，也就是说编译器将constexpr函数直接转换成其返回值，因此，constexpr函数都是被隐式地定义为内联函数。使用constexpr关键字来修饰constexpr函数。

2 使用方法

有如下代码：

constexpr int myFunc()
{
  return 1;
}
constexpr int i = myFunc() * 4;

此时，编译器会将myFunc()函数用其返回值1来代替，在编译时就可知i的值是4。

3 注意事项

3.1 constexpr函数的返回值类型必须是字面值类型

int g_i = 1;
constexpr int myFunc()
{
  return g_i;
}

此时的返回值g_i不是字面值类型，因此报错信息为“error C3256: “g_i”: 变量使用不生成一个常量表达式”。

3.2 constexpr函数的形参可以是非常量，但是实参必须是常量

constexpr int myFunc(int i)
{
  return i;
}
constexpr int i = myFunc(1) * 4;

此时，myFunc()函数的实参是常量，在编译时可以直接被替换为1，程序不报错。

int j = 2;
constexpr int i = myFunc(j) * 4;

此时，myFunc()函数的实参是非常量，程序报错信息为“error C2131: 表达式的计算结果不是常数”，将j定义为const int则不报错。

3.3 函数体中必须有且只有一条return语句

如下代码

constexpr int myFunc(int i)
{
  int j;
  return i;
}

程序的报错信息为“error C3250: “j”: 不允许在“constexpr”函数体中进行声明”。