C ++ 11初始化程序列表失败-但仅在长度为2的列表上

Question 1

我找到了一个模糊的日志记录错误，发现长度为2的初始化列表似乎是特例！这怎么可能？

该代码是使用Apple LLVM 5.1版（clang-503.0.40）编译的CXXFLAGS=-std=c++11 -stdlib=libc++。

#include <stdio.h>

#include <string>
#include <vector>

using namespace std;

typedef vector<string> Strings;

void print(string const& s) {
    printf(s.c_str());
    printf("\n");
}

void print(Strings const& ss, string const& name) {
    print("Test " + name);
    print("Number of strings: " + to_string(ss.size()));
    for (auto& s: ss) {
        auto t = "length = " + to_string(s.size()) + ": " + s;
        print(t);
    }
    print("\n");
}

void test() {
    Strings a{{"hello"}};                  print(a, "a");
    Strings b{{"hello", "there"}};         print(b, "b");
    Strings c{{"hello", "there", "kids"}}; print(c, "c");

    Strings A{"hello"};                    print(A, "A");
    Strings B{"hello", "there"};           print(B, "B");
    Strings C{"hello", "there", "kids"};   print(C, "C");
}

int main() {
    test();
}

输出：

Test a
Number of strings: 1
length = 5: hello

Test b
Number of strings: 1
length = 8: hello

Test c
Number of strings: 3
length = 5: hello
length = 5: there
length = 4: kids

Test A
Number of strings: 1
length = 5: hello

Test B
Number of strings: 2
length = 5: hello
length = 5: there

Test C
Number of strings: 3
length = 5: hello
length = 5: there
length = 4: kids

我还应该补充一点，测试b中的假字符串的长度似乎不确定-它总是大于第一个初始化程序的字符串，但是从大于第一个字符串的长度到两个字符串的总长度之间变化在初始化程序中。

Question 2

介绍

想象一下以下声明和用法：

struct A {
  A (std::initializer_list<std::string>);
};

A {{"a"          }}; // (A), initialization of 1 string
A {{"a", "b"     }}; // (B), initialization of 1 string << !!
A {{"a", "b", "c"}}; // (C), initialization of 3 strings

在（A）和（C）中，每个c样式字符串都导致一个（1）的初始化。 std :: string，但是，正如您在问题中所指出的，（B）不同。

编译器发现可以使用begin-和end-iterator构造std :: string，并且在解析语句（B）时，与使用和作为两个元素的单独初始化器相比，它更喜欢这种构造。"a""b"

A { std::string { "a", "b" } }; // the compiler's interpretation of (B)

^{注：该类型的"a"和"b"是char const[2]，这样一种类型，可以隐含衰变成一个char const*，指针型，适用于像一个iterator表示无论是开始还是结束时创建的std :: string ..但我们必须小心：我们导致不确定的行为因为调用所述构造函数时两个指针之间没有（保证的）关系。}

说明

当您调用使用双括号的std :: initializer_list的构造函数时{{ a, b, ... }}，有两种可能的解释：

外括号表示构造函数本身，内括号表示参与std :: initializer_list的元素，或者：
外部花括号指向std :: initializer_list，而内部花括号表示内部元素的初始化。

最好在可能的情况下执行2），并且由于std::string有一个构造函数带有两个迭代器，因此当您具有时，将被调用std::vector<std::string> {{ "hello", "there" }}。

进一步的例子：

std::vector<std::string> {{"this", "is"}, {"stackoverflow"}}.size (); // yields 2

解

请勿使用双花括号进行此类初始化。

Question 3

首先，除非我缺少明显的东西，否则这是未定义的行为。现在让我解释一下。向量是从字符串的初始化列表中构造的。但是，此列表仅包含一个字符串。该字符串由内部字符串组成{"Hello", "there"}。怎么样？使用迭代器构造函数。本质上，for (auto it = "Hello"; it != "there"; ++it)正在形成一个包含的字符串Hello\0。

有关简单示例，请参见此处。尽管UB有足够的理由，但似乎第二个文字正好位于第一个文字之后。作为奖励，这样做"Hello", "Hello"，您可能会得到长度为0的字符串。如果您在这里不懂任何内容，建议阅读Filip的出色答案。