引言代码还能在编译的时候就“跑”起来把结果直接塞到程序里等运行时压根不用再算这听起来是不是有点神奇在 C20 里constexpr就是这个魔法师它不仅能搞定简单的数字计算还能玩转std::string和std::vector让你的程序在起跑线上就领先一步。作为一个混迹C多年的老司机我要说这玩意儿简直是性能优化的秘密武器。今天我就用大白话带你拆解constexpr的新招式配上几个硬核小案例保证你看完就能上手把代码效率提到新高度为什么constexpr是性能的加速器你在写一个游戏引擎每一帧的延迟都可能让玩家抓狂。传统的代码里很多计算只能等到运行时去做比如初始化一个字符串的长度或者算一个数组的总和。但有了constexpr这些活儿可以直接在编译时干完运行时直接用结果省时省力还能让 CPU 和内存少喘几口气。C20 更牛把std::string和std::vector也拉进了编译时计算的队伍这意味着复杂的字符串操作和容器操作都能提前搞定。这不只是优化这是革命我的观点是constexpr不只是个工具它是现代 C 编程的思维方式。学会它你就是在用编译器帮你“预执行”代码把性能瓶颈扼杀在摇篮里。接下来我带你从基础玩到高级边讲边练保准你学得爽快constexpr基础从数字到编译时魔法先说最简单的constexpr是啥它就是告诉编译器“这个变量或者函数的值我希望你在编译时就给我算出来”比如一个平方函数constexpr int square(int x) { return x * x; } int main() { constexpr int result square(5); // 编译时直接算出 25 return result; }这里square(5)在编译时就被算成了 25运行时啥都不用干直接用这个值。好处零运行时开销但这只是开胃菜C20 之前constexpr只能玩简单的数据类型像std::string和std::vector这种动态分配内存的家伙它碰不了。到了 C20这限制被打破了下面咱们就进入正题。C20 的新玩具编译时玩转std::string和std::vectorC20 给std::string和std::vector的构造函数和析构函数加上了constexpr的标签意思是它们可以在编译时被创建和销毁。这太酷了因为你可以在编译时操作字符串和容器提前把结果准备好。来看两个例子小案例 1编译时算字符串长度#include string constexpr size_t get_string_len() { std::string str{Hello, C20}; return str.size(); } int main() { constexpr size_t len get_string_len(); // 编译时算出 11 return len; }拆解代码•std::string str{Hello, C20}在编译时创建存了个字符串。•str.size()返回字符串长度编译器直接算出 11。•len是个constexpr变量编译时就锁死了这个值运行时直接用。学到啥•std::string能在编译时用但它必须在函数里“生”和“死”不能跑出去。• 这招适合预计算固定的字符串操作比如配置文件解析的长度检查。小案例 2编译时求向量和#include vector #include numeric constexpr int sum_vector() { std::vectorint vec{1, 2, 3, 4, 5}; return std::accumulate(vec.begin(), vec.end(), 0); } int main() { constexpr int sum sum_vector(); // 编译时算出 15 return sum; }拆解代码•std::vectorint vec{1, 2, 3, 4, 5}在编译时分配内存装了 5 个数。•std::accumulate是标准库的求和函数这里也在编译时跑。• 结果 15 直接赋给sum运行时啥都不用算。学到啥•std::vector能在编译时动态调整大小比如 push_back但内存分配和释放必须在编译时完成。• 适合预计算固定的容器数据比如游戏关卡的初始分数表。硬核案例编译时算 Fibonacci 数列光看小打小闹不过瘾咱们来个有深度的用std::vector在编译时算 Fibonacci 数列第 n 项。#include vector constexpr int fibonacci(int n) { if (n 1) return n; std::vectorint fib(n 1); fib[0] 0; fib[1] 1; for (int i 2; i n; i) { fib[i] fib[i - 1] fib[i - 2]; } return fib[n]; } int main() { constexpr int fib_10 fibonacci(10); // 编译时算出 55 static_assert(fib_10 55, Fibonacci 计算错误); return fib_10; }拆解代码• 如果n 1直接返回边界条件。• 创建一个std::vectorint大小是n 1用来存数列。• 用循环填满数列fib[2] fib[1] fib[0]以此类推。•fib_10在编译时算出第 10 项是 55static_assert验证结果。学到啥•constexpr能处理复杂逻辑只要所有操作都在编译时搞定。• 用static_assert检查结果增加代码可靠性。• 这招适合预计算数学常量或者表格比如加密算法的初始值。我的主张别把constexpr当成玩具它是性能优化的杀手锏。像 Fibonacci 这种递归或循环计算传统方法在运行时耗时constexpr直接甩给编译器运行时只管用结果。这不仅是效率提升更是代码设计的新思路。注意坑constexpr的边界在哪里用constexpr爽归爽但它有规矩constexpr std::vectorint bad_idea() { std::vectorint vec{1, 2, 3}; return vec; // 编译错误内存没法在运行时用 }但返回计算结果没事constexpr size_t good_idea() { std::vectorint vec{1, 2, 3}; return vec.size(); // OK返回 3 }1.内存管理动态分配像vector内部的数组只能在编译时完成别指望运行时接手。我的建议把constexpr当成“编译时沙盒”所有东西都在里面玩出来时只带结果别带对象。这样就不会踩坑。安全比较整数别让类型坑你聊完constexpr再说个容易翻车的点整数比较。C里有符号和无符号整数混着比结果可能让你怀疑人生int x -3; unsigned int y 7; if (x y) { std::cout x y\n; // 你想要的 } else { std::cout x y\n; // 实际输出因为 x 被转为无符号 }为啥x被提升成无符号数变成一个超级大的正数比 7 大多了。C20 看不下去了推出了compare里的安全比较函数比如std::cmp_less。小案例 3安全比较混类型整数#include compare #include iostream template typename T, typename U constexpr bool safe_less(T t, U u) { return std::cmp_less(t, u); } int main() { int a -5; unsigned int b 10; if (safe_less(a, b)) { std::cout a b\n; // 输出正确 } else { std::cout a b\n; } return 0; }拆解代码•std::cmp_less聪明地处理类型差异-5 确实比 10 小。• 用模板封装成safe_less啥类型都能比。•constexpr加持编译时也能用。学到啥• 别信普通用cmp_less保平安。• 适合跨类型比较比如配置文件里的混合数据。用constexpr和安全比较重塑你的 C 思维C20 的constexpr和安全比较函数不是小修小补它们是给你的一把性能与可靠性的双刃剑。constexpr让你把计算前置到编译时省下运行时的每一滴汗水std::cmp_less则像个保镖保证你的整数比较不翻车。我强烈建议别把这些新特性当摆设融入你的代码里它们会让你的程序更快、更稳。我的独家观点是未来的 C 开发会越来越依赖编译时计算。constexpr不只是优化工具它在逼你重新思考代码的执行时机。学会它你就掌握了 C 的“时间魔法”。赶紧试试这篇文章里的案例吧动手写几行代码感受编译器的威力你会发现C 从未如此有趣参考文献• ISO/IEC 14882:2020, Programming languages — C• C20 STL Cookbook, by Bill Weinman• cppreference.com, constexpr specifier• cppreference.com, Integer comparison functions
 MDK-ARM 主流版本 + 发布时间汇总)
