c++ - Lambda 捕获 constexpr 对象

Question

GCC 4.7.2 编译这个:

constexpr int i = 5;
[]{ std::integral_constant< int, i >(); }; // nonstandard: i not captured

但不是这个:

constexpr int i = 5;
[&i]{ std::integral_constant< int, i >(); }; // GCC says i not constexpr

根据 C++11 §5.1.2/15，后一个示例对我来说似乎是正确的:

An entity is captured by reference if it is implicitly or explicitly captured but not captured by copy. It is unspecified whether additional unnamed non-static data members are declared in the closure type for entities captured by reference.

似乎lambda内捕获的对象i指的是封闭范围内的变量，即constexpr，而不仅仅是const引用。

标准明确指出，按值捕获的使用被转换为对 lambda 对象的相应成员的使用。而且我认为 5.1.2 暗示我的解释是正确的。

是否有任何明确说明引用捕获是指封闭范围内的对象还是引用？

Answer 1

第二个模板参数到std::integral_constant< int, i >用于非类型形式的模板参数，特别是整数或枚举类型(14.3.2p1 bullet 1)，因此必须是int 类型的转换常量表达式.

在 lambda-expression 中，当一个实体在复合语句中被 odr-使用时，会发生隐式捕获 (5.1.2p11)；在显式模板实例化中使用转换后的常量表达式不是 odr-use (3.2p3)，因此第一个示例是有效的。

在第二个例子中，我认为 gcc 拒绝它是不正确的； 5.1.2p17 在注释中说:

An id-expression that is not an odr-use refers to the original entity, never to a member of the closure type.

虽然整个段落都在讨论通过复制捕获，但没有理由不将此规则也应用于通过引用捕获。标准对此不明确也就不足为奇了。确实没有理由通过引用捕获可以在转换后的常量表达式中使用的实体。