模板、类型名、lambda ->从属名称不从属？

Question

考虑：

template < typename Something >
boost::function<void()> f()
{
  typedef typename Something::what type;
  return [](){};
}

在此代码中，您需要类型名称，因为“what”是从属名称。但请考虑一下：

template < typename Something >
boost::function<void()> f()
{
  return []()
  { 
    typedef typename Something::what type;
  };
}

编译器婊子：“typename 不能在模板声明之外使用”

WTF？

这是有效的：

template < typename Something >
boost::function<void()> f()
{
  return []()
  { 
    typedef Something::what type;
  };
}

创建 lambda 意味着“什么”不再是依赖名称，这是怎么回事？或者这只是一个错误？

呵呵……更正。后者不起作用。它说“某物”不存在。这个修改后的版本确实可以工作，但仍然不直观地不需要也不会接受“typename”。

template < typename T > struct wtf { typedef typename T::what type; };

template < typename Something >
boost::function<void()> f()
{
  return []() { typedef wtf<Something>::type type; };
}

当然，现在我有两个问题：原来的，WTF 除非用作模板参数，否则它不会找到“某物”吗？

Answer 1

这是一个非常有趣的问题。根据我的理解，根据 N3225 5.1.2/7 第一个“WTF”（lambda 主体中带有 typename 的）应该是正确的：

lambda 表达式 的复合语句 生成函数调用运算符的函数体，
但是为了名称查找的目的，确定其类型和值并转换id-表达式
使用 (*this) 将非静态类成员引用到类成员访问表达式中，
复合语句在lambda表达式的上下文中考虑。

由于 Something 是 lambda 表达式上下文中的依赖名称，因此根据此引用，它也应该是 lambda 函数体上下文中的依赖名称。

Answer 2

这是因为 lambda 实际上是编译器定义的类，它不共享外部函数的模板参数，lambda 类型是在实例化模板时定义的，因此模板参数不再依赖于 typename< /code> 不需要。