Question

我的代码按预期工作：

EscapedString es("Abc&def");
EscapedString es2("");
es2 = es;     // es2 == Abc%26def

代码无法正常工作：

EscapedString es("Abc&def");
EscapedString es2 = es;    // es == Abc%2526def

在第二种情况下，即使es是EscapedString，也会调用CTOR2而不是CTOR3。

EscapedString es(EscapedString("Abc?def"));

是否正确，但我似乎无法在CTOR3上设置断点，因此我不确定它是否正常工作，或者代码已经过优化或者意外工作。

课程如下：

class EscapedString : public std::string {
public:
    EscapedString(const char *szUnEscaped) {  // CTOR1
        *this = szUnEscaped;
    }

    EscapedString(const std::string &strUnEscaped) {   // CTOR2
        *this = strUnEscaped;
    }

    explicit EscapedString(const EscapedString &strEscaped) {   // CTOR3
        *this = strEscaped;  // Can't set breakpoint here
    }

    EscapedString &operator=(const std::string &strUnEscaped) {
        char *szEscaped = curl_easy_escape(NULL, strUnEscaped.c_str(), strUnEscaped.length());
        this->assign(szEscaped);
        curl_free(szEscaped);
        return *this;
    }
    EscapedString &operator=(const char *szUnEscaped) {
        char *szEscaped = curl_easy_escape(NULL, szUnEscaped, strlen(szUnEscaped));
        this->assign(szEscaped);
        curl_free(szEscaped);
        return *this;
    }
    EscapedString &operator=(const EscapedString &strEscaped) {
        // Don't re-escape the escaped value
        this->assign(static_cast<const std::string &>(strEscaped));
        return *this;
    }
};

Answer 1

通常情况下，EscapedString es2 = es;会调用复制构造函数，但是您明确告诉它不要通过复制构造函数explicit：

explicit EscapedString(const EscapedString &strEscaped)

永远不能通过自动类型转换来调用标记为explicit的构造函数。它只能被明确地调用，你在这里做过：

EscapedString es(EscapedString("Abc?def"));

以下是编译器遇到EscapedString es2 = es;时会发生什么。

首先，编译器会看到它是否可以使用复制构造函数并发现它不能，因为它被标记为explicit。所以它寻找另一个构造函数来调用。由于EscapedString派生自std::string，因此编译器可以将es转换为const std::string&并调用：

EscapedString &operator=(const std::string &strUnEscaped)

为什么要调用错误的ctor？

1 个答案: