当简单捕获中的标识符显示为参数的声明符 ID 时，没有编译器诊断

Question

关于 lambda 的部分捕获 ([expr.prim.lambda.capture]/5) 声明

如果简单捕获中的标识符作为 lambda-declarator 的 parameter-declaration-clause 的参数的 declarator-id 出现，则程序格式错误。

考虑以下示例：

#include <iostream>

int main ()
{
    auto foo = 1234;
    auto bar = [foo](int foo) { std::cout << foo << '\n'; };
    bar(4321);     
}

最新的 GCC 版本（8.2.0 - 2018 年 7 月 26 日发布）对此没有诊断。最新的 Clang 版本（7.0.0 - 2018 年 9 月 19 日发布）也没有。

这些编译器是否应该有诊断（错误/警告）（如前所述 在参考）沿线：

// parameter and simple-capture have the same name

Godbolt 演示 here

Answer 1

该措辞已添加到 C++17 以解决 CWG Defect 2211。它在 C++14 中不存在，而且 Clang 和 GCC 似乎还没有赶上你正在检查的版本的这种变化。

值得注意的是，GCC 主干确实将该程序诊断为 C++17 下的格式错误。