时间戳

首页 > 解决方案 > 为什么在没有 typname 关键字的情况下使用模板参数的类型成员作为函数的返回类型，但在其他地方却不起作用？

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

问题描述

正如我们所知，我们必须typename在使用模板类型参数的类型成员之前进行 perpend，因为没有它，编译器不知道我们是在访问类型成员还是使用静态数据成员，因为类模板的定义不是还存在（实例化）

   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，但将其用作返回类型却没有抱怨？有人可以解释为什么吗？

标签： c++templatestypenametype-members

解决方案

您可能正在 C++20 模式下编译。带有 typename的Down！paper 允许typename在某些情况下省略。这些上下文之一是当类型名称是“简单声明的decl -specifier-seq的decl-specifier或命名空间范围内的函数定义”时。在函数定义的情况下，（我假设）在命名空间范围内，decl-specifier-seq是，由单个decl-specifier组成，因此允许这个decl-specifier省略。此外，如果在类范围内定义，它将被成员声明所涵盖get_sumC_::value_typetypenameget_sum要点，因此typename在这种情况下也不需要。

typename在大多数块范围声明中仍然需要，因为对于这些声明，从属名称可能引用非类型；编译器假定它们是非类型，可能会导致错误，除非typename使用。

推荐阅读