std::kill_dependency

定义于头文件 `<atomic>`
template< class T > T kill_dependency( T y ) noexcept;		(始于 C++11) (constexpr 始于 C++26) (C++26 中已弃用)

告知编译器，由 std::memory_order_consume 原子加载操作启动的依赖树不会超出 std::kill_dependency 的返回值；也就是说，该参数不会将依赖关系带入返回值。

当依赖链离开函数作用域（并且函数没有 [[carries_dependency]] 属性）时，这可以用于避免不必要的 std::memory_order_acquire 栅栏。

(直至 C++26)

简单地返回 y。此函数模板已弃用。

(始于 C++26)

[编辑] 参数

y

-

其返回值将从依赖树中移除的表达式

[编辑] 返回值

返回 y，不再是依赖树的一部分(直至 C++26)。

[编辑] 示例

[编辑] file1.cpp:

struct Foo
{
    int* a;
    int* b;
};
 
std::atomic<Foo*> foo_head[10];
int foo_array[10][10];
 
// consume operation starts a dependency chain, which escapes this function
[[carries_dependency]] Foo* f(int i)
{
    return foo_head[i].load(memory_order_consume);
}
 
// the dependency chain enters this function through the right parameter and is
// killed before the function ends (so no extra acquire operation takes place)
int g(int* x, int* y [[carries_dependency]])
{
    return std::kill_dependency(foo_array[*x][*y]);
}

[编辑] file2.cpp:

[[carries_dependency]] struct Foo* f(int i);
int g(int* x, int* y [[carries_dependency]]);
 
int c = 3;
void h(int i)
{
    Foo* p;
    p = f(i); // dependency chain started inside f continues into p without undue acquire
    do_something_with(g(&c, p->a)); // p->b is not brought in from the cache
    do_something_with(g(p->a, &c)); // left argument does not have the carries_dependency
                                    // attribute: memory acquire fence may be issued
                                    // p->b becomes visible before g() is entered
}

[编辑] 参见

memory_order (C++11)	为给定的原子操作定义内存顺序约束 (enum) [编辑]
C 文档 for kill_dependency

编译器支持
独立式和宿主式
语言
标准库
标准库头文件
具名要求
特性测试宏 (C++20)
语言支持库
概念库 (C++20)
诊断库
内存管理库
元编程库 (C++11)
通用工具库
容器库
迭代器库
范围库 (C++20)
算法库
字符串库
文本处理库
数值库
日期和时间库
输入/输出库
文件系统库 (C++17)
并发支持库 (C++11)
执行控制库 (C++26)
技术规范
符号索引
外部库

cppreference.cn

命名空间

变体

视图

操作