1

我正在尝试使用 MSVC 12（Visual Studio 2013，更新 4）创建一个 C++ 程序，该程序使用std::initializer_list具有std::string成员的结构。我似乎遇到了 MSVC 中的错误。这是一个展示问题的最小示例：

#include <cassert>
#include <initializer_list>
#include <string>

namespace
{
    struct TestStructure
    {
        std::string m_string;
        int m_integer;

        TestStructure(const std::string& string, int integer)
            : m_string(string), m_integer(integer)
        {
        }

        TestStructure(const TestStructure&) = default;
        ~TestStructure() = default;
        TestStructure& operator=(const TestStructure&) = default;
    };
}

int main(int, char **)
{
    TestStructure structure("foobar", 12345);
    std::initializer_list<TestStructure> structures({structure});

    assert(structure.m_integer == 12345);
    assert(structure.m_string == "foobar");
    assert(structures.size() == 1);
    assert(structures.begin()->m_integer == 12345);
    assert(structures.begin()->m_string == "foobar"); // abort()'s here.

    return EXIT_SUCCESS;
}

我希望这个程序能够毫无问题地编译和执行。但是，当我运行它时，最后一个断言似乎失败了。查看 Visual Studio 调试器，似乎structures.begin()->m_string == "".

我的程序是否格式不正确，或者这实际上是 MSVC 中的错误？这个问题是否有一些解决方法（除了不使用初始化列表）？

4

1 回答 1

4

问题是您同时使用了括号和大括号：

std::initializer_list<TestStructure> structures({structure});
                                               ^^         ^^

这将构造一个临时std::initializer_list<TestStructure>文件并将其复制到structures; 将不会执行正常的生命周期扩展，因此structures将指向已破坏的存储：

[dcl.init.list]：

6 - 数组与任何其他临时对象 (12.2) 具有相同的生命周期，除了initializer_list从数组初始化对象会延长数组的生命周期，就像将引用绑定到临时 [...]

请注意，clang 同意 MSVC 的观点；gcc 在后备阵列上执行生命周期延长，但这样做是错误的（错误提交：https ://gcc.gnu.org/bugzilla/show_bug.cgi?id=66476 ）。

如果您想要复制初始化（延长生命周期），请使用等号：

std::initializer_list<TestStructure> structures = {structure};

否则，使用直接列表初始化（直接使用大括号）：

std::initializer_list<TestStructure> structures{structure};
于 2015-06-09T16:03:59.127 回答