C++ 什么时候用`.template` 和 `::template`

C++ 什么时候用.template 和 ::template

简单来说，就是你有一个未知类型T**（这个T本身就是模板）**
假设这个T是一个类，这个类里包含了一些模板函数或者模板结构体
你需要使用T. 或者 T:: 去调用他们，并且要显示指定模板参数
这个时候就需要用到.template 和 ::template

如果上面文字描述没懂？没关系，看示例就懂了

编译环境: gcc/g++ 13.2 -std=c++17

struct A {
  void Foo() { std::cout << __PRETTY_FUNCTION__ << std::endl; }

  template <typename T>
  void Foo() {
    std::cout << __PRETTY_FUNCTION__ << std::endl;
  }

  template <typename T>
  static void Goo() {
    std::cout << __PRETTY_FUNCTION__ << std::endl;
  }

  template <typename T>
  struct B {
    using type = T;
    void Foo() { std::cout << __PRETTY_FUNCTION__ << std::endl; }
    template <typename U>
    void Foo() {
      std::cout << __PRETTY_FUNCTION__ << std::endl;
    }
  };

  struct C {
    void Foo() { std::cout << __PRETTY_FUNCTION__ << std::endl; }
  };
};

template <typename T>
struct Test {
  void Fun(T t) {
    t.Foo();
    t.template Foo<int>();

    t.template Goo<int>();
    T::template Goo<int>();

    typename T::template B<int>::type a;
    typename T::template B<int>().Foo();
    typename T::template B<int>().template Foo<int>();

    typename T::C().Foo();
  }
};

int main() {
  A a;
  Test<A>().Fun(a);
}
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49

编译输出内容：

void A::Foo()
void A::Foo() [with T = int]
static void A::Goo() [with T = int]
static void A::Goo() [with T = int]
void A::B<T>::Foo() [with T = int]
void A::B<T>::Foo() [with U = int; T = int]
void A::C::Foo()
1
2
3
4
5
6
7