c++中的[[likely]]和[[unlikely]]属性有什么用_c++中[[likely]]与[[unlikely]]属性用法解析

新闻中心 NEWS CENTER

您当前位置：首页 > 新闻中心 > 网络学院

c++中的[[likely]]和[[unlikely]]属性有什么用_c++中[[likely]]与[[unlikely]]属性用法解析

2025-11-22

浏览次数：次

返回列表

[[likely]]和[[unlikely]]是C++20引入的语句属性，用于向编译器提示分支预测偏好。它们只能应用于语句，常见于错误处理、边界检查等罕见路径标记，帮助优化指令布局以提升CPU流水线效率。例如，[[unlikely]]可标示异常处理块，使编译器优先优化正常执行路径。该特性为性能提示而非强制命令，需配合实际性能数据使用，避免滥用干扰编译器判断。合理应用可在高频代码中带来小幅但可观的性能提升。

c++中的[[likely]]和[[unlikely]]属性有什么用_c++中[[likely]]与[[unlikely]]属性用法解析

在C++20中引入的[[likely]]和[[unlikely]]是**语句属性（attributes）**，用于向编译器提供分支预测提示，帮助优化生成的机器代码。它们的主要作用是告诉编译器某段代码路径在运行时“很可能”或“不太可能”被执行，从而让编译器更好地安排指令顺序，提升CPU流水线效率。

提高性能的关键：分支预测

CPU执行程序时会使用“分支预测”技术来猜测条件跳转的结果。如果猜对了，流水线继续流畅运行；猜错了，则需要清空流水线并重新加载，造成性能损失。通过[[likely]]和[[unlikely]]，开发者可以协助编译器做出更准确的预测。

例如，在错误处理或异常路径中，通常希望主流程高效运行：

if (error_condition) <span style="color:red">[[unlikely]]</span> {
    handle_error();
}
// 正常逻辑继续

这里标记[[unlikely]]表示错误情况很少发生，编译器会优先优化正常路径的指令布局，减少流水线中断风险。

语法与使用场景

这两个属性只能应用于语句（statement），不能用于表达式或函数声明。常见用法包括：

异常处理分支：[[unlikely]] 标记错误处理代码块
边界检查失败路径
调试断言或日志输出分支
稀有事件处理逻辑

示例：

CA.LA

第一款时尚产品在线设计平台，服装设计系统

94 查看详情 CA.LA

void process_data(const std::vector<int>& data) {
    if (data.empty()) <span style="color:red">[[unlikely]]</span> {
        throw std::invalid_argument("Data cannot be empty");
    }

    for (const auto& x : data) <span style="color:red">[[likely]]</span> {
        // 大部分时间都会进入循环体
        do_work(x);
    }
}

注意：[[likely]]一般不必要加在循环上，因为编译器本身就能很好识别循环主体为高频路径。更典型的是用于条件判断中的罕见分支。