多参数模板函数和重载歧义错误

Question

可以说，我正在写一个某种类型转换操作符的，我想用它这样：

SomeType a; 
AnotherType b = conv<AnotherType>(a); 

首先，我写的底座（默认）功能：

template <typename T, typename U> 
inline T conv(const U& a) 
{ 
    return T(a); 
} 

完全专业化（或非模板超载）是没有问题的，但是，当我想要做这样的事情：

template <typename T> 
inline Point<T> conv(const Ipoint& p) 
{ 
    return Point<T>(p.x, p.y); 
} 

我不能写入从IPOINT由于歧义任何更多的转换函数（给FunkyPoint < T>例如），并且我结束了一个笨拙用法：

Ipoint a; 
Point<double> b = conv<double>(a); //ugly! 
//Point<double> b = conv<Point<double> >(a); //I want that, but it (obviously) does not compile. 

有没有这样做的任何方式很好吗？

Answer 1

在类模板实现身体，那么你就可以部分地专注：

 
template < typename T, typename U > 
struct convert 
{ 
    static T apply(U const& u) { return T(u); } 
};
 

template < typename T, typename U > T conv(U const& u) { return convert<T,U>::apply(u); }
 

template < typename T > struct convert<Point<T>, Ipoint> { static Point apply(Ipoint const& u) { return Point(u.x, u.y); } }; 

应该工作，但未经测试。