c++ - c++构造函数的奇怪行为

Question

我正在测试这段代码，想知道为什么它在编译时没有失败？。我正在使用 c++11 和 g++ 4.7.2。

我的生产代码有类似的结构，它在运行时出错，然后我发现我正在用错误的参数类型构造类。

#include <iostream>
#include <vector>


typedef std::vector<std::string> Word;

class Data {
    public:
        const Word &word;
        Data(Word w) : word(w) {}
};

class Base{
    const Data &data;
    public:
        Base(const Data &d): data(d) {}
        ~Base() {}
};

class Work : public Base{
    public:
        Work(const Data &d): Base(d){}
        ~Work() {}
};


int main(int argc, char **argv){
    Word words;
    words.push_back("work");

    /*
    * I'm confused with this constructor, why this passed the compilation
    * ??
    * Any special rule to reason this scenario ??
    *
    * But obviously it will fail at run time.
    */
    const Work *work  = new Work(words);

    return 0;
}

Answer 1

Data 可从 Word 构造，因此您可以将 Word 传递给 Work 构造函数。在引擎盖下，Data 的实例将从传递的 Word 创建，然后传递给构造函数。

您可以通过将采用Word 的Data 构造函数标记为explicit 来避免这种情况。 ，像这样:

class Data {
    public:
        const Word &word;
        explicit Data(Word w) : word(w) {}
};

那样的话，构造函数就不能再隐式应用了，除非显式调用 Data 构造函数，否则对 Work 构造函数的调用将无法编译:

const Work *work  = new Work(words);        // Implicit call, fails to compile.
const Work *work  = new Work(Data(words));  // Explicit call, compiles.