C++中关于constexpr函数使用及说明

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”函数体中进行声明”。

C++ constexpr函数的处理

constexpr函数是指用于常量表达式的函数

需要遵守如下约定：

1) 函数的返回类型以及所有形参的类型都得是字面值类型，

2) 函数体中必须有且仅有一条return语句

3) constexpr函数不一定返回常量表达式

constexpr int new_sz(); {return 33;}
constexpr int foo_ = new_sz(); //正确，foo_是常量表达式

以上为个人经验，希望能给大家一个参考，也希望大家多多支持。