17、C++ 中的 constexpr 与异构容器详解

C++ 中的 constexpr 与异构容器详解

1. constexpr 关键字

constexpr关键字告知编译器，若满足编译时求值的所有条件，某个函数将在编译时进行求值。若不满足，它将像普通函数一样在运行时执行。

constexpr函数存在一些限制，不允许进行以下操作：
- 在堆上分配内存
- 抛出异常
- 处理局部静态变量
- 处理thread_local变量
- 调用本身不是constexpr的函数

在 C++11 中，constexpr函数仅允许包含单个return语句，对于更复杂的函数，程序员需借助递归实现。不过，在 C++14 中，这一限制被移除，constexpr函数现在可以包含多条语句、声明变量，甚至修改变量。

以下是一个constexpr函数的示例：

constexpr auto sum(int x, int y, int z) { return x + y + z; } const auto value = sum(3, 4, 5);

在这种情况下，编译器会生成如下普通 C++ 代码：

const auto value = 12;