递归数据结构中用std::optional替换指针可行吗？编译报错求解

问题场景 #

你尝试将基于指针的树形结构：

template< typename T >
struct Tree {
    T data;
    Tree* left;
    Tree* right;
};

改写为使用std::optional的版本：

template< typename T >
struct Tree {
    T data;
    std::optional< Tree< T > > left;
    std::optional< Tree< T > > right;
};

但编译报错，提示Tree<int>为不完整类型，用于类型特征表达式。

错误原因 #

std::optional的实现要求其模板参数必须是完整类型——它需要在内部直接存储该类型的对象（或预留足够内存），而在Tree<T>的定义过程中，当声明std::optional<Tree<T>>时，Tree<T>本身还未完成定义，属于不完整类型，这违反了std::optional的类型要求。

而指针版本能正常工作，是因为指针的大小是固定的，无论指向的类型是否完整，编译器都能确定指针的内存占用，因此可以在结构体内部声明指向自身的指针。

可行解决方案 #

1. 用智能指针包裹std::optional #

通过智能指针间接持有Tree对象，智能指针允许指向不完整类型，同时保留std::optional的“可选存在”语义：

#include <memory>
#include <optional>

template< typename T >
struct Tree {
    T data;
    std::optional<std::unique_ptr<Tree<T>>> left;
    std::optional<std::unique_ptr<Tree<T>>> right;
};

2. 用std::variant模拟可选状态（C++17及以上） #

借助std::variant的空状态（std::monostate）替代std::optional的无值语义，提前声明类型以规避不完整类型问题：

#include <variant>

template<typename T>
struct Tree;

template<typename T>
using OptionalTree = std::variant<std::monostate, Tree<T>>;

template< typename T >
struct Tree {
    T data;
    OptionalTree<T> left;
    OptionalTree<T> right;
};

3. 改用boost::optional（若允许依赖Boost库） #

Boost版本的optional对不完整类型支持更友好，可以直接实现递归结构：

#include <boost/optional.hpp>

template< typename T >
struct Tree {
    T data;
    boost::optional< Tree< T > > left;
    boost::optional< Tree< T > > right;
};

总结 #

std::optional无法直接用于递归数据结构的成员，因其要求模板参数为完整类型。通过智能指针间接持有、std::variant模拟可选状态，或改用boost::optional，均可解决该问题。

内容的提问来源于stack exchange，提问作者az5112