在C++的众多关键字中，const可能是最简单但又最深刻的一个。它看起来只是一个修饰符，告诉编译器“这个变量不应该被修改”。但随着C++语言的发展，const逐渐演变成一个多层次的抽象体系，涵盖了常量表达式、常量成员函数、常量迭代器、常量正确性，以及最重要的——编译期计算。理解const的完整语义，是理解C++设计哲学的关键。
参考：https://vrhyh.cn/category/yinshi.html
const最基础的用法是创建命名常量。const int max_size = 100;声明了一个名为max_size的常量，任何试图修改它的代码都会导致编译错误。这与C语言中的#define宏相比，有着显著的优势：const常量有类型、有作用域、可以被调试器识别。但这只是冰山一角。const的真正威力体现在指针和引用上：const T表示指向常量的指针（不能通过指针修改所指向的值），T const表示常量指针（不能修改指针本身），const T* const则两者都是常量。这种组合虽然看起来令人困惑，但能够精确地表达复杂的接口约束。
常量成员函数是const在面向对象编程中的关键应用。一个成员函数如果被标记为const，意味着它不会修改对象的状态（即不会修改任何非mutable的数据成员）。这对于代码的理解和优化都有重要意义：常量成员函数可以被常量对象调用，而非常量成员函数则不能。标准库中的容器充分利用了这个特性——begin()返回普通迭代器，cbegin()和begin() const返回常量迭代器。常量迭代器不允许修改所指向的元素，这保证了当通过常量引用传递容器时，函数无法意外修改其内容。
参考：https://vrhyh.cn/category/zhongyi.html
常量正确性是C++社区中的一个重要概念。它指的是在整个程序中正确使用const标注，区分“可变的”和“不可变的”数据。一个常量正确的程序能够更清晰地表达意图，更容易推理，也更安全。但保持常量正确性需要纪律：当一个函数不需要修改参数时，参数应该声明为const引用；当一个成员函数不修改对象状态时，应该标记为const；当指针不修改所指向的值时，应该使用const T*。遗憾的是，许多C++代码库没有严格遵守常量正确性，导致接口膨胀和潜在的错误。
C++11引入的constexpr是const家族的重要扩展。与const表示“运行时常量”不同，constexpr表示“编译时常量”。一个constexpr变量必须在编译期被初始化，并且初始值必须是一个常量表达式。一个constexpr函数可以在编译期被求值，如果所有参数都是常量表达式的话。这从根本上改变了C++中的元编程方式——从复杂的模板元编程转向看起来像普通函数的编译期计算。
constexpr与const的另一个重要区别是它们对对象生命周期的不同影响。一个const全局变量在静态存储区分配，在程序启动时初始化。而一个constexpr变量在编译期已经完全求值，它的值直接嵌入到代码中，不需要运行时初始化。这带来了性能优势和更少的静态初始化顺序问题——后者是C++中长期存在的问题，当多个全局对象的构造函数相互依赖时，初始化顺序是不确定的。
C++14扩展了constexpr函数的能力，允许局部变量和循环。C++17引入了constexpr的lambda表达式。C++20带来了constexpr的动态内存分配（如std::vector和std::string）以及constexpr的虚函数。C++23进一步允许了constexpr的std::unique_ptr和std::shared_ptr的部分操作。每一次标准更新，都在消除编译期计算和运行期计算之间的界限。理论上，最终C++中的任何函数都有可能被标记为constexpr，只要它的实现不涉及系统调用、动态类型识别或运行时多态。
这种向“尽可能编译期计算”演进的趋势，反映了C++社区对性能和类型安全的追求。编译期计算不仅快（零运行时开销），而且安全——因为编译期计算的错误会在编译期被捕获，而不是等到运行时才崩溃。这种“将尽可能多的工作移至编译期”的哲学，是C++与许多动态语言的本质区别。
C++23引入的constinit关键字进一步完善了这个体系。constinit用于确保一个变量在静态初始化阶段完成初始化，避免静态初始化顺序的问题。与constexpr不同，constinit不要求变量是常量——它只要求初始化发生在编译期或静态初始化阶段，但变量的值可以在运行时改变。这为某些需要复杂初始化的全局对象提供了安全的解决方案。
从const到constexpr再到constinit，我们可以看到一个清晰的演进路径：C++正在逐步构建一个精细的常量层次体系。这个体系允许开发者精确表达编译期可知的信息，让编译器能够进行更激进的优化，同时保证类型安全。这种对“不变性”的追求，使得C++代码更加可预测、更容易推理，也更不容易出错。它也是C++向函数式编程风格靠拢的一种体现——函数式语言强调不可变性，因为不可变的数据天然避免了大量的并发问题和状态管理复杂性。
参考：https://vrhyh.cn
