c++ - 多参数模板函数、重载和歧义错误

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); }
};<p></p>

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

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

应该可以，但未经测试。