我有两个子例程重载,该子例程采用占用几兆动态内存的类型参数,并具有移动构造函数和赋值运算符:
// Version intended for use when we the caller has
// deliberately passed an rvalue reference using std::move
void MyClass::setParameter(MyMoveableType &&newParameter)
{
m_theLocalParameter = std::move(newParameter);
}
// Version intended for use when the caller has passed
// some other type of value which shouldn't be moved
void MyClass::setParameter(MyMoveableType newParameter)
{
m_theLocalParameter = std::move(newParameter);
}
其意图显然是,第一个重载将 newParameter 的内容从子例程链上的任何地方移动 - 调用 newParameter 对象,而第二个重载创建 newParameter 的全新副本(或调用复制省略以避免在适当的情况下这样做,例如,参数实际上是函数的返回值),然后将副本移动到本地数据成员中,从而避免进一步的复制。
但是,如果我尝试使用第一个重载实际将对象移动到我的类中:
{
MyClass theDestination;
MyMoveableType theObject
...
// ...Various actions which populate theObject...
...
TheDestination.setParameter(std::move(theObject));
...
}
...然后在我尝试过的每个编译器上都会出现以下错误:
call to member function 'setParameter' is ambiguous
现在我可以看到,如果我没有提供第一个重载,则将右值引用传递给第二个重载实际上是完全合法的,并且是我期望编译器执行的操作,而不发出警告。即便如此,我希望编译器能够完全清楚这段代码的意图是什么,因此我希望它会选择第二个重载作为最佳匹配。
我可以通过重新定义第二个构造函数以采用 const 引用并消除 std::move 来消除错误(尽管这不会是一个错误
把它留在里面;编译器会忽略它)。这可以正常工作,但我会失去利用复制省略的机会。这可能是
对于该特定应用而言,性能方面具有重要意义;所讨论的对象是以 30 传输的高分辨率视频帧
每秒帧数。
在这种情况下,我可以做些什么来消除重载的歧义,从而使我的例程同时具有按值传递和按右值引用传递版本吗?