11

C++11

程序初始化 s 中的 a vector， named myVec，int vector然后使用循环打印出每个 innervector的元素。但是当我尝试查看使用额外的花括号时会发生什么时，我得到了意想不到的结果。以下内容也在此 LiveWorkSpace上，以便在编译器之间轻松切换。g++ 4.8.0最多只能编译myVec[5]. clang++ 3.2编译一切：

#include <iostream>
#include <vector>

int main()
{
    std::vector<std::vector<int>> myVec =
    {
        /* myVec[0] */ {1, 2},
        /* myVec[1] */ {},
        /* myVec[2] */ {{}},
        /* myVec[3] */ { {}, {} },
        /* myVec[4] */ { {}, {}, {} },
        /* myVec[5] */ {{{}}}

        /* myVec[6] */  // , { {{}}, {{}} }       // g++ 4.8.0 COMPILER ERROR
        /* myVec[7] */  // , {{{{}}}}             // g++ 4.8.0 COMPILER ERROR
        /* myVec[8] */  // , { {{{}}}, {{{}}} }   // g++ 4.8.0 COMPILER ERROR
    };

    // loop for printing
    for (unsigned int i = 0; i < myVec.size(); ++i)
    {
        std::cout << "myVec[" << i << "]: ";
        for (unsigned int j = 0; j < myVec.at(i).size(); ++j)
        {
            std::cout << myVec.at(i).at(j) << ", ";
        }
        std::cout << std::endl;
    }
    return 0;
}

实际g++ 4.8.0输出：

myVec[0]: 1, 2,
myVec[1]:
myVec[2]: 0,
myVec[3]: 0, 0,
myVec[4]: 0, 0, 0,
myVec[5]: 0,

分析：

myVec[0]: {1, 2}:

得到预期的输出。

myVec[1]: {}:

得到预期的输出。

myVec[2]: {{}}:

这是 的向量int 0。内大括号初始化一个intto 0。

myVec[3]: { {}, {} }:

int两个内大括号将each初始化为0。

myVec[4]: { {}, {}, {} }:

int三个内大括号将each初始化为0。

myVec[5]: {{{}}}:

我想再添加一组花括号，myVec[2]看看在出现编译器错误之前添加花括号能走多远。我不明白为什么会编译以及为什么它的元素打印为0.

例如，int j = {}初始化j为0. vector<vector<int>> v = { {{}} }将最内层初始化{}为int 0，使其等价于vector<vector<int>> v = { {0} }。那么，vector<vector<int>> u = { {{{}}} }它是什么以及为什么要编译？

假设的myVec[6]: { {{}}, {{}} }:

按照与上面相同的模式，我想制作一个包含两组双花括号的向量。但这不能编译，我不明白为什么这会破坏给我多个零的模式。

假设的myVec[7]: {{{{}}}}:

我想再添加一组花括号，myVec[5]看看在出现编译器错误之前添加花括号能走多远。我不明白为什么这会破坏模式并且无法编译。

假设的myVec[8]: { {{{}}}, {{{}}} }:

我想扩展myVec[7]以制作带有两组三重括号的向量。我不明白为什么这也不能编译。

如果一切都可以myVec[5]编译，为什么其余的不？

4

1 回答 1

4

尝试编译此代码。它应该解释你的问题：

int i = {};   // initializes i to int()
int j = {{}}; // fails to compile

为什么{{{}}}在您的代码中被接受似乎是与如何处理 ctor 相关的 gcc 错误（需要澄清）：

struct foo {
    foo( std::initializer_list<int> ) {}
};
void f()
{
   foo bar1( {{{}}} ); // compiles fine
   foo bar2 = {{{}}}; // compiles fine
}

编辑（感谢 Johannes Schaub） - 删除副本 ctor 会使第一个变体无法编译：

struct foo {
    foo( std::initializer_list<int> ) {}
    foo( const foo& ) = delete;
};
void f()
{
   foo bar1( {{{}}} ); // fails to compile: use of deleted function ‘foo::foo(const foo&)’
   foo bar2 = {{{}}}; // still compiles, neither deleting move ctor, nor assignment operator does not affect that, is copy ctor of std::initializer_list involved?
}

对于成员函数，它失败了：

struct foo {
    void moo( std::initializer_list<int> ) {}
};
void f()
{
   foo bar;
   bar.moo( {{{}}} ); // fails to compile
}

此代码也失败了：

std::initializer_list<int> l = {{{}}}; // fails to compile

Same situation ctor vs member function for std::vector:

void f()
{
    std::vector<int> v( {{{}}} ) // compiles fine;
    v.assign( {{{}}} ); // fails to compile
};

gcc version 4.7.2 (Ubuntu/Linaro 4.7.2-2ubuntu1)

于 2013-03-03T05:25:12.627 回答