std :: atomic <X> :: value_type发生了什么？

Question

根据这本参考手册

对于每个std :: atomic(无论是否专门),std :: atomic :: value_type都是X.

但是如果我尝试使用这种类型,我会收到编译错误.

我尝试过g++ 8.2.1:

$ g++ -std=c++11 test.cc 
test.cc: In function ‘int main()’:
test.cc:6:23: error: ‘value_type’ is not a member of ‘std::atomic<int>’
     std::atomic<int>::value_type x = 0;

并使用clang 6.0.1

$ clang -std=c++11 test.cc 
test.cc:6:23: error: no type named 'value_type' in 'std::atomic<int>'
    std::atomic<int>::value_type x = 0;
~~~~~~~~~~~~~~~~~~^

前面提到的参考手册也说明......

规范基本上被重写以解决许多问题,特别是添加了成员​​typedefs value_type和difference_type

然而,P0558R1规范似乎并未禁止存在value_type.

知道发生了什么事吗？

编辑

我的一位同事让我意识到P0558R1只是一个提案.

Answer 1

您明确使用C++ 11.如果我们看一下1119页的最后草案的C++ 11的标准,也没有提及value_type为std::atomic:

template <class T> struct atomic {
    bool is_lock_free() const volatile;
    bool is_lock_free() const;
    void store(T, memory_order = memory_order_seq_cst) volatile;
    void store(T, memory_order = memory_order_seq_cst);
    T load(memory_order = memory_order_seq_cst) const volatile;
    T load(memory_order = memory_order_seq_cst) const;
    operator T() const volatile;
    operator T() const;
    T exchange(T, memory_order = memory_order_seq_cst) volatile;
    T exchange(T, memory_order = memory_order_seq_cst);
    bool compare_exchange_weak(T&, T, memory_order, memory_order) volatile;
    bool compare_exchange_weak(T&, T, memory_order, memory_order);
    bool compare_exchange_strong(T&, T, memory_order, memory_order) volatile;
    bool compare_exchange_strong(T&, T, memory_order, memory_order);
    bool compare_exchange_weak(T&, T, memory_order = memory_order_seq_cst) volatile;
    bool compare_exchange_weak(T&, T, memory_order = memory_order_seq_cst);
    bool compare_exchange_strong(T&, T, memory_order = memory_order_seq_cst) volatile;
    bool compare_exchange_strong(T&, T, memory_order = memory_order_seq_cst);

    atomic() = default;
    constexpr atomic(T);
    atomic(const atomic&) = delete;
    atomic& operator=(const atomic&) = delete;
    atomic& operator=(const atomic&) volatile = delete;
    T operator=(T) volatile;
    T operator=(T);
};

在C++ 14草案中同样缺席.

cppreference没有提到"自C++ 17"以来value_type.

编辑:有人指出,添加value_type是以缺陷报告的形式,应该追溯应用于C++ 11的实现.因此,cppreference实际上并没有错,DR只是在给定的编译器版本中没有实现.

Answer 2

鉴于 P0558R1 的性质，我预计它最终会作为事实上的缺陷报告在以前的标准模式中追溯实施并记录下来。本文对依赖于这些 typedef 的存在的非成员函数模板进行了重大手术。类似的手术通常由实施者追溯实施。作为一个数据点，已知唯一完全实现 P0558R1 (MSVC) 的主要实现无论语言版本如何。

cppreference 的目标是假设完整且正确地实现每个 C++ 标准以及适用于该标准的所有缺陷报告和说明。