C++中constexpr函数的使用小结

 更新时间:2026年07月03日 08:46:38   作者:卷无止境  
本文主要介绍了C++中constexpr函数的使用小结,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友们下面随着小编来一起学习学习吧

编译器不只是翻译代码的工具——在现代 C++ 里,它还能帮你在编译阶段就把结果算好,省去运行时的开销。constexpr 函数,正是打开这扇门的钥匙。

一、从一个问题说起

想象你要计算一个矩形的面积,长和宽在编写代码时就已经确定了(比如都是 10)。按照直觉,你可能会这样写:

int calculateArea(int l, int w) {
    return l * w;
}

int main() {
    constexpr int length = 10;
    constexpr int width  = 10;
    constexpr int area = calculateArea(length, width); // ❌ 编译报错!
}

编译器会直接报错:non-constexpr function 'calculateArea' cannot be used in a constant expression

原因很简单:constexpr 变量要求它的初始值在编译期就完全确定,但普通函数的返回值只有在运行时才能知道,编译器没法提前信任它。

解决方案只需一个关键字:

constexpr int calculateArea(int l, int w) {
    return l * w;
}

加上 constexpr 后,编译器就知道这个函数"可以在编译期求值",上面的代码立刻通过。

二、constexpr函数的核心机制

constexpr 函数最迷人的地方在于它的双重身份——它既可以在编译期求值,也可以像普通函数一样在运行时调用,完全取决于调用时的上下文。

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

int main() {
    constexpr int a = square(5);  // ✅ 编译期求值,结果直接写入二进制
    int n = 7;
    int b = square(n);            // ✅ 运行时求值,n 是运行时变量
}

这就省去了"写两个版本"的麻烦——一个函数,两种用途,编译器自己判断。

编译期求值的条件

要让 constexpr 函数真正在编译期运行,需要同时满足:

  • 传入的参数必须是编译期已知的常量表达式
  • 函数体内所有操作都必须是编译期可求值的

如果传入的是运行时变量,函数会自动退化为普通函数,不会报错,也不会编译期求值。

三、从汇编看"魔法"

最直观的证据藏在汇编里。对于下面这段代码:

constexpr int calculateArea(int l, int w) {
    return l * w;
}

int main() {
    constexpr int area = calculateArea(10, 10);
}

编译后的汇编直接是:

mov DWORD PTR [rbp-12], 100   ; 结果 100 已经被硬编码进去了!

函数调用彻底消失了,编译器把 10 * 10 = 100 这个答案直接烧进了二进制文件。这就是编译期计算的威力:零运行时开销。

四、演进历史与版本差异

constexpr 并非一蹴而就,它随着 C++ 标准不断进化:

C++11 时代的 constexpr 函数限制极多,函数体里只能有一条 return 语句,连 if 都不能用,只能靠三元运算符凑合。C++14 之后才真正"解放",让 constexpr 函数写起来和普通函数几乎一样自然。

五、使用规则速查

以下是写 constexpr 函数时必须遵守的规则(以 C++14 为基准):

规则说明
参数和返回值类型必须是字面类型(整数、浮点、指针、自定义字面类等)
支持递归完全可以递归调用自身
不能有 goto禁止使用 goto 语句
C++20 前不能是虚函数C++20 起解除此限制
隐式 inlineconstexpr 函数自动具备 inline 属性

六、实战示例:从简单到进阶

示例一:编译期阶乘(递归)

#include <iostream>

// 递归计算阶乘,C++11 风格
constexpr long long factorial(int n) {
    return (n <= 1) ? 1 : n * factorial(n - 1);
}

int main() {
    // 编译期直接算好,不占运行时时间
    constexpr long long result = factorial(10);
    std::cout << "10! = " << result << std::endl; // 输出:3628800
}

factorial(10) 在编译时就已经变成了 3628800,运行时什么都不用算。

示例二:C++14 风格——更自由的写法

C++14 之后,函数体里可以有局部变量和循环,写法更直观:

#include <iostream>

// C++14:可以用循环,不必强行递归
constexpr int power(int base, int exp) {
    int result = 1;
    for (int i = 0; i < exp; ++i) {
        result *= base;
    }
    return result;
}

int main() {
    constexpr int val = power(2, 10); // 编译期算出 1024
    std::cout << "2^10 = " << val << std::endl;

    int n = 3; // 运行时变量
    int runtime_val = power(2, n); // 退化为运行时调用,完全合法
    std::cout << "2^3 = " << runtime_val << std::endl;
}

同一个函数,两种调用方式,编译器聪明地处理了一切。

示例三:用于模板参数(这才是真正的杀手锏)

constexpr 函数的返回值可以直接用作模板参数,这是普通函数做不到的:

