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