使用 std::optional<A> 作为类 A 的类成员

Question

为什么不能在 A 类中定义 std::optional 类型的类成员？

例子：

#include <optional>

class A {
public:
    A(std::optional<A> optional = {}) : optional_(optional) { }
    ~A() = default;
private:
    std::optional<A> optional_;
};

编译器错误：

error: incomplete type 'A' used in type trait expression
   : public integral_constant<bool, __is_trivially_destructible(_Tp)> {};
                                    ^
error: incomplete type 'A' used in type trait expression
   : public integral_constant<bool, __is_constructible(_Tp, _Args...)>
                                    ^

Answer 1

optional<T> 要求 T 是一个完整的类型（因此具有已知的大小）。在类A 的定义完成之前，A 是一个不完整的类型。因此出现错误。

没有办法让任何类型T 拥有optional<T> 类型的成员变量，因为optional<T> 本身 有一个T 类型的成员变量。你可以堆分配一个optional<T>（或者只是一个T，因为你要存储一个可能是nullptr的指针）。