c++ - 为什么使用模板参数的类型成员作为函数的返回类型可以在没有typname关键字的情况下工作，但在其他地方却不起作用？

Question

众所周知，在使用模板类型参数的类型成员之前，我们必须保留typename，因为没有它，编译器不知道我们是在访问类型成员还是使用静态数据成员，因为事实上，类模板的定义尚未存在(实例化)

   template <typename T>
   void foo()
   {
       T::type x{}; // error: need a typename
       typename T::type y{}; // ok
   }

到这里为止都还可以，但是我发现了这个问题:

template <typename C_>
C_::value_type get_sum(C_ const& c) // no need to typename?!
{
    C_::value_type sum0{}; // errorL: need to typename keyword
    typename C_::value_type sum{};
    for(auto const& i : c)
        sum += i;
    return sum;
}

正如您在函数模板主体中看到的那样，编译器提示缺少关键字 typename 但将其用作返回类型它不会提示？有人能解释一下为什么吗？

Answer 1

您可能正在 C++20 模式下进行编译。 Down with typename! paper 允许在某些上下文中省略 typename。这些上下文之一是当类型名称是“简单声明的 decl-specifier-seq 的 decl-specifier 或函数定义在命名空间范围内”。对于 get_sum 函数定义(我假设)位于命名空间范围内，decl-specifier-seq 是 C_::value_type >，由单个decl-specifier组成，因此该decl-specifier可以省略typename。此外，如果 get_sum 是在类范围内定义的，则它将被 member-declaration 项目符号点覆盖，因此不需要 typename在这种情况下也是如此。

typename 在大多数 block 作用域声明中仍然是必需的，因为对于这些声明，依赖名称可能引用非类型；编译器假定它们是非类型，可能会导致错误，除非使用 typename。