模板类型是否有“typename”的等价物？

如何解决模板类型是否有“typename”的等价物？

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

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 能够编译调用。海湾合作委员会抱怨：

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

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

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

---

编辑：现在使用 Godbolt 最小示例 https://godbolt.org/z/hvbb6jv9W

解决方法

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

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

Complete example。