【C++ 面试真题】const 和 constexpr 的区别?

字数 2552，阅读大约需 13 分钟

上期聊完 static，文末埋了个坑：下期聊 const 和 constexpr。这俩长得像、都跟"常量"沾边，却是面试里最容易翻车的一对概念。很多同学张口就答"const 是常量"，结果被一句"const int n = rand(); 合法吗"直接带走。本文用问答的方式，把它们一次掰扯清楚。

一、先说结论

❓ 说说 C++ 中的 const 和 constexpr 有什么本质区别？

✅ const和constexpr的本质区别，概括起来就是：

• • const 修饰的是只读语义——"我承诺不写它，但不保证它是什么时候算出来的"；
• • constexpr 修饰的是编译期可求值——"它的值必须在编译阶段就能算出来"。

最小对比例子：

// 只读，但值运行期才确定const int a = rand();// ❌ a 不能当编译期常量用// 编译期就能算出来constexpr int b = 3 * 7;// ✅ b == 21，编译期常量

a 合法、但不是编译期可知；b 必须编译期可知。这就是全部差异的根。

💡 记一个口诀：const 管"能不能改"，constexpr 管"能不能在编译期算出来"。前者是访问权限，后者是求值时机。

一点历史背景：const 从 C 时代就有（C++98 沿用并扩展），原本就是"只读"的语义；而 constexpr 是 C++11 才引入的新关键字，专门用来表达"编译期常量"。在 constexpr 出现之前，C++ 程序员想定义编译期常量，只能借助 const 加常量初始化这种"约定俗成"的写法，语义含糊。constexpr 的诞生，就是要把"编译期可知"这件事明明白白地写出来，让编译器替你把关——不满足就编译报错，而不是留到运行期才发现。

二、const 到底保证了什么？

❓ 那 const 真的等于"常量"吗？

✅ 不等于。const 保证的是只读，不是编译期可知。看这个经典反例：

#include <cstdlib>int main(){    // 值运行期才确定    const int n = rand();    // 之后只读，没问题    // n = 10;   // ❌ 编译错：只读}

n 是 const，合法——因为它初始化后不再改变。但它的值来自 rand()，编译器根本没法在编译期知道它是多少。

后果是：凡是要"编译期常量"的地方，n 都用不了：

// 设 const int n = rand();std::array<int, n> a;   // ❌ 数组大小switch (x) {    case n:             // ❌ case 标签        break;}T<n> obj;              // ❌ 模板实参

但反过来，如果 const 变量恰好用常量表达式初始化，它就同时也是编译期常量：

const int N = 10;      // 常量表达式初始化int arr[N];            // ✅ 可以当数组大小

所以更准确的说法是：const 是"只读"，至于它是不是编译期常量，要看它的初始化方式。

再补一个容易混的细节：const 修饰"对象本身只读"，并不限制它的来源。它可以来自 rand()、来自文件读入、来自函数返回值——只要初始化之后不再修改，就满足 const 的契约。

💡 加分点：const 的反义词不是"变量"，而是 mutable。它管的是访问权限（只读），不是值的来源时间。const 最实用的价值其实是契约——函数参数写成 const T&，是在告诉调用方"我不会改你的数据"。

顺带提一句：在 const 成员函数里，mutable 成员仍可修改。这是 const 唯一的"后门"，常用于缓存、互斥锁等"逻辑上不影响对象状态"的场景。

三、constexpr 到底保证了什么？

❓ 那 constexpr 又保证了什么？

✅ constexpr 保证：被它修饰的东西，值能在编译期算出来。分两种用法。

1. constexpr 变量——必须是编译期常量，且必须立刻初始化、隐含 const：

constexpr int x = 10;   // 编译期常量// x = 5;   // ❌ 隐含 const，只读int buf[x];             // ✅ 可当数组大小

2. constexpr 函数——"在给定编译期输入时，能在编译期算出结果"：

