为什么 g++ 说 'operator=' 不匹配，而 Visual Studio 可以看到有？

Question

我正在编写一个接口库，它允许访问regula::State 类型对象中的表中的变量（理论上可以达到无限深度）。我通过在一个类中重载operator[] 来实现这一点，然后返回同一个类的另一个，并根据需要再次调用operator[]。例如：

regula::State t;
t["math"]["pi"] = 3.14159;

上面应该将值3.14159 放在表math 中的变量pi 中。基本上，它通过让t 返回一个代表math 的代理对象来实现这一点，它返回另一个代表pi 的代理对象，我们实际上将变量保存到其中。 this 的内部与问题无关，但这里是函数头。

LObject LObject::operator[] (const std::string name);

基本上，在上面的例子中，程序应该用字符串"math"调用t的operator[]并返回另一个对象，然后用字符串"pi"调用该对象的operator[]，返回最后一个对象，然后使用 operator= 将值分配给那个对象。

template <typename T>
T LObject::operator= (const T& value);

返回的T 只是传递的value 的副本。

现在，我的代码在 Visual C++ 2008 中没有产生任何错误，并且运行良好。但是当我尝试在 Linux 上使用 g++ 编译它时，我收到以下错误：

../../test/regula-test.cpp:100: error: no match for ‘operator=’ in 
‘L.regula::State::operator[](std::basic_string<char, std::char_traits<char>, 
std::allocator<char> >(((const char*)"Numbers"), ((const std::allocator<char>&)((const 
std::allocator<char>*)(& std::allocator<char>()))))) = Numbers’
../../include/regula.hpp:855: note: candidates are: regula::LObject&
 regula::LObject::operator=(const regula::LObject&)

出于某种原因，g++ 似乎试图在 operator[] 上调用 operator=，而不是像应有的那样在返回的对象上调用。

我实际上可以通过将operator= 上的返回类型替换为void 来修复此错误：

template <typename T>
/*T*/ void LObject::operator= (const T& value);

但这并不可取，此外，我在其他几个位置也有类似的错误，operator== 类似重载：

../../test/regula-test.cpp:153: error: no match for ‘operator==’ in ‘pi == 
L.regula::State::operator[](std::basic_string<char, std::char_traits<char>, 
std::allocator<char> >(((const char*)"pi"), ((const std::allocator<char>&)((const 
std::allocator<char>*)(& std::allocator<char>())))))’

我不明白为什么在 g++ 中会出现这个错误，或者为什么在 Visual C++ 中没有出现。任何人都可以对此有所了解或推荐任何解决方案吗？

Answer 1

ISO 标准第 5.17 节说

有几个赋值运算符，它们都从右到左分组。都需要一个可修改的左值作为左操作数，赋值表达式的类型是左操作数的类型。赋值操作的结果是赋值后存储在左操作数中的值； 结果是一个左值。

您的operator= 不仅返回错误的类型，甚至没有返回左值。假设 GCC 的错误消息不包括除 operator=(const regula::LObject&) 之外的任何其他候选者，GCC 完全忽略了您的重载。它提到的operator= 是默认的、自动生成的函数。

乍一看，您的operator[] 也应该返回一个引用。正如所写，像您的示例这样的赋值表达式根本不应该工作。

所以，你应该有函数

LObject &LObject::operator[] (const std::string name);

和

template <typename T>
LObject &LObject::operator= (const T& value);