std :: 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

更新：要回答有关类型推断的问题： vector<string>的初始化列表构造函数采用initializer_list<string> 。 它没有模板化，因此在类型推断方面什么也没发生。

尽管如此，这里应用的类型转换和重载解析规则还是有一定意义的，所以让我保持最初的答案，因为您已经接受了它：

原始答案：

首先，编译器仅看到初始化器列表 {"one","two","three"} ，这只是一个初始化器列表，还不是std::initializer_list类型的对象。

然后，它尝试查找vector<string>的适当构造函数以匹配该列表。 它是如何完成的，这是一个有些复杂的过程，如果您对确切的过程感兴趣，则最好查阅标准本身。

因此，编译器决定从初始化列表中创建一个std::initializer_list<string>的实际对象，因为从char*到std::string的隐式转换使这成为可能。

另一个也许更有趣的例子：

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

这些是做什么的？

1. 第一行相对容易。 可以将初始化程序列表 {3}转换为std::initializer_list<long>类似于上面的示例{"onm", "two", "three"} ，因此您将获得一个包含单个元素的向量，该向量具有值3。

2. 第二行是不同的。 它构造了一个由3个空字符串组成的向量。 为什么？ 因为初始化列表 {3}绝不能转换为std::initializer_list<string> ，所以“普通”构造函数std::vector<T>::vector(size_t, T = T())插入并给出三个默认构造的字符串。

3. 好吧，这应该与第二个大致相同，对吧？ 它应该给出一个空向量，换句话说，带有零个默认构造的字符串。 错误！ 。 0可以视为空指针常量，并验证std::initializer_list<string> 。 只有这次，该列表中的单个字符串才由nullpointer构造，这是不允许的，因此会出现异常。

Answer 2

没有类型推断，因为向量仅提供带有初始化程序列表的完全专用的构造函数。 我们可以添加一个模板间接播放来与类型演绎一起玩。 下面的示例显示std::initializer_list<const char*>是向量构造函数的无效参数。

#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

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

无前缀字符串文字的类型为const char[]

这样事情就这样了：

#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