C++ 11 constexpr 能否准确验证表达式是否为常量表达式？
- 内容介绍
- 文章标签
- 相关推荐
本文共计3487个文字，预计阅读时间需要14分钟。
`constexpr` 是 C++11 标准引入的关键字，用于在编译时评估表达式的值。在详细解释其具体用法和功能之前，读者需要先理解 C++ 常量表达式的含义。所谓常量表达式，是指由多个（至少一个）常量组成的表达式。
constexpr 是 C++ 11 标准新引入的关键字，不过在讲解其具体用法和功能之前，读者需要先搞清楚 C++ 常量表达式的含义。所谓常量表达式，指的就是由多个（≥1）常量组成的表达式。换句话说，如果表达式中的成员都是常量，那么该表达式就是一个常量表达式。这也意味着，常量表达式一旦确定，其值将无法修改。
实际开发中，我们经常会用到常量表达式。以定义数组为例，数组的长度就必须是一个常量表达式：
// 1)
int url[10];//正确
// 2)
int url[6 + 4];//正确
// 3)
int length = 6;
int url[length];//错误，length是变量
上述代码演示了 3 种定义 url 数组的方式，其中第 1、2 种定义 url 数组时，长度分别为 10 和 6+4，显然它们都是常量表达式，可以用于表示数组的长度；第 3 种 url 数组的长度为 length，它是变量而非常量，因此不是一个常量表达式，无法用于表示数组的长度。
我们知道，C++ 程序的执行过程大致要经历编译、链接、运行这 3 个阶段。常量表达式的应用场景还有很多，比如匿名枚举、switch-case 结构中的 case 表达式等，感兴趣的读者可自行编码测试，这里不再过多举例。
本文共计3487个文字，预计阅读时间需要14分钟。
`constexpr` 是 C++11 标准引入的关键字，用于在编译时评估表达式的值。在详细解释其具体用法和功能之前，读者需要先理解 C++ 常量表达式的含义。所谓常量表达式，是指由多个（至少一个）常量组成的表达式。
constexpr 是 C++ 11 标准新引入的关键字，不过在讲解其具体用法和功能之前，读者需要先搞清楚 C++ 常量表达式的含义。所谓常量表达式，指的就是由多个（≥1）常量组成的表达式。换句话说，如果表达式中的成员都是常量，那么该表达式就是一个常量表达式。这也意味着，常量表达式一旦确定，其值将无法修改。
实际开发中，我们经常会用到常量表达式。以定义数组为例，数组的长度就必须是一个常量表达式：
// 1)
int url[10];//正确
// 2)
int url[6 + 4];//正确
// 3)
int length = 6;
int url[length];//错误，length是变量
上述代码演示了 3 种定义 url 数组的方式，其中第 1、2 种定义 url 数组时，长度分别为 10 和 6+4，显然它们都是常量表达式，可以用于表示数组的长度；第 3 种 url 数组的长度为 length，它是变量而非常量，因此不是一个常量表达式，无法用于表示数组的长度。
我们知道，C++ 程序的执行过程大致要经历编译、链接、运行这 3 个阶段。常量表达式的应用场景还有很多，比如匿名枚举、switch-case 结构中的 case 表达式等，感兴趣的读者可自行编码测试，这里不再过多举例。