C++：常量表达式

C++11开始constexpr作为一种声明，为编译器提供了在编译期间确认结果的优化建议，满足部分编译期特性的需求

constexpr和const区别

int b=10;
const int a=b;
//运行成功
constexpr int c=b;
//编译器报错，b的值在编译期间不能确定
const int size1(){return 100;}
constexpr int size2(){return 100;}
char buf1[size1()];//报错
char buf2[size2()];//通过

constexpr修饰的变量它的值必须在编译阶段可以确认，const只是作为常类型。

对constexpr修饰的函数的约束（C++11）

• 函数必须有一个返回值即返回值类型不能是void
• 函数体内只能有一行用于输出返回值且返回值必须是常量表达式
• 函数必须定义且必须用constexpr声明

注意：即使定义了一个常量表达式函数，如果形参不是常量表达式的话函数会退化为普通函数

字面类型（常量表达式中所有类型必须是字面类型）

• 构造函数用constexpr声明
• 构造函数初始化参数列表里是常量表达式
• 构造函数的函数体为空
• 基本数据类型、指针、引用、各种字面量都是字面类型

C++ 14标准规则：

• 函数体允许声明初始化过的变量，除了static和thread_local变量
• constexpr不在具有const属性
• 开始支持部分代码如：if，switch，各种循环
• 可以修改字面类型数据
• 返回值可以是void了

C++17开始lamada表达式可以用constexpr声明时会进行隐式声明

char *buf[[](){return 1024;};];

C++17 提出了if constexpr，它可以根据一个常量表达式的返回结果有选择的编译部分代码，可以简化模板的编写，比如：特化的实现

template <typename T>
void printSize(T value) {
    if constexpr (std::is_integral<T>::value) {
        std::cout << "Size of integral type: " << sizeof(T) << " bytes" << std::endl;
    } else if constexpr (std::is_floating_point<T>::value) {
        std::cout << "Size of floating-point type: " << sizeof(T) << " bytes" << std::endl;
    } else {
        std::cout << "Size of other type: " << sizeof(T) << " bytes" << std::endl;
    }
}

C++20 标准

• 支持constexpr虚函数
• 运行在constexpr中进行一些默认初始化
• 支持try catch和typeid，dynamic_cast等运算符的使用

constexpr相关关键字

• consteval关键字，强制编译期出结果，得不到结果程序结束（C++ 20）
• constinit关键字，用于具有静态存储持续时间的（生命周期全局）变量声明上，他要求变量具有常量初始化程序（编译阶段初始化），某种程度上可以提高程序效率

应用：
封装static_assert的参数，STL中sort源码中快排部分判断比较器是否有效时，将比较对象的顺序调换看比较结果是否是否不同，所以使用sort时比较器必须是常量表达式函数

STL中sort的源码中插入排序部分就用到了常量表达式用于判断迭代器的种类，如果是线性迭代器使用memmove直接移动数据，否则就需要使用循环一个一个的移动对象，这里不详细的说明了，有时间的化会写一篇博客讲一下sort源码