C++ attribute: carries_dependency (since C++11) (removed in C++26)

#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);
    }
}