【问题标题】:"auto" variable used in lambda in its own initializerlambda 中在其自己的初始化程序中使用的“auto”变量
【发布时间】:2014-10-30 20:49:15
【问题描述】:

今天我找到了这段代码

#include <cstdio>

auto terminal = [](auto term)           
{                                       
    return [=] (auto func)             
    {                                   
        return terminal(func(term));
    };
};

令人惊讶的是,GCC accepts it。 Clang 拒绝它,因为它在自己的初始化程序中使用 terminal 并声明为 auto

我期待clang给出的错误,但它实际上是不正确的吗?还是必须接受代码?

【问题讨论】:

  • 这似乎是在利用多态 lambda,这是 C++14 中的一个特性。检查您的 gcc 版本和/或 Clang 版本是否支持多态 lambda。
  • @YoungJohn,如果 GCC 版本可以编译代码,它显然会这样做。我可以自信地说,Coliru 上的 Clang 版本既支持多态 lambda,又不编译代码。
  • @YoungJohn 感谢您的建议。我检查了 GCC,它支持多态 lambda(因为它接受并执行我的 sn-p)。叮当seems to support them too.
  • 所以 GCC 似乎只有在我将函数更改为在声明语句和 return 语句中实际调用 both 时才会抱怨(并在 main 中注释掉调用因为那时它不再兼容)。

标签: c++ lambda auto c++14


【解决方案1】:

认为这符合 §7.1.6.4 [dcl.spec.auto]/p11:

如果需要具有未推断占位符类型的实体类型 要确定表达式的类型,程序是非良构的。

您需要terminal 的类型来确定return terminal(func(term)); 中的id-expression terminal 的类型(已编辑,提示@Richard Smith),但此时此刻表达式你还不能推断出terminal的类型。

【讨论】:

  • apply-operator的返回类型是依赖的,必须在实例化时确定。
  • 你需要terminal的类型来判断id-expression terminal的类型,所以程序是病态的。
  • 谢谢。总结一下:规范目前尚不清楚 terminal 对 auto 变量的引用是否必须在定义成员模板 operator() 时被拒绝或在其实例化时被接受(此时变量不再是 @ 987654330@)。根据@RichardSmith 对 std-discussion 的回复,这种情况由open-std.org/jtc1/sc22/wg21/docs/cwg_active.html#1850 处理,这使得这个案例不正确
猜你喜欢
  • 2020-04-13
  • 1970-01-01
  • 2021-06-12
  • 1970-01-01
  • 1970-01-01
  • 1970-01-01
  • 1970-01-01
  • 1970-01-01
相关资源
最近更新 更多