d::类型推断initializer_list

Question

如果我写这个

std::vector<std::string> v{"one","two","three"};

推断给关联的std::initializer_list模板的类型是什么？换句话说，当char*字符串文字转换为std::string时？

最好将其声明为

std::vector<std::string> v{std::string("one"),
                           std::string("two"),
                           std::string("three")};

避免与所涉及模板的类型推断机制相关的问题？我会保持同样的优化？

Answer 1

匿名用户

从…起http://en.cppreference.com/w/cpp/language/string_literal:

非固定字符串文字的类型是常量字符[]

因此，事情是这样的：

#include <iostream>
#include <initializer_list>
#include <vector>
#include <typeinfo>
#include <type_traits>
using namespace std;

int main() {
    std::cout << std::boolalpha;
    std::initializer_list<char*> v = {"one","two","three"}; // Takes string literal pointers (char*)
    auto var = v.begin();
    char *myvar;
    cout << (typeid(decltype(*var)) == typeid(decltype(myvar))); // true

    std::string ea = "hello";
    std::initializer_list<std::string> v2 = {"one","two","three"}; // Constructs 3 std::string objects
    auto var2 = v2.begin();
    cout << (typeid(decltype(*var2)) == typeid(decltype(ea))); // true
    std::vector<std::string> vec(v2);
    return 0;
}

http://ideone.com/UJ4a0i

Answer 2

没有类型推断，因为向量只提供具有初始化列表的完全专用的构造函数。我们可以添加一个模板间接来进行类型推断。下面的示例显示std::initializer_list

#include <string>
#include <vector>

std::string operator"" _s( const char* s, size_t sz ) { return {s, s+sz}; }

template<typename T>
std::vector<std::string> make_vector( std::initializer_list<T> il ) {
    return {il};
}

int main() {
    auto compile = make_vector<std::string>( { "uie","uieui","ueueuieuie" } ); 
    auto compile_too = make_vector<std::string>( { "uie"_s, "uieui", "ueueuieuie" } ); 
    //auto do_not_compile = make_vector( { "uie","uieui","ueueuieuie" } ); 
}

现场演示

Answer 3

更新：回答您关于类型推断的问题：向量的初始值设定项列表构造函数

尽管如此，这里应用的类型转换和重载解析规则还是有一些有趣的地方，因此我将保留我的初始答案，因为您已经接受了它：

原始答案：

起初，编译器只看到初始化程序列表{"one"，"二"，"三"}，这只是初始化程序的列表，还不是std::类型的对象initializer_list。

然后它试图找到向量的适当构造函数

因此，编译器决定创建std：：initializer\u list的实际对象

另一个可能更有趣的例子：

std::vector<long>   vl1{3};
std::vector<string> vs1{3};
std::vector<string> vs2{0};

这些是做什么的？

>

第一行比较简单，初始化列表{3}可以转换成std::initializer_list

第二行不同，它构造了一个3个空字符串的向量，为什么呢？因为初始化列表{3}绝不能转换成std::initializer_list

这个应该和第二个大致相同，对吧？它应该给出一个空向量，换句话说，没有默认构造的字符串。错误！。可以将0视为nullpointer常量，并验证std：：initializer\u列表