C++テンプレート演算子のオーバーロードで自動コンストラクタコール？

Question

私は私のヘッダファイルに次のようにしている。

template<typename T> 
class rational { 
private: 
    T num; 
    T denom; 
    T gcd(T x, T y); 

public: 
    rational(T num, T denom); 
    rational(T wholeNumber); 

    template<typename U> 
    friend inline rational<U> operator *(const rational<U> &lhs, const rational<U> &rhs); 
} 

template<typename T> 
rational<T>::rational(T whole) { 
    this->num = whole; 
    this->denom = 1; 
} 

template<typename T> 
rational<T> operator *(const rational<T> &lhs, const rational<T> &rhs) { 
    return rational<T>(lhs.num * rhs.num, lhs.denom * rhs.denom); 
} 

そして、私のメインの中で次のよう

rational<int> x(6), y(2); 
rational<int> product = y * x; // this works 
rational<int> product2 = 2 * x; // this doesn't 

最初の製品は動作しますが、二番目は私に「エラー与える： 'の不一致を演算子* 'in' 2 * x '"となります。どうして？引数として2だけを取るコンストラクタがあるので、自動的に呼び出されるべきではありませんか？もしそうでなければ、私はこれらの両方の作業をするためにオペレータをどのように過負荷にするでしょうか？

ありがとうございました。

Answer 1

コンパイラが合理的に生産するために、2に暗黙的に単一引数のコンストラクタを呼び出すことはありませんなぜ私はわからないんだけど、私の推測では、テンプレートが含まれる場合、推論機構は単に壊れているということです。

つの回避策（誰が暗黙のコンストラクタの問題を修正する方法を知っていない場合）ので、のような追加の乗算演算子を定義することです：

template<typename T> 
rational<T> operator *(const T &lhs, const rational<T> &rhs) { 
    return rational<T>(lhs * rhs.num, rhs.denom); 
} 
template<typename T> 
rational<T> operator *(const rational<T> &lhs, const T &rhs) { 
    return rational<T>(lhs.num * rhs, lhs.denom); 
} 

あなたは、高性能のコードを書いている場合、これはまた、パフォーマンスが向上しますどこかの内側のループで有理数を使う。

Answer 2

2 * x; 

は

int::operator*(const rantional<int>&) 

2、の呼び出しに類推相当intであり、それはoperator *がconst rational<int>&のためにオーバーロードされていないです。したがって、コンパイラエラーが発生します。

rational<int> product2 = rational<int>(2) * x; // ok