具有相同类型参数的类型安全可变参数函数

时间:2012-03-23 17:14:49

标签: c++ templates c++11

我想使用C ++ 11中引入的类型安全的可变参数函数,但不是使用不同的类型。 一个例子:

template<typename T>
T maxv(T first, T second) {
  return first > second ? first : second; 
}

template<typename T, typename ... Rest>
T maxv(T first, T second, T ... rest) {
  return maxv(first, maxv(second, rest));
}

所有参数的类型都是相同的,因此可以编写类似的东西:

struct Point { int x,y; };  

template<>
Point maxv(Point first, Point second) {
  return first.x > second.x ? first : second; 
}  

maxv({1, 2}, {3, 4});         // no problem    
maxv({1, 2}, {3, 4}, {5, 6}); // compile error

它在mingw g ++ 4.5中编译了这个错误:

error: no matching function for call to 'maxv(<brace-enclosed initializer list>, <brace-enclosed initializer list>, <brace-enclosed initializer list>)'

因为他不知道{5, 6}属于Point类型。解决方案是什么?

1 个答案:

答案 0 :(得分:10)

解决方案使用可变参数模板!与函数模板一起使用时,它们旨在推断出参数的类型。这不是你想要做的:你希望参数采用预期的类型。

我没有很多实际操作经验但你想要使用初始化列表:

Point maxv(std::initializer_list<Point> list) {
    ...
}

你可能会抱怨你不能在任意类型中使用它,但是你需要意识到你需要告诉某个地方涉及什么类型。 ......虽然您需要指定参数类型,但它可以成为模板。