递归宇宙飞船运算符

Question

我写了这个简单的代码，但它没有编译，因为比较被隐式删除了。

struct Tree {
    std::vector<Tree> child;

    friend auto operator<=>(const Tree &a, const Tree &b) = default;
}
int main(){
    Tree t;
    std::cout<<(t<t)<<std::endl;
}

任何人都可以向我解释如何解决这个问题或者至少为什么它不起作用吗？

编辑：使用“g++ -std=gnu++2a main.cpp”编译编辑2：这是输出的错误部分（后面有很多很多行候选）：

main.cpp: In function 'int main()':
main.cpp:31:25: error: use of deleted function 'constexpr auto operator<=>(const Tree&, const Tree&)'
   31 |     std::cout << (tmp < tmp) << std::endl;
      |                         ^~~
main.cpp:12:17: note: 'constexpr auto operator<=>(const Tree&, const Tree&)' is implicitly deleted because the default definition would be ill-formed:
   12 |     friend auto operator<=>(const Tree &a, const Tree &b) = default;
      |                 ^~~~~~~~
main.cpp:12:17: error: no match for 'operator<=>' (operand types are 'std::vector<Tree>' and 'std::vector<Tree>')

Answer 1

您通常不能用推导的 return 类型定义递归函数。为了推导它，你需要已经知道它，所以这是不行的。

将 auto 替换为显式 return 类型 std::weak_ordering fixes the problem。

递归宇宙飞船运算符

Recursive spaceship operator

c++

spaceship-operator

c++20