模板类型是否有等同于 "typename" 的东西？

Question

我们有一个模板成员函数的形式：

template <template <class> class TT>
TT<some_type> foo() const;

现在，在从依赖名称明确指定 TT 的调用上下文中：

template <class T_other>
void bar()
{
    instance.foo<T_other::template_type>();
}

Visual Studio 能够编译调用。 GCC 抱怨：

error: dependent-name ‘SomeConcreteType::template_type’ is parsed as a non-type, but instantiation yields a type.

并建议说 typename SomeConcreteType::template_type。这不起作用，因为 SomeConcreteType::template_type 是模板类型，而不是普通类型。

• 这里有可以使用的关键字吗？
• 让三大编译器接受的另一种方法？

---

编辑：现在有一个 Godbolt 最小示例 https://godbolt.org/z/hvbb6jv9W

Answer 1

使用 template 而不是 typename。并且，请注意，虽然 typename 会在 之前 而 ::，template 会在 之后 .

template<class T_other>
void bar() {
    instance.foo<T_other::template template_type>();
}

Complete example.