Question

奇怪的是，GCC 4.7.2似乎对以下代码没有任何问题：

template<typename T>
T&& identity(T&& x1) {
    return std::forward<T>(x1);
}

int main(int, char**) {
    int x1 = 1;
    int &x2 = identity(x1);
    auto f = [&x1]() mutable {
        x1 = x1 + 1;
    };
    auto g1 = [y=x2+1]() {
        static_assert(std::is_same<decltype(y), const int>::value, "fail");
        std::cout << "g1: " << y << std::endl;
    };
    auto h1 = [y=identity(x1)+1]() {
        static_assert(std::is_same<decltype(y), const int>::value, "fail");
        std::cout << "h1: " << y << std::endl;
    };
    auto g2 = [&y=x2]() {
        static_assert(std::is_same<decltype(y), int&>::value, "fail");
        std::cout << "g2: " << y << std::endl;
    };
    auto h2 = [&y=identity(x1)]() {
        static_assert(std::is_same<decltype(y), int&>::value, "fail");
        std::cout << "h2: " << y << std::endl;
    };
    f(); g1(); h1(); g2(); h2();
    f(); g1(); h1(); g2(); h2();
    return 0;
}

结果如下：

g1: 2
h1: 2
g2: 2
h2: 2
g1: 2
h1: 2
g2: 3
h2: 3

我似乎无法提及在lambda捕获列表中捕获任意表达式，即使在n3285（日期为2012-10-02）。此外，我似乎无法在任何地方找到任何关于此的官方GCC扩展文档。

这是一个未记录的GCC扩展（la VLAs as structure members，一个提议的/即将推出的C ++功能，GCC已经提前实施，既不是，也不是，或什么？

Answer 1

正如评论中所指出的，该功能与最近的提案大致相似，但它在初始标准化之前很久才实施。 GCC在标准开发期间作为原型，最初反映了作者喜欢的任何想法，后来经过改进。为了使标准保持相当简单，必须进行修整的一些想法将被重新引入作为提案。 Lambdas有很大的发展空间。

目前，这只是另一个错误。它从未从原始实现中删除，因为还没有人报告它。

更新：这是自C ++ 14以来的标准功能。

未记载的GCC C ++ 11扩展？捕获lambda捕获列表中的任意表达式

1 个答案: