在嵌套 Lambda 中捕获 Lambda 的静态

In 这个答案 https://stackoverflow.com/a/33282441/2642059我使用这段代码：

std::vector<std::vector<int>> imat(3, std::vector<int>(10));

std::for_each(imat.begin(), imat.end(), [&](auto& i) {
    static auto row = 0;
    auto column = 0;
    std::transform(i.begin(), i.end(), i.begin(), 
        [&](const auto& /*j*/) {
            return row * column++; 
    }); 

    ++row; 
});

但我注意到捕捉过程中有一些不当行为static auto row取决于编译器。

Clang 3.7.0 产量 http://coliru.stacked-crooked.com/a/fe3ef266452f39fe:

0 0 0 0 0 0 0 0 0 0
0 1 2 3 4 5 6 7 8 9
0 2 4 6 8 10 12 14 16 18

gcc 5.1.0 产量 http://ideone.com/NTLmV2:

0 0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0 0

Visual Studio 2015 给我一个编译时错误：

编译器中发生内部错误。

如果我将捕获嵌套捕获更改为捕获row我明确地收到编译器错误：

capture 中的标识符必须是在 lambda 的到达范围内声明的具有自动存储持续时间的变量

我可以捕捉一个static在嵌套的 lambda 中？看似合理，但问题却不少！

EDIT:

佛子指出 https://stackoverflow.com/questions/33285103/capturing-a-lambdas-static-in-a-nested-lambda?noredirect=1#comment54371126_33285103 that I can如果我将嵌套 lambda 的参数类型从const auto& to const int&。这看起来完全无关，但它确实有效。

如果我尝试捕获，这不起作用row明确地。在这种情况下，我仍然收到编译器错误：

capture 中的标识符必须是在 lambda 的到达范围内声明的具有自动存储持续时间的变量

我在这里报告了 Visual Studio 2015 错误：https://connect.microsoft.com/VisualStudio/feedback/details/1930409/capturing-a-lambdas-static-in-a-nested-lambda https://connect.microsoft.com/VisualStudio/feedback/details/1930409/capturing-a-lambdas-static-in-a-nested-lambda

内部编译器错误（ICE）始终是一个错误。

我们不需要捕获静态存储持续时间的变量，但我们确实需要捕获自动变量odr-used http://en.cppreference.com/w/cpp/language/definition#ODR-use。来自 C++ 标准草案部分5.1.2:

lambda 表达式的复合语句生成函数调用运算符的函数体 (8.4)，但出于名称查找的目的（3.4），确定 this 的类型和值 (9.3.2) 并转换 idexpressions 使用 (*this) (9.3.1) 将非静态类成员引用到类成员访问表达式中，复合语句是在 lambda 表达式的上下文中考虑的。

so row应该在内部 lambda 中可见并且：

[...]如果 lambda 表达式 或通用 lambda odr 的函数调用运算符模板的实例化 - 使用 (3.2) this 或 a 从其到达范围起具有自动存储持续时间的变量，该实体应被捕获 lambda 表达式。[...]

仅需要捕获this以及自动存储持续时间的变量（如果它们是 ODR 使用的），我们可以看到显式捕获仅针对自动变量或this:

使用非限定名称查找的常用规则（3.4.1）来查找简单捕获中的标识符； 每次此类查找都应找到一个实体。由简单捕获指定的实体被认为是显式的 捕获,并且应该是这个或在到达范围内声明的具有自动存储持续时间的变量 本地 lambda 表达式。

为了使 Visual Studio 和 gcc 都与 clang 的结果相匹配，我可以移动row到全局命名空间，观看 gcc 直播 http://melpon.org/wandbox/permlink/eymPX8tI2KK2jQ09。正如 Fozi 指出的那样，改变const auto& /*j*/ to const int& /*j*/使它开始工作。

看起来 gcc 接受显式捕获非自动变量作为扩展，甚至然后显式捕获row例如[&, &row](const auto & )仍然产生全零。

如果我移动 gcc 的定义，则进一步row to main然后我看到以下错误（现场观看 http://melpon.org/wandbox/permlink/oZ8cRGniPT0RG06i):

/tmp/cchzwtQI.s: Assembler messages:
/tmp/cchzwtQI.s:1572: Error: symbol `_ZL3row' is already defined

对我来说这似乎是一个编译器错误。

我没有看到该标准的任何部分会使原始程序格式错误。也不应该改变auto to int做出改变并且不引入任何改变多态 lambda 提议 http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2013/n3649.html似乎也可以解释这种差异。