C++の宣言型式の控除

Question

私はC++で単純な数式を作成しようとしています。私はコンパイル時に計算するεを持つカスタム浮動小数点型を使いたい。ですから、タイプ控除操作を作成する必要があります。 そしてそこには、私は、このコードに問題がある：

namespace Math {  
namespace Internal { 
    template<typename typeT> 
    struct type_value { 
     static typeT value_; 
    }; 


template<typename type1T, typename type2T, size_t length> 
struct dot_product_type_deducator { 
    using value_type = 
    decltype(
     (type_value<dot_product_type_deducator<type1T, type2T, length - 1>>::value_) 
     + (type_value<dot_product_type_deducator<type1T, type2T, 1>>::value_)); 
}; 

template<typename type1T, typename type2T> 
struct dot_product_type_deducator<type1T, type2T, 1> { 
    using value_type = decltype(type_value<type1T>::value_ * type_value<type2T>::value_); 
}; 
} 

template<typename type1T, typename type2T, size_t length> 
static auto dot(const Vector<type1T, length> &vector1, 
       const Vector<type2T, length> &vector2) { 
    return std::inner_product(vector1.begin(), vector1.end(), vector2.begin(), 
     static_cast<typename Internal::dot_product_type_deducator<type1T, type2T, length>::value_type>(0)); 
} 

} 

私が書くとき：

dot(Vector<int, 3>{1, 2, 3}, Vector<float, 3>{2, 3, 4}) 

MSVCは言う：

error C2676: binary '+': Math::Internal::dot_product_type_deducator<type1T,type2T,1>' does not define this operator or a conversion to a type acceptable to the predefined operator 
1>   with 
1>   [ 
1>    type1T=int, 
1>    type2T=float 
1>   ] 

そして、さらに2つの同じエラー。

回答：

私はちょうどdot_product_type_deducator::value_typeを書くのを忘れていました。

Answer 1

あなたはこの

using value_type = 
    decltype(
     (type_value<dot_product_type_deducator<type1T, type2T, length - 1>>::value_) 
     + (type_value<dot_product_type_deducator<type1T, type2T, 1>>::value_)); 

を行うとあなたが指定したタイプであることをvalue_typeを設定しています。今度はtype_value<...>::valueはstd::declvalとよく似ています。つまり、value_typeはoperator+でdot_product_type_deducatorという結果になります。しかし、我々は明らかにdot_product_type_deducator構造体を見ることができ、operator+が定義されていないことがわかります。したがって、エラーです。

これらの構造体を使って正確に何をしようとしているのかわかりませんが、コードをコンパイルする場合はoperator+をdot_product_type_deducatorに定義する必要があります。