C++ 运算符重载 : no known conversion from object to reference?

Question

当我尝试编译以下 (g++ 4.6.3)

class A {};

A& operator*=( A& a, const A& b )
{
  return a;
}

A operator*( const A& a, const A& b )
{
  return A( a ) *= b;
}

int main( int, char*[] )
{
  A a, b;

  a = a*b;

  return 0;
}

我得到了错误

/tmp/test.cxx: In function ‘A operator*(const A&, const A&)’:
/tmp/test.cxx:14:20: error: no match for ‘operator*=’ in ‘(* & a) *= b’
/tmp/test.cxx:14:20: note: candidate is:
/tmp/test.cxx:6:1: note: A& operator*=(A&, const A&)
/tmp/test.cxx:6:1: note:   no known conversion for argument 1 from ‘A’ to ‘A&’

这让我很困惑 - 从一个类到对该类的引用的转换怎么可能不知道？

如下更改A类的声明没有任何效果:

class A
{
public:
  A() {}
  A( const A& ) {}
};

同样的错误。

我将非常感谢有关这里发生的事情的提示。

Answer 1

就像 Lucian 所说，您不能将临时对象绑定(bind)到非常量引用。编译器的期望是对象将在表达式之后不复存在，因此修改它没有意义。

要修复您的代码，请删除临时代码(使参数 const& 在 operator *= 中没有意义):

A operator*(A a, const A& b)
{
    return a *= b;
}