使用两个类型和一个模板定义

Question

是否可以使用两个不同的类型，一个是另一个的子类型，一个模板定义?

类似:

template<typename T>
void foo(T a, T::bar b);

Answer 1

您需要再使用一次typename

template <typename T>
void foo(T a, typename T::bar b);

因为bar是一个"依赖类型";T。