为什么 make_tie 不是一个东西？

Question

有一个流行的成语使用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);
}

E.g. it's widely used in 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) 对，这背后有什么原因吗？

Answer 1

首先，如果你的班级有这么多成员，以至于加倍 tie 是有问题的，那么无论如何你可能有设计的味道。

我会倾向于同意这有点令人烦恼，但请记住，这不是tie 存在的原因。没有“atie”这样的东西；这里的“tie”是一个动词，一种描述表达式如何被“捆绑”成实际上是一个引用元组的方式。

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

当然，不过，如果没有反射，C++ 在一般情况下无法为您做到这一点，所以这就是为什么没有开箱即用地提供这种工具的原因。

tl;dr：你已经展示了最好的（唯一的？）方法，但我不会称之为make_tie。

---

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