通过“ tuple”和“ tie”实现比较运算符，好主意吗？

^{（注：tuple和tie可以从升压或C ++ 11获得。）}
当只有两个元素编写小结构，我有时往往选择std::pair，因为所有重要的东西是该数据类型已经完成，像operator<严格弱排序。
缺点是几乎没有用的变量名。即使我自己创建了那个typedef，也不会在两天后记住确切的first含义second，尤其是当它们属于同一类型时。对于两个以上的成员，情况变得更糟，因为嵌套pair非常糟糕。
另一个选择是tuple，无论是Boost还是C ++ 11，但看起来并没有更好和更清晰。因此，我自己开始编写结构，包括所有需要的比较运算符。
由于特别operator<麻烦，我想到了仅依靠为定义的操作来规避整个混乱tuple：

的示例operator<，例如用于严格弱排序：

bool operator<(MyStruct const& lhs, MyStruct const& rhs){
  return std::tie(lhs.one_member, lhs.another, lhs.yet_more) <
         std::tie(rhs.one_member, rhs.another, rhs.yet_more);
}

（从传递的参数中引用tie一个。） tupleT&

编辑：从@DeadMG私下继承的建议tuple不是一个坏建议，但是它有很多缺点：

• 如果操作员是独立的（可能是朋友），我需要公开继承
• 通过强制转换，operator=可以轻松绕过我的函数/运算符（特别是）
• 有了tie解决方案，我可以省去某些成员，如果他们对订购无所谓

我需要考虑此实现中的任何缺点吗？

当然，这比编写自己的运算符更容易编写正确的运算符。我要说的是，如果性能分析表明比较操作是应用程序中非常耗时的部分，则仅考虑使用其他方法。否则，维护它的难易程度应超过任何可能的性能问题。

我遇到了同样的问题，我的解决方案使用了c ++ 11可变参数模板。代码如下：

.h部分：

/***
 * Generic lexicographical less than comparator written with variadic templates
 * Usage:
 *   pass a list of arguments with the same type pair-wise, for intance
 *   lexiLessthan(3, 4, true, false, "hello", "world");
 */
bool lexiLessthan();

template<typename T, typename... Args>
bool lexiLessthan(const T &first, const T &second, Args... rest)
{
  if (first != second)
  {
    return first < second;
  }
  else
  {
    return lexiLessthan(rest...);
  }
}

基本情况下的.cpp不带参数：

bool lexiLessthan()
{
  return false;
}

现在您的示例变为：

return lexiLessthan(
    lhs.one_member, rhs.one_member, 
    lhs.another, rhs.another, 
    lhs.yet_more, rhs.yet_more
);

在我看来，您仍然没有解决解决问题的std::tuple方法，也就是说，您必须知道每个成员变量的数量和名称，并在函数中重复两次。您可以选择private继承。

struct somestruct : private std::tuple<...> {
    T& GetSomeVariable() { ... }
    // etc
};

这种方法一开始有点麻烦，但是您只需要将变量和名称保留在一个位置，而不是每个要重载的运算符都保留在每个位置。

如果您打算使用多个运算符重载，或者使用来自tuple的更多方法，则建议使tuple成为类的成员或从tuple派生。否则，您正在做的工作还很多。在两者之间做出选择时，需要回答的一个重要问题是：您希望您的课程成为元组吗？如果没有，我建议包含一个元组并通过使用委派来限制接口。

您可以创建访问器以“重命名”元组的成员。