0

0

c++20的std::is_constant_evaluated()有什么用? (编译期/运行时分支)

冰火之心

冰火之心

发布时间:2026-01-11 15:14:02

|

702人浏览过

|

来源于php中文网

原创

std::is_constant_evaluated() 是 C++20 引入的用于区分编译期与运行时求值的工具,仅在 constexpr 函数中合法使用,返回 true 表示当前调用正被常量求值,否则为 false,支持同一函数内按求值时机分支实现轻量编译期逻辑与完整运行时逻辑。

c++20的std::is_constant_evaluated()有什么用? (编译期/运行时分支)

std::is_constant_evaluated() 用来区分编译期求值和运行时求值

它返回 true 当前上下文正在常量求值(即在 constexpr 函数中被编译器当作常量表达式求值),否则返回 false。这是 C++20 引入的唯一标准方式,让同一段代码能根据求值时机自动切换行为,避免写两套逻辑(比如一个 constexpr 版本 + 一个普通函数版本)。

必须用在 constexpr 函数里才可能生效

单独调用 std::is_constant_evaluated() 在非 constexpr 上下文中是非法的(编译错误)。它的设计初衷就是配合 constexpr 函数,在编译期分支出轻量逻辑(如查表、递归展开),在运行时分支出完整逻辑(如动态内存分配、系统调用、异常处理)。

  • ✅ 正确:定义为 constexpr 函数,内部用 if (std::is_constant_evaluated()) { ... }
  • ❌ 错误:在普通函数里调用,或在 constexpr 函数外直接写 std::is_constant_evaluated()
  • ⚠️ 注意:即使函数是 constexpr,如果实际调用时参数不是字面量或不可达常量表达式,仍会走运行时分支

典型使用场景:避免 constexpr 函数里做非法操作

比如想实现一个“尽量编译期算好,不行就运行时 fallback”的字符串哈希。编译期不能用 new、不能抛异常、不能读全局变量——但运行时可以。这时候就得靠 std::is_constant_evaluated() 拦住非法操作。

constexpr uint32_t hash(const char* s) {
    if (std::is_constant_evaluated()) {
        // 编译期:只用循环 + 基本算术
        uint32_t h = 0;
        for (int i = 0; s[i]; ++i) {
            h = h * 31 + s[i];
        }
        return h;
    } else {
        // 运行时:可用 std::string、std::hash 等
        return std::hash{}(s);
    }
}
  • 编译期调用 hash("abc") → 走 if 分支,成功生成常量表达式
  • 运行时调用 hash(p)p 是运行时指针)→ 走 else 分支,不触发 constexpr 限制
  • 别试图在 if 分支里写 std::vectorthrow,那会导致整个函数无法用于常量表达式

容易踩的坑:它不等于“当前是否在 consteval 函数中”

std::is_constant_evaluated() 只反映“这次调用是否正被编译器当作常量表达式求值”,和函数声明无关。即使函数是 consteval,它也返回 true;但更关键的是:它在 constexpr 函数中可能返回 false(比如参数非常量)。

GitHub Copilot
GitHub Copilot

GitHub AI编程工具,实时编程建议

下载

立即学习C++免费学习笔记(深入)”;

  • ❌ 误以为 consteval 函数里调用它一定为 true —— 实际上 consteval 函数根本不能有运行时路径,压根不该也不需要它
  • ❌ 在模板元编程中误用:它对类型推导、SFINAE 无影响,只作用于求值时机
  • ⚠️ 编译器差异:GCC 10+、Clang 11+、MSVC 19.28+ 支持良好;旧版本可能不支持或行为不一致

实际写的时候,最常被忽略的一点是:它不改变函数签名,也不参与重载决议——你得自己确保两个分支都语法合法、且各自满足其所处上下文的约束。否则一个分支编译失败,整个函数就废了。

相关专题

更多
java基础知识汇总
java基础知识汇总

java基础知识有Java的历史和特点、Java的开发环境、Java的基本数据类型、变量和常量、运算符和表达式、控制语句、数组和字符串等等知识点。想要知道更多关于java基础知识的朋友,请阅读本专题下面的的有关文章,欢迎大家来php中文网学习。

1463

2023.10.24

if什么意思
if什么意思

if的意思是“如果”的条件。它是一个用于引导条件语句的关键词,用于根据特定条件的真假情况来执行不同的代码块。本专题提供if什么意思的相关文章,供大家免费阅读。

731

2023.08.22

全局变量怎么定义
全局变量怎么定义

本专题整合了全局变量相关内容,阅读专题下面的文章了解更多详细内容。

75

2025.09.18

python 全局变量
python 全局变量

本专题整合了python中全局变量定义相关教程,阅读专题下面的文章了解更多详细内容。

96

2025.09.18

js 字符串转数组
js 字符串转数组

js字符串转数组的方法:1、使用“split()”方法;2、使用“Array.from()”方法;3、使用for循环遍历;4、使用“Array.split()”方法。本专题为大家提供js字符串转数组的相关的文章、下载、课程内容,供大家免费下载体验。

253

2023.08.03

js截取字符串的方法
js截取字符串的方法

js截取字符串的方法有substring()方法、substr()方法、slice()方法、split()方法和slice()方法。本专题为大家提供字符串相关的文章、下载、课程内容,供大家免费下载体验。

206

2023.09.04

java基础知识汇总
java基础知识汇总

java基础知识有Java的历史和特点、Java的开发环境、Java的基本数据类型、变量和常量、运算符和表达式、控制语句、数组和字符串等等知识点。想要知道更多关于java基础知识的朋友,请阅读本专题下面的的有关文章,欢迎大家来php中文网学习。

1463

2023.10.24

字符串介绍
字符串介绍

字符串是一种数据类型,它可以是任何文本,包括字母、数字、符号等。字符串可以由不同的字符组成,例如空格、标点符号、数字等。在编程中,字符串通常用引号括起来,如单引号、双引号或反引号。想了解更多字符串的相关内容,可以阅读本专题下面的文章。

616

2023.11.24

c++主流开发框架汇总
c++主流开发框架汇总

本专题整合了c++开发框架推荐,阅读专题下面的文章了解更多详细内容。

80

2026.01.09

热门下载

更多
网站特效
/
网站源码
/
网站素材
/
前端模板

精品课程

更多
相关推荐
/
热门推荐
/
最新课程
React 教程
React 教程

共58课时 | 3.5万人学习

Pandas 教程
Pandas 教程

共15课时 | 0.9万人学习

ASP 教程
ASP 教程

共34课时 | 3.4万人学习

关于我们 免责申明 举报中心 意见反馈 讲师合作 广告合作 最新更新
php中文网:公益在线php培训,帮助PHP学习者快速成长!
关注服务号 技术交流群
PHP中文网订阅号
每天精选资源文章推送

Copyright 2014-2026 https://www.php.cn/ All Rights Reserved | php.cn | 湘ICP备2023035733号