逗号运算符使 lambda 表达式成为非 constexpr

Question

根据[this Q&A]，因为 c++11 逗号运算符支持 constexpr。根据[this Q&A] constexpr 变量不应该被 lambda 捕获，但应该可以在其体内使用。

这两条规则都使得以下代码可以在 clang 中编译：

//Example 1

template <int>
struct Foo {};

int main() {
    constexpr int c = 1;
    static_cast<void>(Foo<(c, 2)>{});
}

---

//Example 2

template <int>
struct Foo {};

int main() {
    constexpr int c = 1;
    auto lambda = []{return c * 2;};
    static_cast<void>(Foo<lambda()>{});
}

然而，虽然这两个示例都在 clang 上成功编译（声明 constexpr lambda 支持，即 8.0.0），但以下 sn-p 没有，我无法想象为什么......有什么想法吗？

template <int>
struct Foo {};

int main() {
    constexpr int c = 1;
    auto lambda = []{return (c, 2);};
    static_cast<void>(Foo<lambda()>{});
}

编译错误：

在未指定捕获默认值的 lambda 中无法隐式捕获变量“c”

[live demo]

Answer 1

根据[basic.def.odr]/4，这似乎是一个clang错误：

变量 x 其名称显示为潜在求值表达式 ex 被 ex odr 使用，除非将左值到右值转换 (7.1) 应用到 x 产生不调用任何非-普通函数，如果 x 是一个对象，ex 是表达式 e 的潜在结果集合中的一个元素，其中左值到右值转换 (7.1) 应用于 e， 或 e 是被丢弃的-值表达式。

正如已经评论的那样，问题不仅限于逗号运算符，而且对于每个丢弃的表达式，这些表达式都不构成 odr-use，因此必须接受它。

Answer 2

如果我们看一个更简单的情况，这是一个 clang 错误：

constexpr int c = 1;
auto lambda =  [] {return c,2;};

clang 还认为这种格式不正确 (see it live)，如果 lambda 使用 odr 来捕获自动变量，请参见 expr.prim.lambda.capturep8：

如果实体被显式或隐式捕获，则该实体被捕获。由 lambda 表达式捕获的实体在包含 lambda 表达式的范围内使用。如果 *this 被本地 lambda 表达式捕获，则其最近的封闭函数应为非静态成员函数。如果 lambda 表达式或泛型 lambda 的函数调用运算符模板的实例化 odr-使用 this 或从其到达范围内具有自动存储持续时间的变量，则该实体应由 lambda 表达式捕获。如果 lambda 表达式捕获一个实体，而该实体没有在直接封闭的 lambda 表达式或函数中定义或捕获，则该程序格式错误。 ...

和discarded value expression is not an odr-use。

我找到了一个类似的bug report [rejects valid] constexpr non-scalar variable not usable in lambda without capture or local class。