为什么我收到错误“非模板'f'用作模板”

Question

我试图了解在哪里使用template和typename ，我遇到了一个我无法解决的问题。 我有一个模板函数f<T> ，它使用传递给它的类型（将是一个类）来调用template-member-function .f<T> 。 我认为我在函数体中使用typename是正确的，但是，我一直收到以下错误：

source.cpp：在函数'void f()' ：
source.cpp：11：19：错误：非模板'f'用作模板
source.cpp:11:19：注意：使用'typename T::C::template f'来表示它是一个模板

struct A {
  struct C {
     template <typename T> void f() {}
  };
};

template <typename T> void f() {

  typename T::C::f<int>();

}

int main() {

  f<A>();

}

注意如何在最后一个错误上建议使用'typename T::C::template f' 。 所以我按照以下方式做了以下更改：

// ...
typename T::C::template f<int>();
// ...

我按照说法做了，但后来收到了下一行错误：

错误： 'struct A::C'没有名为'f'类模板

我相信，这个错误是不正确的，有其实名为公共模板函数f在struct A::C 。 我在这里做错了什么？

Answer 1

假设我们使f static因此可以在没有实例的情况下调用它，因此您不需要使用typename因为您不会使用依赖类型创建任何歧义（即C不能是变量，因为您在:: just之后使用它）。 这是正确的语法：

struct A {
  struct C {
     template <typename T>
     static void f() {}
  };
};

template <typename T> void f() {
  T::C::template f<int>();
}

如果你不想让它静态，你可以创建一个A::C并使用.template f<int>() ：

struct A {
  struct C {
     template <typename T>
     static void f() {}
  };
};

template <typename T> void f() {
  typename T::C c;
//^^^^^^^^ Now we DO need typename to disambiguate.

  c.template f<int>();
}