C ++在构造函数中更改函数解析优先级

Question

考虑以下代码：

#include <cstdio>
#include <initializer_list>

using namespace std;

class A {
    public:
    A(const char*, void*) { printf("const char*, void*\n"); };           // #1
    A(initializer_list<char*>) { printf("initializer_list<char*>\n"); }; // #2
};

void F(const A&) {};

int main(int, char**) {
    F({ "A", new char[256]() });
};

我有一个函数F，我可以使用is_constructible 到class A 的任何参数调用它。

如果我运行程序，我会看到构造函数 #2 被调用，并且我收到如下警告：ISO C++11 does not allow conversion from string literal to 'char *const' 第一个参数。 C++ 会自动将此参数从字符串文字转换为 char*，以便调用匹配签名 initializer_list<char*>。

但编译器也可以尝试将第二个参数转换为 void*，以便调用匹配签名 const char*, void*。

两个调用都采用“相同数量的步骤”从调用到“匹配签名”，但由于某种原因，编译器选择了后者。

我想了解这种选择背后的基本原理是什么，以及是否有机会“提示”编译器在第一个参数是字符串文字时使用构造函数 #1。

在大局中，

我希望调用像：F({ "A", new char[256]() }) 来选择构造函数 #1，

但是像F({ (char*)"A", new char[256]() }) 这样的调用来选择构造函数#2。

编译器细节： Apple LLVM 版本 6.0 (clang-600.0.57) (基于 LLVM 3.5svn) 目标：x86_64-apple-darwin14.1.0 线程模型：posix

Answer 1

像#2 这样的初始化列表构造函数优先于其他构造函数。只要它是一个可行的构造函数，那么尽管可能有一个更可行的非初始化列表构造函数，它们都会被考虑。字符串字面量是N const char 的数组，存在从字符串字面量到char* 的转换作为C 的遗留物，但自C++03 起已被弃用。

由于无论如何都可能发生转换，因此仍然使用构造函数而不是#1。您可以通过将其转换为非文字（即通过从函数返回）来防止这种转换：

const char* operator"" _strong(const char* str, std::size_t) {
    return str;
}

int main() {
    F({ "A",        new char[256]() }); // #1
    F({ "A"_strong, new char[256]() }); // #2
}

现在到char* 的转换将失败，然后重载决议将#1 视为候选构造函数。