#include <iostream>struct Obj{ Obj(){} };struct Obj2{ Obj2(){} };// option 1Obj operator+(Obj const& x0, Obj const& x1) { printf("%s\n", "+(const&, const&)"); return Obj{}; }Obj operator+(Obj const& x0, Obj&& x1) { printf("%s\n", "+(const&, &&)"); return Obj{}; }Obj operator+(Obj&& x0, Obj const& x1) { printf("%s\n", "+(&&, const&)"); return Obj{}; }Obj operator+(Obj&& x0, Obj&& x1) { printf("%s\n", "+(&&, &&)"); return Obj{}; }//option 2// Obj2 operator+(auto const& x0, auto const& x1) { printf("%s\n", "+(const&, const&)"); return Obj2{}; }// Obj2 operator+(auto const& x0, auto&& x1) { printf("%s\n", "+(const&, &&)"); return Obj2{}; }// Obj2 operator+(auto&& x0, auto const& x1) { printf("%s\n", "+(&&, const&)"); return Obj2{}; }// Obj2 operator+(auto&& x0, auto&& x1) { printf("%s\n", "+(&&, &&)"); return Obj2{}; }int main(){Obj x0;Obj x1{ x0 };auto x2 = x0 + x1;}
字符串
如果我选择选项1，我会得到（const&，const&），因为x 0和x1显然是左值。但是，如果我选择选项2，它会调用（&&，&&）重载，并认为x 0和x1是右值？！为什么会发生这种情况？严肃的问题。它是否应该选择更受约束的版本，而忽略选项2？即便如此，当x 0和x1总是左值时，我选择什么选项还重要吗？
1条答案
按热度按时间j5fpnvbx1#
但是，如果我选择选项2，它会调用（&&，&&）重载，并认为x 0和x1是右值？！为什么会发生这种情况？
这是因为在选项2中，重载运算符实际上是“模板化”的（也称为缩写函数模板），并且表现得像你有
template<typename T, typename U> operator+( T&&, U&&)等，其中有forwarding references，并且在所有四个重载中，最后一个重载版本Obj2 operator+(auto&& x0, auto&& x1);是调用x0 + x1的最佳匹配。例如，
Obj2 operator+(auto&& x0, auto&& x1)基本上等同于（或等同于写）字符串
这意味着你实际上拥有的是：
型