c++ - gcc 4.8.2 在此默认构造函数中调用复制构造函数是否正确？

Question

这是我试图完成的一个简单、独立、不可编译的 gcc-4.8.2 示例:

#include <atomic>

template <typename T>
class ValueParameter
{
public:
    ValueParameter() = default;

    ValueParameter(T initialValue) :
        _val(initialValue)
    {
    }

private:
    std::atomic<T> _val{T()};
};

ValueParameter<int> x;

我已经在其他几个 gcc 版本(包括 5.3)上成功编译了它，但是 gcc 4.8.2 失败并出现以下错误:

/tmp/gcc-explorer-compiler11658-82-1cqz6ui/example.cpp: In constructor 'ValueParameter<T>::ValueParameter() [with T = int]':
7 : error: use of deleted function 'std::atomic<int>::atomic(const std::atomic<int>&)'
ValueParameter() = default;
^
In file included from /tmp/gcc-explorer-compiler11658-82-1cqz6ui/example.cpp:1:0:

You can see the results online here .

我明白 std::atomic<T>是不可复制的，但对我来说为什么编译器会尝试在默认构造函数中使用复制构造函数没有任何意义。我确实发现改变线路:

    std::atomic<T> _val{T()};

到

    std::atomic<T> _val;

使文件编译成功。统一初始化是该类先前版本的遗留物，该版本的构造函数没有采用初始值。

这应该是一个错误吗？此外，在这种情况下，我应该期待什么行为，其中成员既内联到类又在构造函数初始化列表中初始化？我希望默认构造函数初始化 val至 T() ，所以我想我需要大括号初始值设定项。

Answer 1

这绝对是一个 gcc 错误，他们已经在 4.9 中修复了这个错误。您的代码绝不会调用 ValueParameter<T> 的复制构造函数- 因此不应实例化成员函数。为 atomic<T> 使用默认成员初始值设定项很好 - 它确实可以从 T 构建.

Furthermore, what behavior should I expect in this case, where the member is initialized both inline to the class and within a constructor initializer list?

默认成员初始值设定项就是默认值。如果你在 mem-initializer-list 中提供了一个初始化器(就像你在 ValueParameter(T ) 构造函数中所做的那样)，那么默认值将被忽略。如果您不提供这样的初始值设定项(因为您在 ValueParameter() 中没有提供)，则使用默认值。

I would like the default constructor to initialize val to T(), so I think I need the brace initializer there.

您的代码应该准确地执行您希望它执行的操作。 gcc 4.8 只是在这里有一个错误。