c++ - vector 构造函数中的函数匹配

Question

#include <string>
#include <iostream>
#include <vector>

class HasPtrValue {
public:
    HasPtrValue(const HasPtrValue& h): ps(new std::string(*h.ps)) { std::cout << "copy" << std::endl;}
    HasPtrValue(const std::string &s = std::string()): ps(new std::string(s)) { std::cout << "string/default" << std::endl;}
    ~HasPtrValue() { delete ps; }
private:
    std::string *ps;
};

using namespace std;

int main(){
    string s = "stackoverflow";
    vector<HasPtrValue> a(5, s);
}

以上代码编译输出良好:

string/default
copy
copy
copy
copy
copy

这对我来说意味着 vector 首先使用字符串对象(执行 HasPtrValue(s))直接初始化一个临时 HasPtrValue 对象，然后从这个临时对象复制构造 5 个元素。那么，为什么以下代码无法编译:

int main(){
    vector<HasPtrValue> a(5, "stackoverflow");
}

如果它直接初始化 HasPtrValue(执行 HasPtrValue("stackoverflow"))，那么在 const string& 构造函数承担创建临时值的角色时就没有问题。我收到错误；

 error: no matching function for call to 'std::vector<HasPtrValue>::vector(int, const char [14])'|

我想我会尝试使用一个使用 int 构造函数并从 double 转换的更简单的类:

class A{
public:
    A(const int& a): x(a) { }
    int x = 2;
};

int main(){
    vector<A> a(5, 5.5);

}

除此之外编译正常。 vector 实现的哪一部分阻止在构造函数中使用 const char* 转换？

Answer 1

因为它需要两个用户定义的转换，const char* -> std::string，然后是std::string -> HasPtrValue，但只有在隐式转换序列中允许用户定义的隐式转换时。

13.3.3.1.2$1用户自定义转换序列[over.ics.user]

A user-defined conversion sequence consists of an initial standard conversion sequence followed by a userdefined conversion (12.3) followed by a second standard conversion sequence.

注意这里只有一层用户定义的隐式转换是合法的。对于您的情况，这必须通过显式转换来处理；所以你可以:

vector<HasPtrValue> a(5, std::string("stackoverflow"));