#include <array>
#include <iostream>

constexpr int getSize() {
    return 256;
}

int main() {
    // 数组大小必须是编译期常量,constexpr 函数完美胜任
    std::array<int, getSize()> buffer;
    std::cout << "buffer size: " << buffer.size() << std::endl;
}

这里 getSize() 的结果 256 在编译期就确定了,所以可以作为 std::array 的模板参数。

七、constvsconstexpr:别搞混了

这两个关键字经常让人迷惑,一张表说清楚:

特性constconstexpr
初始化时机可以推迟到运行时必须在编译期完成
能否用于函数❌ 不能修饰函数本身✅ 可以修饰函数
值是否一定是常量表达式❌ 不一定✅ 一定是
能否用作模板参数❌ 不一定能✅ 可以

简单记:const 是"我不会改变",constexpr 是"我在编译期就确定了"。

八、小结

constexpr 函数的本质,是把计算的时间轴往前拨——从程序运行时,拨到编译时。这带来三个直接好处:更快的运行速度(结果已经算好了)、更小的二进制体积(省去了函数调用开销)、更强的类型安全(编译期错误比运行时错误好捉多了)。

从 C++11 的严苛限制,到 C++20 几乎可以在编译期运行整个标准库,constexpr 走过了漫长的演进之路。掌握它,你就拿到了现代 C++ 性能优化的一把利器。

到此这篇关于C++中constexpr函数的使用小结的文章就介绍到这了,更多相关C++ constexpr函数内容请搜索脚本之家以前的文章或继续浏览下面的相关文章希望大家以后多多支持脚本之家!

您可能感兴趣的文章:

相关文章

  • Qt中QStackedWidget控件的实现

    Qt中QStackedWidget控件的实现

    QStackedWidget是Qt框架中一个非常有用的控件,它允许你堆叠多个窗口部件,本文主要介绍了Qt中QStackedWidget控件的实现,具有一定的参考价值,感兴趣的可以了解一下
    2025-04-04
  • Qt6.3 + Clion +MSVC2019环境配置详解

    Qt6.3 + Clion +MSVC2019环境配置详解

    本文主要介绍了Qt6.3 + Clion +MSVC2019环境配置详解,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友们下面随着小编来一起学习学习吧
    2023-01-01
  • c++ class中成员与分配内存的问题详解

    c++ class中成员与分配内存的问题详解

    很多人都知道C++类是由结构体发展得来的,所以他们的成员变量(C语言的结构体只有成员变量)的内存分配机制是一样的,下面这篇文章主要给大家介绍了关于c++ class中成员与分配内存问题的相关资料,需要的朋友可以参考下
    2021-10-10
  • c++遍历lua table示例

    c++遍历lua table示例

    这篇文章主要介绍了c++遍历lua table示例,需要的朋友可以参考下
    2014-04-04
  • C++设置系统时间及系统时间网络更新的方法

    C++设置系统时间及系统时间网络更新的方法

    这篇文章主要介绍了C++设置系统时间及系统时间网络更新的方法,涉及网络程序设计与系统函数的使用,需要的朋友可以参考下
    2014-10-10
  • Opencv下载和导入Visual studio2022的实现步骤

    Opencv下载和导入Visual studio2022的实现步骤

    本文主要介绍了Opencv下载和导入Visual studio2022的实现步骤,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友们下面随着小编来一起学习学习吧
    2022-05-05
  • C++数据结构继承的概念与菱形继承及虚拟继承和组合

    C++数据结构继承的概念与菱形继承及虚拟继承和组合

    今天我要给大家介绍C++中更深入的内容了。C++这门语言为了使代码不冗余,做了些什么操作呢?C++的继承就很好地实现了类层次的代码复用,今天我就要来和大家好好聊一聊它了
    2022-02-02
  • C语言计算大数相加的方法

    C语言计算大数相加的方法

    这篇文章主要为大家详细介绍了C语言计算大数相加的方法,文中示例代码介绍的非常详细,具有一定的参考价值,感兴趣的小伙伴们可以参考一下
    2021-05-05
  • 详解如何配置CLion作为Qt5开发环境的方法

    详解如何配置CLion作为Qt5开发环境的方法

    这篇文章主要介绍了详解如何配置CLion作为Qt5开发环境的方法,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友们下面随着小编来一起学习学习吧
    2021-04-04
  • C++创建多线程的方法总结

    C++创建多线程的方法总结

    下个迭代有个任务很有趣,用大量的线程去访问一个接口,直至其崩溃为止,这就需要多线程的知识,这也不是什么难事,本文总结一下C++中的多线程方法std、boost、pthread、windows api,感兴趣的朋友可以参考下
    2024-01-01

最新评论