C++17 optional tree, error: invalid use of incomplete type

Question

当我编译包含可选类型的二叉树时：

#include <optional>

class BinaryTree
{
public:
    BinaryTree();
    int value;
    std::optional<BinaryTree> left,right;
};

int main()
{
    return 0;
}

通过

g++ -std=c++17 -Wfatal-errors main.cpp

我遇到这个错误

In file included from /usr/include/c++/7/bits/move.h:54:0,
                 from /usr/include/c++/7/bits/stl_pair.h:59,
                 from /usr/include/c++/7/utility:70,
                 from /usr/include/c++/7/optional:36,
                 from main.cpp:1:
/usr/include/c++/7/type_traits: In instantiation of ‘struct std::is_trivially_copy_constructible<BinaryTree>’:
/usr/include/c++/7/optional:103:8:   required from ‘class std::_Optional_base<BinaryTree>’
/usr/include/c++/7/optional:451:11:   required from ‘class std::optional<BinaryTree>’
main.cpp:8:28:   required from here
/usr/include/c++/7/type_traits:1409:12: error: invalid use of incomplete type ‘class BinaryTree’
     struct is_trivially_copy_constructible
            ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
compilation terminated due to -Wfatal-errors.

我该如何解决这个错误？

Answer 1

您想使用 BinaryTree 指针而不是实际的 BinaryTree 成员，因为类型不完整。替换

std::optional<BinaryTree> left,right;

和

std::optional<BinaryTree*> left,right;

Answer 2

可选包含类型的完整实例。

在一个类型的实例中存储一个类型的两个实例是不可能的；它需要 2<=1.

考虑使用指向类型的唯一指针而不是可选指针。

如果你想能够复制树，那么你必须写一个值指针。值指针是知道如何深拷贝自身的指针。

Answer 3

@Yakk 的回答是正确的

正如@Dietmar Kühl 指出的那样，std::unique_ptr 是您想要的可空 not-in-place 存储：

#include <memory>

class BinaryTree
{
public:
    BinaryTree();
    int value;
    std::unique_ptr<BinaryTree> left,right;
};

int main()
{
    return 0;
}

C++17 optional tree, error: invalid use of incomplete type

C++17 optional tree, error: invalid use of incomplete type

c++

templates

std

optional

c++17