为什么make_tie不是一件事

Why make_tie is not a thing?

本文关键字:一件 make tie 为什么      更新时间:2023-10-16

有一个流行的习惯用法使用std::tie来实现比较运算符:

// foo.h
struct Foo {
int a, b;
string c;
bool operator<(const Foo& rhs) const;
};
// foo.cc
bool Foo::operator<(const Foo& rhs) const {
return tie(a, b, c) < tie(rhs.a, rhs.b, rhs.c);
}

例如,它广泛用于Chromium

然而,它需要复制成员列表,所以为什么不编写一个辅助函数:

static auto MakeTie(const Foo& x) {
return tie(x.a, x.b, x.c);
}
bool Foo::operator<(const Foo& rhs) const {
return MakeTie(*this) < MakeTie(rhs);
}
// or, in foo.h
auto MakeTie() const;
// and in foo.cc
auto Foo::MakeTie() const { ... }

(顺便说一句,这样的成员函数不能从任何其他翻译单元调用(

那么,为什么我看到数百对这样的tie(a, b, c) < tie(copy-pasta),这背后有原因吗?

首先,如果您的类有太多成员,以至于将tie加倍是有问题的,那么您可能会有设计气味。

倾向于同意这有点烦人,但请记住,这不是tie存在的原因。没有所谓的"tie";这里的"tie"是一个动词,用来描述表达式是如何"捆绑在一起"成为一个实际的引用元组的。

当然,您可以编写自己的tie替代品,它知道类中所有相关成员的情况,因此不需要写两次。你可以称之为members_as_tuple。是否要这样做取决于您,就像是否使成为任何函数以避免某些特定的重复代码一样。

当然,在没有反思的情况下,C++在一般情况下不能为您做到这一点,所以这就是为什么没有开箱即用地提供这样的功能。

tl;博士:你已经展示了最好的(唯一的(方法,但我不会称之为make_tie


至于为什么人们没有更多地这样做,嗯,这是无法回答的。他们可能只是没有想到,或者认为自己不需要它,而且可能是对的。