変換可能なタイプのペア/タプルへの型変換を拡張する

Question

pair<double>,pair<float>,pair<int>のような2次元のポイント型を扱う必要があります。変換が存在する場合はいつでもポイント間の暗黙的な変換を許可したいと思いますそれらの座標。このような何かを：

template< class From, class To > 
inline operator pair< To, To > (pair< From, From > that) 
{ 
    return make_pair(static_cast<To>(that.first), 
        static_cast<To>(that.second)); 
} 

残念ながら、g++オブジェクト：

convert.cpp：5：エラー： '演算子のはstd ::ペア（STD ::ペア）は、' 非静的メンバ関数

でなければなりません

pairのラッパークラスを定義する上記のw/outを行うことは可能ですか？

Answer 1

未知の型に暗黙的に変換することはできません。変換演算子は静的でないメンバ関数でなければなりませんが、それでもクラスをラップする必要があります。未知の型（テンプレート化されたコンストラクタとも呼ばれる）から変換コンストラクタを記述します。

あなたはそれフリー機能したくない理由：その後、

template<typename To, typename From> 
std::pair<To, To> convert(const std::pair<From, From>& p){ 
    return std::make_pair(static_cast<To>(p.first), 
       static_cast<To>(p.second)); 
} 

など、それを呼び出す：

std::pair<float, float> mp{3.424, 59.35}; 
auto p2 = convert<double>(mp); 

それができるようちょうど約として明らかです。参照してください。それLive on Coliru

EDIT
（OPさんのコメントを1として）：

template<typename T> 
class Point{ 
public: 
    T x = T{}; 
    T y = T{}; 

    template<typename Y> 
    Point(Point<Y> p) : 
     x(static_cast<T>(p.x)), 
     y(static_cast<T>(p.y)) 
    { } 

    Point(T x_val, T y_val) : x(x_val), y(y_val) 
    { } 

    Point(Point&&) = default; 
    Point(const Point&) = default; 
    Point& operator = (Point&&) = default; 
    Point& operator = (const Point&) = default; 
}; 

doubleを使用してこの機能を考えてみましょう：

あなたはそういったことのための迅速なタイプを行うことができます型パラメータとしてPoint：

void print(Point<double> p){ 
    std::cout << "(" << p.x << ", " << p.y << ")\n"; 
} 

以下のステートメントは、すべてコンバーターコンストラクターのために機能します。

int main() { 
    Point<float> mp{4.535, 395.3}; 
    Point<int> ip = mp; 
    print(mp); 
    print(ip); 
    return 0; 
} 

あなたがあなた自身のペア宣言することがあり、それはLive on Coliru