GCC 对潜在有效的代码抛出 init-list-lifetime 警告？

我在 Debian不稳定的GCC 9.3.0上运行。

我从事的一个项目最近发生了变化，引入了类似于下面的代码。

#include <initializer_list>
#include <map>
#include <vector>

std::map<int, std::vector<int>> ex = []{
    /* for reused lists */
    std::initializer_list<int> module_options;

    return (decltype(ex)) {
        {1, module_options = {
            1, 2, 3
        }},
        {2, module_options},
    };
}();

这个想法是，初始化器列表的相同小节首先在顶部声明、定义并分配给std:initializer_list第一次使用时变量，然后在多个地方使用。这很方便，有些人可能会认为更具可读性，这就是它被接受的原因。

一切都很好，直到几天前，GCC 开始抛出一个init-list-lifetime代码上的警告。我们用-Werror在我们的回归中，所以这对我来说是失败的回归。我还尝试使用 clang 9.0.1 进行编译，它不会抛出警告。

<source>: In lambda function:
<source>:12:9: warning: assignment from temporary 'initializer_list' does not extend the lifetime of the underlying array [-Winit-list-lifetime]
   12 |         }},
      |         ^

根据参考参数 https://en.cppreference.com/w/cpp/utility/initializer_list:

在原始初始化列表对象的生命周期结束后，不保证底层数组存在。 std::initializer_list 的存储未指定（即它可以是自动、临时或静态只读内存，具体取决于情况）。

所以我的理解是，公共初始值设定项列表值在包含初始值设定项列表的范围内定义，其生命周期以封闭初始值设定项列表结束。从前面的 cppreference 页面中，它提到std::initializer_list是一个“轻量级代理对象”，这意味着它不获取临时对象的所有权或延长其生命周期。这意味着不能保证底层数组在以后的使用中存在，这就是抛出警告的原因。这个分析正确吗？

我可以通过移动来防止警告发生std::initializer_list变量初始化到声明。有关项目中问题的完整详细信息，请参阅PR https://github.com/cocotb/cocotb/pull/1975/files.

所以我的理解是，公共初始值设定项列表值在包含初始值设定项列表的范围内定义，其生命周期以封闭初始值设定项列表结束

您正在谈论由纯右值表达式创建的对象{1, 2, 3}, right?

有一个例子decl.init.list/6 http://eel.is/c++draft/dcl.init.list#6,

该数组与任何其他临时对象具有相同的生命周期（[类.临时的 http://eel.is/c++draft/class.temporary]），除了初始化一个initializer_­list数组中的对象延长了数组的生命周期，就像将引用绑定到临时对象一样。 [Example:

// ...
std::initializer_list<int> i3 = { 1, 2, 3 };
// ...

其中标准（或草案）说

For i3, the initializer_­list对象是一个变量，因此该数组在变量的生命周期内持续存在。

这表明该对象必须被具体化并且应该延长其生命周期。

然而，你是not初始化initializer_list表达式中的对象，因为您的变量已经初始化。如果我们将您的代码重写为对名义上的调用

module_options.operator=({1, 2, 3})

那么我们就不会期望临时生命周期会延长到函数调用结束之后。

我怀疑临时变量仍然会存在到完整表达式的末尾，因为我认为绑定对的引用应该是extend它的寿命而不是减少它：但不可否认类.临时/6 http://eel.is/c++draft/class.temporary#6 says “...在引用的生命周期内持续存在...”并不是“……坚持不懈at least一生……”

但是，这确实意味着原始代码的以下变体应该可以满足您的要求：

std::map<int, std::vector<int>> ex = []{
    /* for reused lists */
    std::initializer_list<int> module_options { 1, 2, 3 };

    return (decltype(ex)) {
        {1, module_options},
        {2, module_options},
    };
}();