c++ - 使用基于范围的 for 迭代临时 std::initializer_list

Question

鉴于此代码

#include <iostream>
#include <initializer_list>
#include <string>

int a, b;

int main() {
    for (auto p : std::initializer_list<std::pair<int &, std::string>>{
        { a, "a" },
        { b, "b" },
    })
    {
        std::cout << p.second << ": " << p.first << '\n';
    }
}

我期望输出

a: 0
b: 0

和gcc和 clang不过，同意Visual Studio 2013 Update 5(我的版本，不确定 rextester 使用什么)不同意并打印此内容:

: 0
: 0

Visual Studio 有一个 issue与 std::initializer_list 一起使用，但应该自更新 2 以来已修复。

这是 Visual Studio 中的错误还是我调用了未定义或未指定的行为？

Answer 1

摘自 cppreference 的“说明”部分，范围 for 循环相当于:

{
    auto && __range = range_expression ;
    for (auto __begin = begin_expr,
                __end = end_expr;
            __begin != __end;
            ++__begin) {
        range_declaration = *__begin;
        loop_statement
    }
}

您可以看到迭代范围 (range_epxression) 绑定(bind)到转发引用。在您的情况下，后者会变成右值引用，因为您的 initializer_list 是临时的，因此它的生命周期会扩展到整个 for 循环。

MSVC 这里是错误的。