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