[[likely]]和[[unlikely]]是C++20引入的分支预测属性，用于提示编译器某分支的执行概率以优化性能。它们应用于if、switch等语句前，帮助CPU流水线更准确预测执行路径，减少因预测错误导致的性能损失。例如错误处理用[[unlikely]]标记，主流程用[[likely]]提示。该特性需C++20支持，如GCC 10+或Clang 12+，且仅作优化建议，编译器可忽略。正确使用可在高频代码中提升效率。

在 C++20 中，[[likely]] 和 [[unlikely]] 是两个新的属性（attributes），用于向编译器提示某个代码分支的执行概率，帮助编译器优化生成的机器码，提升程序性能。它们主要用于条件语句中的分支预测优化。

作用与背景

现代 CPU 使用流水线和分支预测技术来提高指令执行效率。当遇到 if-else 或 switch 这类分支结构时，如果 CPU 能“猜中”将要执行的分支，就能提前加载并执行后续指令。若预测错误，则需要清空流水线，造成性能损失。

通过使用 [[likely]] 和 [[unlikely]]，程序员可以显式告诉编译器哪条路径更可能被执行，从而让编译器将高频路径的代码放在更有利于执行的位置（例如减少跳转、优化缓存局部性等）。

语法与用法

这两个属性用在语句前，通常配合 if、switch 或循环使用：

立即学习“C++免费学习笔记（深入）”；

热点分析与爆款挖掘

热点分析与爆款挖掘工具。当用户询问"全网最新话题"、"最近有什么热点"、"XX话题热度分析"、"XX有什么爆款内容"、"选题推荐"、"热点追踪"、"爆款挖掘"或"内容定位建议"时，必须使用本skill。自动挖掘抖音、小红书、公众号、快手、B站、微博、视频号、知乎、新闻门户等平台的爆款内容，聚合热门关键词，分析爆款规律，提供创作角度建议。适用于选题策

下载

if (condition) [[likely]] {
    // 预期该分支大概率会执行
}
<p>if (error) [[unlikely]] {
// 错误处理等小概率事件
handle_error();
}</p>

也可以用于 switch 的 case 标签：

switch (state) {
    case OK: [[likely]]
        process_ok();
        break;
    case ERROR: [[unlikely]]
        log_error();
        break;
}

实际应用场景

• 错误处理：异常或错误路径通常很少触发，适合标记为 [[unlikely]]
• 主流程逻辑：正常业务流程使用 [[likely]] 提示编译器优先优化
• 性能敏感代码：在热点函数中明确分支倾向，有助于生成更高效的汇编代码

例如：

bool parse_data(const char* data, size_t len) {
    if (!data || len == 0) [[unlikely]] {
        return false; // 输入非法属于异常情况
    }
<pre class='brush:php;toolbar:false;'>// 正常解析流程
for (size_t i = 0; i < len; ++i) [[likely]] {
    process(data[i]);
}
return true;

}

注意事项

• 这些属性是提示而非强制指令，编译器可以选择忽略
• 仅在有明确统计依据时才使用，错误的预测提示反而可能导致性能下降
• 需要编译器支持 C++20，如 GCC 10+、Clang 12+ 等
• 不能用于变量或函数声明，只能用于语句标签位置

基本上就这些。正确使用 [[likely]] 和 [[unlikely]] 可以在关键路径上带来可观的性能提升，尤其是在高频调用的底层库或系统代码中。虽然日常应用中影响可能不大，但在追求极致性能的场景下，这是一个简单有效的优化手段。