如何重载 >> 运算符以获取逗号分隔的变量参数列表

Question

--快速之前

所以在有人说这个问题已经在另一个帖子上得到回答之前，它还没有......这是另一个帖子中的一个家庭作业问题，最初的问题从未得到回答，只是告诉他们错了。

--问题

我正在尝试重载 >> 运算符，以便能够将 n 个以逗号分隔的变量传递到像这样的对象中......

Mat M = (Mat_<double>(3,3) << 1, 0, 0, 0, 1, 0, 0, 0, 1);

我正在尝试重用他们对逗号分隔参数列表的使用，但我似乎无法让它发挥作用。

当我像这样重载

void operator<< (const double& is)
{
    std::cout << "hiya " << is << std::endl;
}

并尝试像这样使用它

mat << 1.0, 2.0;

只有第一个值被传递给操作员...第二个值永远不会被“使用”，因为我相信<< 比, 具有更高的优先级

所以我的问题是他们在 eigen 和 openCV 等库中做了什么才能拥有此功能。我查看了他们的代码以试图理解它，但它似乎需要更深入地了解 C++ 的工作原理，而我没有，我希望这里有人能对此有所了解。

提前感谢您的任何建议。

Answer 1

您必须重载插入运算符 (<<) 和逗号运算符 (,)，这样

mat << 1.0, 2.0;

翻译为：

mat.operator<<(1.0).operator,(2.0);

或

operator,(operator<<(mat, 1.0), 2.0);

这是一个演示程序，无需做任何有用的事情就说明了这个想法。

struct Foo
{
};

Foo& operator<<(Foo& f, double)
{
  std::cout << "In operator<<(Foo& f, double)\n";
   return f;
}

Foo& operator,(Foo& f, double)
{
   std::cout << "In operator,(Foo& f, double)\n";
   return f;
}

int main()
{
   Foo f;
   f << 10, 20, 30;
}

及其输出

In operator<<(Foo& f, double)
In operator,(Foo& f, double)
In operator,(Foo& f, double)

Answer 2

您必须从第一个参数创建一个临时参数，并将整个逗号列表括在括号中：

myObj >> (some_temporary(3), 1, ...);

这将要求 some_temporary 是重载逗号运算符的类型或辅助函数返回对象，并且您的 >> 需要能够采用该类型。否则，>> 的优先级将“获胜”，因此在看到逗号表达式之前进行评估。

一个更丑的选择是让你的 >> 返回一个重载 operator ,() 的类型，但我相信第一个更可取（实际上，我会说整个方案是不可取的）。