关键字 --- constexpr

m0_49172457

已于 2024-08-26 12:30:18 修改

阅读量578

点赞数 9

分类专栏： C++关键字文章标签： c++

于 2024-08-23 10:36:11 首次发布

本文链接：https://blog.csdn.net/m0_49172457/article/details/141455711

版权

C++关键字专栏收录该内容

4 篇文章 0 订阅

订阅专栏

1. C++中，constexpr关键字怎样用？有哪些注意事项？与const之间的区别是什么？

constexpr 是 C++11 引入的一个关键字，用于指出，某个变量、函数或构造函数能够在编译时求值。以下是 constexpr 的用法、注意事项以及与 const 的区别。

1.1 `constexpr` 的用法

1.1.1 声明常量

可以使用 constexpr 来定义一个常量，编译器会，在编译时，计算该常量的值：

constexpr int max_size = 100; // 编译时的常量

1.1.2 声明一般函数

constexpr 函数是，可以在编译时进行求值的函数。它必须满足以下特定条件：

函数体必须包含单一的 return 语句；也就是，函数体内，只有一条return语句！
函数的入参必须是常量表达式。

示例：

constexpr int square(int x) {
    return x * x;
}

int main() {
    constexpr int value = square(5); // 编译时求值
}

1.1.3 声明构造函数

constexpr 还可以用于构造函数，使得对象在编译时可用：

struct Point {
    constexpr Point(int x, int y) : x(x), y(y) {}
    int x, y;
};

constexpr Point p(1, 2); // 编译时创建对象

1.2 注意事项

必须是常量表达式：constexpr 变量的值、constexpr函数的值，必须能够，在编译时就可计算出来！
限制：constexpr 函数内，不能包含动态内存分配操作、异常处理操作等运行时的特性。
C++14 及以后的扩展：在 C++14 中，constexpr 函数的限制有所放宽，可以包含多个语句、条件语句和循环等。
C++17 进一步扩展：C++17中，constexpr函数有更多的灵活性，如，支持 constexpr 的 lambda 函数表达式。

1.3 与 `const` 的区别

定义目的：
- const：用于定义常量，表示，该变量的值在运行时不可修改。
- constexpr：用于，定义，在编译时就可求值的常量，通常用于优化、编译时计算。
可求值( 可计算出值 )的时间点：
- const 变量的值，可以在运行时被确定。
- constexpr 变量的值，必须在编译时被确定。
可用性：
- const 可以修饰任何类型的变量。
- constexpr 主要用于简单的常量表达式、函数和构造函数。

示例对比

const int a = 10; // 运行时常量
constexpr int b = 20; // 编译时常量

int main() {
    int arr[a]; // 合法，但 a 是运行时常量
    int arr2[b]; // 合法，b 是编译时常量
}

总结

constexpr 使得 编译时计算 成为可能，适用于，需要在编译时求值的场景。
const 主要用于定义，在运行时不可修改的常量。
理解两者的区别和用法可以帮助你写出更高效和安全的代码。

2. `constexpr` 函数有哪些限制条件?函数返回值如何确定?

constexpr 函数在 C++ 中有一些限制条件，确保，它们可以在编译时求值！以下是这些限制条件以及函数返回值的确定方式。

2.1 `constexpr` 函数的限制条件

2.1.1 函数体内只有简单的表达式

constexpr 函数的主体，必须只能，包含一个或多个简单的表达式，通常是单一的 return 语句，在C++11中，不允许有复杂的控制流（如循环、条件语句等）。

constexpr int add(int a, int b) {
    return a + b; // 合法
}

2.1.2 允许的复杂性（C++14 及以后）

从 C++14 开始，constexpr 函数可以包含更复杂的控制流，例如条件语句和循环。

constexpr int factorial(int n) {
    return n <= 1 ? 1 : n * factorial(n - 1); // 合法
}

2.1.3 参数要求

constexpr 函数的入参必须是，常量表达式，或者是 constexpr 类型的变量。

2.1.4 不允许动态内存分配

constexpr 函数的函数体内，不能使用动态内存分配操作（如 new 和 delete）。

2.1.5 不允许异常处理

constexpr 函数的函数体内，不能抛出异常。

2.2 `constexpr` 函数返回值的确定

2.2.1 编译时求值

constexpr 函数的返回值，在编译时，就可以求出来。如果函数的入参都是常量表达式，且函数体符合 constexpr 的要求，则编译器，在编译时，就可计算出该函数的返回值。

constexpr int square(int x) {
    return x * x;
}

constexpr int result = square(4); // result的值，在编译时，可以被计算出来 ---> 16

2.2.2 运行时求值

如果，在调用constexpr 函数时，其参数不是常量表达式，则其返回值，将在运行时计算。这种情况下，constexpr 函数仍然有效，但是不具备了，编译时求值的特性。

constexpr int square(int x) {
    return x * x;
}

int main() {
    int x = 5;
    int result = square(x); // result的值，在编译时，无法被计算出来！只能，在运行时，可以被计算出来！
}

总结

constexpr 函数的主要限制在于，对constexpr 函数的复杂性和使用的特性有要求！以确保，在编译时，可求出constexpr 函数的值。
constexpr 函数的返回值，可以在编译时确定，前提是，满足 constexpr 的条件；否则，返回值将在运行时计算。

3. 如何编写一个合法的 `constexpr` 函数?

编写一个合法的 constexpr 函数需要遵循一些特定的规则和限制。下面是一个简单的指南，帮助你编写符合要求的 constexpr 函数。

3.1 基本结构

constexpr 函数的基本结构与普通函数相似，但需要在函数返回类型前加上 constexpr 关键字。

3.2 示例：合法的 `constexpr` 函数

以下是一个合法的 constexpr 函数示例，计算整数的平方：

#include <iostream>

// 定义一个合法的 constexpr 函数
constexpr int square(int x) {
    return x * x; // 返回值是一个简单的表达式
}

int main() {
    // 在编译时求值
    constexpr int result = square(5); // result的值，在编译时就可被计算出来，为 25
    std::cout << "Square of 5 is: " << result << std::endl;

    // 运行时求值
    int num = 10;
    int runtimeResult = square(num); // runtimeResult的值，在编译时无法被计算出来，在运行时可以被计算出来
    std::cout << "Square of 10 is: " << runtimeResult << std::endl;

    return 0;
}

3.3 复杂的 `constexpr` 函数

从 C++14 开始，constexpr 函数可以包含条件语句和循环。以下是一个计算阶乘的例子：

#include <iostream>

// 定义一个合法的 constexpr 函数，计算阶乘
constexpr int factorial(int n) {
    return n <= 1 ? 1 : n * factorial(n - 1); // 使用递归
}

int main() {
    // 在编译时求值
    constexpr int fact5 = factorial(5); // fact5 在编译时被计算为 120
    std::cout << "Factorial of 5 is: " << fact5 << std::endl;

    // 运行时求值
    int num = 4;
    int runtimeFact = factorial(num); // 运行时计算
    std::cout << "Factorial of 4 is: " << runtimeFact << std::endl;

    return 0;
}