C++没有操作员定义就会失败

Question

我目前正在将 C++ 应用程序移植到稍微受限的环境中。该应用程序使用 STL、字符串和流类。我正在重写这些的简化版本，它们将在我的环境中很好地发挥作用。

我担心的是，即使没有所有必要的运算符定义，我的应用程序也在编译。例如，对于我定义的字符串类：

string operator+ (const string& lhs, const string& rhs);

这已经足够了。但是，我注意到经常有 mystring +“某个常量字符串”的情况，而这在我的代码中没有定义。当我明确添加它时，它被使用：

string operator+ (const string& lhs, const char* rhs);

在那之前发生了什么？在我添加第二个函数之前它编译成功。当然，编译器无法推断如何将 c 样式字符串连接到我的字符串类。

我的程序现在出现奇怪的行为，我想知道这是否是由于其他运算符未定义所致。如果程序需要，是否有任何方法可以强制编译器要求此类运算符定义？

PS 我的字符串类位于唯一的命名空间中，与 std:: 无关

Answer 1

如果没有看到代码的其余部分，就不可能确定，但​​在这种情况下，猜起来可能也不太难。几乎可以肯定，您的 string 具有一个以 char const * 作为参数的构造函数，因此编译器正在使用该构造函数来转换 char const * 转换为 string，然后使用 string operator+ (const string& lhs, const string& rhs); 将其连接起来。

允许这种情况发生是使用全局变量而不是成员函数重载这些运算符的主要原因之一（如果不是的话）。作为成员函数，它们可以转换右操作数，但不能转换左操作数。

Answer 2

当您传递 const char* 时，可能会构造一个字符串对象并将其传递给operator+。如果您在调试器中单步执行代码，您可能能够验证构造函数是否被调用。

Answer 3

您的类中可能有一个构造函数，它将 const char * 作为输入参数，很可能该构造函数用于隐式转换和您看到的奇怪行为。

声明您的构造函数将 const char * 作为显式，这将禁用它在您不希望使用它的隐式转换中的使用。

Answer 4

您的“字符串”类是否有一个采用 const char* 的单参数构造函数？该单参数构造函数是否标记为“显式”？

如果不明确，最可能的答案是编译器正在通过转换构造函数从 char* 构造一个临时字符串对象，然后使用该临时字符串调用两个参数加法运算符。

Answer 5

除非您指定如何转换，否则编译器无法知道如何将字符串转换为 std::string 或 char*。

在类声明中查找转换构造函数或强制转换运算符。

class MyString
{
    MyString(char*);
    MyString(std::string);

    operator std::string ();
    operator char*();
};

这些将被隐式调用。

您可以为构造函数指定 explicit 关键字来防止这种情况发生。

如果这不能解决问题，则必须在某个地方重载运算符，最好使用调试器找到它们单步执行代码。