如果在递归泛型lambda中使用constexr：不同的编译器行为

Question

以下代码使用g 7.3.0成功编译，但使用clang 6.0.0编译失败（编译标志为：编译标志为：c 17-Wall-Wextra-Werror-pedantic errors）：

auto foo = [](auto, auto... tail) {
    if constexpr (sizeof...(tail) > 0)
    {
        return foo(tail...);
    }
    else
    {
        return 42;
    }
};

int main()
{
}

clang编译错误消息：

错误：以推导类型“Auto”声明的变量“foo”不能出现在它自己的初始化程序中

return foo(tail...);

在这种情况下，什么行为符合标准？

Answer 1

根据【dcl.spec.auto】/10，自C 17起，Clang有权拒绝此要求。

如果需要具有未减少占位符类型的实体的类型来确定表达式的类型，则程序格式错误。

解析递归调用需要foo的类型（查找操作符（）等）。需要确定闭合类型。因为这里推导的是闭包类型。。。你看它去哪里了。

GCC可能会证明绕过它并非总是不可能的，但一般来说，标准禁止这样做。