可以在 C++11 lambda 中隐式捕获参数包吗？

Question

有谁知道以下对“ts”的隐式捕获是否格式正确：

template<class ... Ts> void bar(Ts ... ts) { }

template<class ... Ts> int foo(Ts ... ts) {
    auto L = [=] () {
       bar(ts...);
    };
    L();
    return 0;
}
int g = foo(1, 2, 3);

标准是否在任何地方明确说明不应该形成良好的格式？

Answer 1

14.5.3/6：

不是sizeof... 表达式的包扩展的实例化产生一个列表 E1, E2, ..., EN ，其中 N 是包扩展参数中的元素数。每个 Ei 是通过实例化模式并用其第 i 个元素替换每个包扩展参数来生成的。所有的 Ei 都成为封闭列表中的元素。

无论您是否被允许显式捕获一个包（您可以，使用[ts ...]），扩展的一般规则将导致捕获列表的每个元素。

Answer 2

我猜它的格式很好，我没有找到一个直截了当的陈述（在某些情况下，措辞有时缺乏清晰/说明）但我猜它可能是推断出来的：

§5.1.2/23：

捕获后跟省略号是包扩展 (14.5.3)。 [ 例子：

      template<class... Args>
      void f(Args... args) {
        auto lm = [&, args...] { return g(args...); };
        lm();
      }

—结束示例]

• 后跟省略号的捕获，在 lambda-capture 中暗示 args，是捕获的示例（在本例中为显式），并且值得注意的事实是args是一个参数包标识符。这个简短的段落的唯一作用是描述 lambda-captures 如何保持包扩展，这表明参数包可以被捕获，即使其目的不是允许它们被俘。

§5.1.2/12：

实体被捕获，如果它被显式或隐式捕获。[...]

§3/3：

实体是值、对象、引用、函数、枚举器、类型、类成员、模板、模板特化、命名空间、参数包或this。

据此，我假设 参数包是可以显式或隐式捕获的实体，因此应适用与普通变量相同的捕获规则，但参数包应相应扩展。

我猜您的问题（以及相同的论点）同样适用于参考变量，例如 (It is unspecified whether or not a reference requires storage. §8.3.2/4)。当您被允许或不允许在 lambda 中引用参数包 identifier 时，您似乎很感兴趣。

对于外部范围内的引用变量，您也可以这样想，因为您可以访问它们，但甚至不能访问原始变量的标识符。

它们就像参数包一样空灵。