递归飞船操作符
我已经编写了这个简单的代码,但它无法编译,因为比较被隐式删除了。
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”编译 Edit2:这是输出的错误部分(后面是很多很多的候选行):
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>')
回答
您通常不能定义具有推导返回类型的递归函数。为了推断它,你需要已经知道它,所以这是不行的。
替换auto为显式返回类型std::weak_ordering 可解决此问题。