调用class模板的成员函数模板

Question

我有以下程序（抱歉，它相当复杂，但已经是一个较大程序的精简版）：

#include <stdio.h>

// two different vector types

template <typename T, int N>
struct Vec1
{
  Vec1() { puts("Vec1()"); }
};

template <typename T, int N>
struct Vec2
{
  Vec2() { puts("Vec2()"); }
};

// a function wrapper

template <typename T, int N>
struct MyFct
{
  template <template <typename, int> class VEC>
  static inline VEC<T,N>
  apply()
  {
    puts("MyFct::apply()");
    return VEC<T,N>();
  }
};

// tester

#if 0
template <typename T, int N, template <typename, int> class FCT>
struct Tester
{
  static inline void test()
  {
    puts("Tester::test");
    Vec1<T,N> v1;
    v1 = FCT<T,N>::apply<Vec1>();
    Vec2<T,N> v2; 
    v2 = FCT<T,N>::apply<Vec2>();
  }
};
#endif

int
main()
{
  MyFct<float,16>::apply<Vec1>();
  MyFct<int,32>::apply<Vec2>();
  // Tester<float,16,MyFct>::test();
  return 0;
}

程序使用 #if 0（没有 Tester）编译，但是使用 #if 1（使用 Tester）我得到错误消息

g++ -Wall -o templatetemplate2a templatetemplate2a.C
templatetemplate2a.C: In static member function 'static void Tester<T, N, FCT>::test()':
templatetemplate2a.C:41:30: error: missing template arguments before '>' token
     v1 = FCT<T,N>::apply<Vec1>();
                              ^
templatetemplate2a.C:41:32: error: expected primary-expression before ')' token
     v1 = FCT<T,N>::apply<Vec1>();
                                ^
templatetemplate2a.C:43:30: error: missing template arguments before '>' token
     v2 = FCT<T,N>::apply<Vec2>();
                              ^
templatetemplate2a.C:43:32: error: expected primary-expression before ')' token
     v2 = FCT<T,N>::apply<Vec2>();

这令人惊讶，因为 apply<Vec1>() 和 apply<Vec2>() 的 direct 应用程序（参见 main()）工作正常。但是，如果我在 Tester::test() 中执行相同操作，则会收到错误消息。这是一些名称范围问题吗？模板类 Vec1 和 Vec2 是否在 Tester 中未知？我怎样才能让他们知道？还是有其他问题？

Answer 1

apply()是一个成员函数模板，当用依赖名调用它时，需要用keyword template告诉编译器它是一个模板。注意FCT<T,N>和MyFct<float,16>的区别，前者依赖模板参数FCT、T和N，而后者则不依赖[=19] =]

Inside a template definition, template can be used to declare that a dependent name is a template.

例如

v1 = FCT<T,N>::template apply<Vec1>();
v2 = FCT<T,N>::template apply<Vec2>();

调用class模板的成员函数模板

Calling member function template of class template

c++

templates

function-templates