C++ - 如何在函数声明中使用模板 typedef 解决方法？

Question

我想在各种地方使用模板化的 typedef，尤其是在声明自身模板化函数时。这是我目前的尝试

template<typename T>
struct type{ typedef std::vector<T> sometype; }

template<typename TT>
void someFunction( type<TT>::sometype& myArg );

(注意 std::vector<T> 只是一个例子)。这不起作用并给出编译器错误“'void someFunction'的模板声明”。我已经知道我需要放一个 typename在 type<TT> 前，即

template<typename TT>
void someFunction( typename type<TT>::sometype& myArg );

有效。但至少可以说，这个解决方案有点笨重。有其他选择吗？

Answer 1

不仅体积大，而且防止模板参数推导:

std::vector<int> a;
someFunction(a); // error, cannot deduce 'TT'
someFunction<int>(a);

替代方案(在 C++11 中)是模板别名:

template<typename T>
using sometype = std::vector<T>;

template<typename T>
void someFunction(sometype<T> &myArg );

std::vector<int> a;
someFunction(a);

您也可以使用宏，但宏永远不是正确答案。

#define sometype(T) std::vector<T>

template<typename T>
void someFunction( sometype(T) &myArg);

此外，我认为您对某种类型的定义在 C++11 之前是无效的。它不应该有那个类型名:

template<typename T>
struct type{ typedef std::vector<T> sometype; };

我认为 C++11 更改了规则以允许它，但一些 C++03 编译器未能正确诊断该问题。