使用 Clang 的模板和 lambda 编译错误

Question

我试图用这样的代码编译一个项目

#include <tuple>
#include <utility>

struct Foo
{
};

template <typename... Args>
void start(Args&&... args) {
    auto x = [args = std::make_tuple(std::forward<Args>(args)...)] () mutable {
            auto y = [args] () mutable {
                auto z = [] (Args&&... args) {
                    return new Foo(std::forward<Args>(args)...);
                };
            };
    };
}

int main()
{
    start(Foo{});
}

它似乎在 GCC 4.9.1 中编译得很好，但在 Clang 3.4、3.5、3.6 中却没有。错误信息是

错误：无法在 lambda 中隐式捕获变量“args” 未指定捕获默认值

这是一个编译器错误吗？如果是这样，是否有任何解决方法可以让它在 Clang 上编译？

Answer 1

简化为：

template <typename T>
void start(T t) {
    [a = t] { [a]{}; };
}

int main()
{
    start(0);
}

哪个generates the same error in non-trunk versions of clang。

这似乎是由a bug in Clang's handling of a non-init-capture of an init-capture 引起的。昨天，5 月 7 日，上述 bug 已修复，当前的 Clang 主干版本可以正确编译上述代码。

由于此错误仅针对 init-capture 的非 init-capture 出现，一个简单的解决方法是在内部 lambda 中也使用 init-capture - 而不是 [a]，而是使用 [a = a]。