C++ 属性： carries_dependency (C++11 起)(C++26 移除)
来自cppreference.com
< cpp | language | attributes
指示释放消费 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){// 依赖是明确的，因而编译器已知 local 被解引用，// 且它必须保证保留依赖链，以避免（某些架构上的）一个内存栅栏。std::cout<<*local <<std::endl;} if(local){// print 的定义不透明（假定它未被内联），因而编译器必须发出一个内存栅栏// 以确保在 print 中读取 *p 返回正确值。 print(local);} if(local){// 编译器可以假定，虽然 print2 也不透明，但指令流中仍保留了// 从形参到解引用值的依赖，且不需要（某些架构上的）内存栅栏。// 显然，print2 的定义必须确实保留这项依赖，因而此属性也会影响// 为 print2 所生成的代码。 print2(local);}}
可能的输出：
42 42 42
[编辑]引用
- C++23 标准（ISO/IEC 14882:2024）：
- 9.12.4 Carries dependency attribute [dcl.attr.depend]
- C++20 标准（ISO/IEC 14882:2020）：
- 9.12.3 Carries dependency attribute [dcl.attr.depend]
- C++17 标准（ISO/IEC 14882:2017）：
- 10.6.3 Carries dependency attribute [dcl.attr.depend]
- C++14 标准（ISO/IEC 14882:2014）：
- 7.6.4 Carries dependency attribute [dcl.attr.depend]
- C++11 标准（ISO/IEC 14882:2011）：
- 7.6.4 Carries dependency attribute [dcl.attr.depend]
[编辑]参阅
(C++11)(C++26 弃用) | 从 std::memory_order_consume 依赖树移除指定对象 (函数模板) |
