C++ 属性： carries_dependency （始于 C++11）（C++26 中移除）

 

C++

编译器支持

独立式和宿主式

语言

标准库

标准库头文件

具名要求

特性测试宏 （C++20）

语言支持库

概念库 （C++20）

诊断库

内存管理库

元编程库 （C++11）

通用工具库

容器库

迭代器库

范围库 （C++20）

算法库

字符串库

文本处理库

数值库

日期和时间库

输入/输出库

文件系统库 （C++17）

并发支持库 （C++11）

执行控制库 （C++26）

技术规范

符号索引

外部库

 

C++ 语言

通用主题
预处理器 注释	关键字 转义序列
流程控制
条件执行语句
if	switch
迭代语句（循环）
for range-for （C++11）	while do-while
跳转语句
continue - break	goto - return
函数
函数声明
Lambda 函数表达式
inline 说明符
动态异常规范 （在 C++11 中弃用*）
noexcept 说明符 （C++11）
异常
throw-expression try 块	catch 处理程序
命名空间
命名空间声明	命名空间别名
类型
基本类型 枚举类型 函数类型	类/结构体类型 联合体类型
说明符
const/volatile decltype （C++11） auto （C++11）	constexpr （C++11） consteval （C++20） constinit （C++20）
存储期说明符
初始化
默认初始化 值初始化 零初始化 复制初始化 直接初始化	聚合初始化 列表初始化 （C++11）   常量初始化 引用初始化

表达式
值类别 求值顺序	运算符 运算符优先级
替代表示
字面量
布尔字面量 - 整数字面量 - 浮点字面量
字符字面量 - 字符串字面量 - nullptr （C++11）
用户自定义字面量 （C++11）
实用工具
属性 （C++11）
类型
typedef 声明
类型别名声明 （C++11）
类型转换
隐式转换 static_cast const_cast	显式转换 dynamic_cast reinterpret_cast
内存分配
new 表达式	delete 表达式
类
类声明 构造函数 this 指针	访问说明符 friend 说明符
类特定的函数属性
虚函数 override 说明符 （C++11）   final 说明符 （C++11）	explicit （C++11） static
特殊成员函数
默认构造函数 复制构造函数 移动构造函数 （C++11）	复制赋值 移动赋值 （C++11） 析构函数
模板
类模板 函数模板	模板特化 参数包 （C++11）
杂项
内联汇编	C++ 历史

 

声明

概述 声明语法 decl-specifier-seq 声明符 冲突声明 说明符 typedef inline virtual 函数说明符 explicit 函数说明符 friend constexpr （C++11） consteval （C++20） constinit （C++20） 存储类说明符 翻译单元局部 （C++20） class/struct union enum decltype （C++11） auto （C++11） alignas （C++11） constvolatile 包索引说明符 （C++26）     详述类型说明符 属性 （C++11）

声明符 引用 指针 数组 块声明 简单声明   →结构化绑定声明 （C++17） 别名声明 （C++11） 命名空间别名定义 using 声明 using 指令 static_assert 声明 （C++11） asm 声明 不透明枚举声明 （C++11） 其他声明 命名空间定义 函数声明 类模板声明 函数模板声明 显式模板实例化 （C++11） 显式模板特化 链接规范 属性声明 （C++11） 空声明

 

属性

assume （C++23）

carries_dependency （C++11）（until C++26）

deprecated （C++14）

fallthrough （C++17）

indeterminate （C++26）

likely （C++20）

maybe_unused （C++17）

nodiscard （C++17）

noreturn （C++11）

no_unique_address （C++20）

optimize_for_synchronized （TM TS)

unlikely （C++20）

 

指示 release-consume std::memory_order 中的依赖链在函数内外传播，这允许编译器跳过不必要的内存栅栏指令。

语法

[[carries_dependency]]

解释

此属性可能出现在两种情况中

1) 它可以应用于函数或 lambda 表达式的参数声明，在这种情况下，它指示参数的初始化将依赖关系带入该对象的左值到右值转换。

2) 它可以应用于整个函数声明，在这种情况下，它指示返回值将依赖关系带到函数调用表达式的求值。

此属性必须出现在任何翻译单元中函数或其参数的首次声明中。如果在另一个翻译单元中函数或其参数的首次声明中未使用它，则程序是非良构的；不需要诊断。

示例

几乎未作修改地改编自 SO。

运行此代码

#include <atomic>
#include <iostream>
 
void print(int* val)
{
    std::cout << *val << std::endl;
}
 
void print2(int* val [[carries_dependency]])
{
    std::cout << *val << std::endl;
}
 
int main()
{
    int x{42};
    std::atomic<int*> p = &x;
    int* local = p.load(std::memory_order_consume);
 
    if (local)
    {
        // The dependency is explicit, so the compiler knows that local is
        // dereferenced, and that it must ensure that the dependency chain
        // is preserved in order to avoid a fence (on some architectures).
        std::cout << *local << std::endl;
    }
 
    if (local)
    {
        // The definition of print is opaque (assuming it is not inlined),
        // so the compiler must issue a fence in order to ensure that
        // reading *p in print returns the correct value.
        print(local);
    }
 
    if (local)
    {
        // The compiler can assume that although print2 is also opaque then
        // the dependency from the parameter to the dereferenced value is
        // preserved in the instruction stream, and no fence is necessary (on
        // some architectures). Obviously, the definition of print2 must actually
        // preserve this dependency, so the attribute will also impact the
        // generated code for print2.
        print2(local);
    }
}

可能的输出

42
42
42

参考

• C++23 标准 (ISO/IEC 14882:2024)

• 9.12.4 carries_dependency 属性 [dcl.attr.depend]

• C++20 标准 (ISO/IEC 14882:2020)

• 9.12.3 carries_dependency 属性 [dcl.attr.depend]

• C++17 标准 (ISO/IEC 14882:2017)

• 10.6.3 carries_dependency 属性 [dcl.attr.depend]

• C++14 标准 (ISO/IEC 14882:2014)

• 7.6.4 carries_dependency 属性 [dcl.attr.depend]

• C++11 标准 (ISO/IEC 14882:2011)

• 7.6.4 carries_dependency 属性 [dcl.attr.depend]

参见

kill_dependency （C++11）（在 C++26 中弃用）

从 std::memory_order_consume 依赖树中移除指定的对象 （函数模板）