constexpr int square(int n){    return n * n;}int main(){    // 入参是编译期值    constexpr int a = square(5);  // ✅ 25    // 入参是运行期值    int b = square(rand());    // ↑ 按普通函数在运行期跑}

⚠️ 重点（高频考点）：constexpr 函数不是"只能在编译期跑"。传入运行期值时，它就退化成普通函数在运行期执行。它的语义是"可以在编译期跑"，不是"只能在编译期跑"。这是一个非常大的理解误区。

怎么判断这次调用到底在哪个阶段跑？ 看接收结果的"容器"：

• • 结果赋给 constexpr 变量、或用在 static_assert、模板实参、数组大小里——编译器强制在编译期求值，入参也必须是编译期值；
• • 结果赋给普通变量——可以在运行期跑（此时入参无所谓），编译器自行决定要不要在编译期优化掉。

一句话：constexpr 函数是"双向"的，跑在哪一端，由调用点决定。

四、核心区别对比表

五、二者不是互斥，而是可叠加

❓ 那能同时写 const 和 constexpr 吗？

✅ 能，但对变量来说，写 constexpr 就够了——constexpr 变量隐含 const，再写 const 是多余的：

constexpr int x = 5;        // 已隐含 constconstexpr const int y = 5;  // ✅ 合法但多余

真正常组合用的是和 static，用来在类里定义编译期常量：

class C {    static constexpr int k = 8;    // C++11：类内可初始化    // 但取地址仍需类外定义    // C++17：constexpr 隐含    // inline，类外不必再写};

🎯 指针这块最容易搞混。const T* 和 T* const 是"指向 const"和"const 指针"的区别，而 constexpr 指针说的是"指针本身是编译期常量"，跟它指向的对象是否 const 无关：

int g = 1;// constexpr 修饰"指针本身"constexpr int* p = &g;*p = 2;   // ✅ 写 g，合法// 注意：指向的对象 g 非 const

六、经典误区与陷阱

❓ 实际写代码最容易踩哪些坑？

✅ 三个典型误区，全是面试和实战的高发区。

误区①：把 const 当编译期常量

const int sz = get_size();   // 运行期值// int arr[sz];              // ❌ VLA// 应改用：std::vector<int> v(sz);      // ✅ 运行期大小

误区②：以为 constexpr 函数"必须"编译期执行

constexpr int add(int a, int b){    return a + b;}// 运行期调用，完全合法int x = add(rand(), rand());// 不报错，当普通函数跑

误区③：本该用 constexpr，却写成 const，白白丢优化

// 前提：factorial 是 constexprconstexpr int factorial(int n){    return n <= 1 ? 1             : n * factorial(n - 1);}const int v = factorial(5);// ⚠ 不保证编译期算，可能留到运行期constexpr int v2 = factorial(5);// ✅ 逼编译期算出来

🔧 实操建议：能加 constexpr 就加。它是超集——既能在编译期算（优化、当常量），又能在运行期跑。现代 C++ 鼓励把能在编译期算的东西都标成 constexpr。

七、constexpr 函数的演进（C11 → C20）

❓ constexpr 函数的限制是不是越来越松了？

✅ 对，每个版本都在大幅放宽：

💡 加分点：C++20 起，连 std::string、std::vector 都能在 constexpr 上下文里用了，"编译期计算"的能力大涨。甚至能在编译期排序、做字符串处理。这也是为什么现在越来越多的库函数（std::numeric_limits、std::vector 的部分接口）都加了 constexpr。

八、面试高频追问

Q1：const 变量能当数组大小吗？看初始化。const int N = 10; ✅ 可以（编译期可知）；const int N = f(); ❌ 不行（运行期才知）。

Q2：constexpr 函数在运行期调用，结果还算常量表达式吗？不算。只有当本次调用的入参都是编译期值时，结果才是编译期常量；否则它退化成普通函数，结果就是运行期值。

Q3：const 和 constexpr 能同时写吗？能。变量上：constexpr 已隐含 const，再加 const 多余。成员函数上二者正交，完全可以同时出现，例如 constexpr int f() const; 表示一个"编译期可求值、且不修改对象的成员函数"。

Q4：constexpr 函数能调用普通函数吗？不能直接调用非 constexpr 函数（在编译期求值的路径上）。C++14 起可以自由调用其他 constexpr 函数。所以想让一个函数能在编译期用，它调用的下游函数也得是 constexpr。

Q5：constexpr 变量能不初始化吗？不能。constexpr 变量必须在声明处用常量表达式初始化，否则编译报错——这跟 const 不一样，const 可以只声明不初始化（如 extern const int n;）。

九、总结速查表

一句话回顾

const 管"能不能改"，constexpr 管"能不能在编译期算出来"。前者是访问权限，后者是求值时机——记住这一句，再加一句"constexpr 变量隐含 const、constexpr 函数也能在运行期跑"，这题就稳了。

如果您觉得本篇内容对你有帮助，欢迎点赞 👍、收藏 ⭐、转发 ↗️。