我不能再将char [M] [N]类型分配到gcc 4.9上的std :: vector中

Question

我使用gcc 4.8直到我升级Ubuntu,现在我有gcc-4.9.1-16.用于编译而没有警告并且运行正常的代码现在不再编译.

static const unsigned WIDTH = 16;
static const unsigned VSCALE = 1;
static const unsigned HEIGHT = WIDTH / VSCALE;
static const unsigned FOOTER = 2;

typedef char Row [WIDTH + 1];
typedef Row World [HEIGHT - FOOTER];

std :: vector <World> m_levels;

World levels [] =
{
    {
        "                ",
        "                ",
        "                ",
        "                ",
        "                ",
        "  ###      ###  ",
        "                ",
        "1122112211221122",
        " 33003300330033 ",
        "1122112211221122",
        " 33003300330033 ",
        "                ",
        "                ",
        "                "
    },
    {
        "       44       ",
        "     555 55     ",
        "    66    66    ",
        "  777      777  ",
        " 66          66 ",
        "  777      777  ",
        "    66#  #66    ",
        "  777 #  # 777  ",
        " 66   #  #   66 ",
        "  777 #  # 777  ",
        "    66#  #66    ",
        "     555 55     ",
        "       44       ",
        "                "
    }
};

// The next line is line 68
m_levels .assign (std :: begin (levels), std :: end (levels));

最后一行错误

.../foo.cpp:68:62:从这里需要/usr/include/c++/4.9/bits/stl_algobase.h:373:4:错误:静态断言失败:类型不可分配

.../foo.cpp:68:62:从这里要求/usr/include/c++/4.9/bits/stl_construct.h:75:7:错误:数组中的括号初始值设定项[-fpermissive]

编译选项没有改变,-W -Wall -Wextra -Werror -pedantic --std=c++0x据我所知,只有gcc已经改变.

为什么这段代码不再编译？

Answer 1

标准容器的值类型的最低要求是它们必须是Erasable.对于默认分配器,这转换为给定的要求value_type *p;,p->~value_type();必须是格式良好的.

如果value_type是类类型,它只是调用析构函数,并且如果析构函数未被删除且可访问,则格式良好.If value_type表示标量类型,p->~value_type();也有效且无操作(这称为伪析构函数调用).但是,如果value_type是数组类型,则p->~value_type();无效.

因此,内置数组永远不是标准容器的有效值类型,至少在使用默认分配器时是这样.(各种其他容器操作对值类型提出了更多要求;内置数组至少会与其中一些相关,因为它们不可分配.)

使用不满足该模板要求的类型实例化标准库模板会导致未定义的行为.看来,偶然的libstdc ++在GCC 4.9附带的版本之前没有诊断出你的错误.

顺便说一句,修复很简单.只是用std::array.