テンプレートは、私は、次のテンプレートクラスを持っているオペレータ

Question

を比較しますタイプは全く異なります：

real case：

template <int size, typename LeftType, typename RightType> 
bool operator ==(const Matrix<size, LeftType> & left, const Matrix<size, RightType> & right) { 
    for (int i = 0; i < size; ++i) { 
     for (int j = 0; j < size; ++j) { 
      if (qFuzzyIsNull(left(i, j)) || qFuzzyIsNull(right(i, j))) { 
       if (!qFuzzyCompare(left(i, j) + 1, right(i, j) + 1)) { 
        return false; 
       } 
      } else { 
       if (!qFuzzyCompare(left(i, j), right(i, j))) { 
        return false; 
       } 
      } 
     } 
    } 
    return true; 
} 

integer caseを（私はQtのqFuzzyCompareとqFuzzyIsNullを使用しています）：

template <int size, typename LeftType, typename RightType> 
bool operator ==(const Matrix<size, LeftType> & left, const Matrix<size, RightType> & right) { 
    for (int i = 0; i < size; ++i) { 
     for (int j = 0; j < size; ++j) { 
      if (left(i, j) != right(i, j)) { 
       return false; 
      } 
     } 
    } 
    return true; 
} 

両方LeftTypeとRightType整数場合integer caseを有効にして、少なくとも一つのLeftTypeまたはRightTypeが本当であればreal caseを有効にする方法？

template <int size, typename LeftType, typename RightType> 
bool operator ==(const Matrix<size, LeftType> & left, const Matrix<size, RightType> & right) { 
    for (int i = 0; i < size; ++i) { 
     for (int j = 0; j < size; ++j) { 
      if (not is_equal(left(i,j), right(i,j)) { 
       return false; 
      } 
     } 
    } 
    return true; 
} 

、その後、あなたがis_equalのいくつかのオーバーロードされたバリアントを定義またはテンプレートをis_equal作り、それが

template<class T> 
bool is_equal(const T a, const T b); 

template<> 
bool is_equal<int>(const int a, const int b){ 
    return a == b; 
} 

template<> 
bool is_equal<real>(const real a, const real b){ 
    ... 
} 

（または2つ以上のテンプレートとしてのような特殊化、だ定義のいずれか：これについて

Answer 1

方法それが起こることがある場合はタイプしてください）

もちろん、演算子自体を専門にすることはできますが、同じコードを何も書かずにもう一度書く必要がありますあなたがそれを再利用するチャンス。一方、is_equalはあなたのプログラムで共通のツールになる可能性があります。

（注：これは明らかに、名前空間にする必要がありますのでis_equalは、やや基本的な名前です）！