C ++错误的构造函数被调用[重复]

Question

我希望下面的代码打印Test::Test(string,string,bool)，但它打印Test::Test(string,bool)。为什么在提供两个字符串参数的情况下调用只接受一个字符串参数的构造函数？当然字符串不能转换为布尔值......？我尝试添加显式关键字，但没有帮助。代码也在http://ideone.com/n3tep1。

#include <iostream>
#include <string>

using namespace std;

class Test
{
public:

    Test(const string& str1, bool flag=false)
    {
        cout << "Test::Test(string,bool)" << endl;
    }

    Test(const string& str1, const string& str2, bool flag=false)
    {
        cout << "Test::Test(string,string,bool)" << endl;
    }
};

int main()
{
    Test* test = new Test("foo", "bar");
}

Answer 1

用于构造Test 的参数类型是char const[4]。

char const[4] 衰减为 char const*，并且必须转换为 bool 或 std::string const& 以使函数调用明确。

可以使用标准转换规则将指针转换为bool。

可以使用用户定义的转换规则将char const* 转换为std::string const&。

鉴于此，从指针char const* 到bool 的转换被认为比从char const* 到std::string const& 的转换更好。

因此，调用解析为第一个构造函数。

Answer 2

"bar" 是char const [4] 类型，从它到bool 的转换是标准的转换顺序，而到std::string 的转换是用户定义的转换。前者总是比后者更受欢迎。

来自 N3337，[conv]/1

标准转换是具有内置含义的隐式转换。第 4 条列举了所有此类转换。 标准转换序列是按以下顺序的标准转换序列：
— 从以下集合进行零次或一次转换：左值到右值转换，数组到指针转换， 以及函数到指针的转换。
— 从以下集合中进行零次或一次转换：积分提升、浮点提升、积分 转换、浮点转换、浮点整数转换、指针转换、指向成员的指针转换和布尔转换。
— 零次或一次资格转换。

在您的示例中，标准转换序列包括数组到指针的转换和布尔转换。

[conv.array]/1

“N T 的数组”或“T 的未知边界数组”类型的左值或右值可以转换为“指向T 的指针”类型的右值。结果是指向数组第一个元素的指针。

[conv.bool]/1

算术、无作用域枚举、指针或指向成员类型的指针的纯右值可以转换为bool 类型的纯右值。零值、空指针值或空成员指针值转换为false； 任何其他值都将转换为true。 ...

因此Test("foo", "bar") 导致调用Test(const string&, bool) 构造函数而不是另一个。

---

触发对另一个构造函数的调用的一种方法是使用string_literals

using namespace std::literals::string_literals;
Test("foo", "bar"s);  // calls Test(const string&, const string&, bool)
//               ^ 

Answer 3

我希望编译器会抱怨不明确的函数。

我之所以会这样认为，并且你调用了错误的构造函数，是因为使用字符串文字会产生一个指针，而指针可以隐式转换为布尔值。

在这种情况下，编译器显然认为布尔转换比转换为std::string 更匹配。