std中不可复制的容器：：可选

Question

我试图将不可复制类型的（STL-）容器打包到std::可选，例如：

class MyClass
{
    MyClass(const MyClass&) = delete;
};
std::optional<std::list<MyClass>> optContainer;

但是编译器（GCC 7.2）抱怨

错误：使用已删除的函数“MyClass:：MyClass（const MyClass

并呈现出深刻的“来自……”堆栈进入类型_traits（以及更多），它检查std：：是否可以在std：：列表上构建。我怀疑编译器在那里发现容器（示例中的std:：list）是可复制可构造的，但没有检查容器的值类型是否具有可构造性，然后走错了路径。

当然，不可复制的类型（不在容器中）在std::可选工作：

std::optional<MyClass> optValue; // ok

我知道我可以解决这个问题，例如：

template<typename T>
class CNonCopyable : public T
{
public:
    template<typename... Params>
    CNonCopyable(Params&&... params)
        : T(std::forward<Params>(params)...)
    {}
    CNonCopyable(const CNonCopyable&) = delete;
    CNonCopyable(CNonCopyable&&) = default;
    virtual ~CNonCopyable() = default;
    CNonCopyable& operator=(const CNonCopyable&) = default;
    CNonCopyable& operator=(CNonCopyable&&) = default;
};
std::optional<CNonCopyable<std::list<MyClass>>> optContainer;

但我想知道是否有更好的方法不用Cnoncoyable类。

（就像一个不涉及自己类型的例子：）当试图将std:：unique_ptr的容器打包到std:：optional时，也会发生同样的情况，因为std:：unique_ptr是不可复制构造的：

std::optional<std::list<std::unique_ptr<int>>> optContainer;

Answer 1

这是GCC中的一个漏洞，后来被修补。

参见81190和80654

使用更新版本的GCC（例如8），您将不会遇到该问题。