c++ - テンプレート パラメーター リストで前の暗黙的なテンプレート パラメーターをスキップしますが、後ではスキップしません

Question

ただ興味があるだけ：

次のサンプルでは、​​ の代わりに何を意味するかを示してい/*implicit*/ます。空白のままにする回避策はありますか？ご覧のとおり、typename T を最初にすることはできません。

template<typename C1, typename C2, typename T = decltype(typename C1::value_type() * typename C2::value_type())>
T dot(const C1 &v1, const C2 &v2);

int main()
{
    std::vector<float> vec1;
    std::vector<double> vec2;
    // typical:
    auto result1 = dot(vec1, vec2); // auto -> double
    // avoid numerical unstable situations:
    auto result2 = dot</*implicit*/,/*implicit*/,long double>(vec1, vec2); // auto -> long double
    //auto result2 = dot<decltype(vec1),decltype(vec2),long double>(vec1, vec2);
}

最後の行で、超肥大化しないソリューションを提供します。

Answer 1

Just reorder the parameters, and go conditional:

// short notation for `std::declval<typename C::value_type&>()`
template<class C>
typename C::value_type& value_in();

// if T == void, find actual result type, else use T
template<class T, class C1, class C2>
using DotResult = typename std::conditional<std::is_void<T>::value,
    decltype(value_in<C1>() * value_in<C2>()), T>::type;

// void can't be a valid value_type
template<class T = void, class C1, class C2>
DotResult<T,C1,C2> dot(C1 const& c1, C2 const& c2);

However, I have to admit... I really don't see the use for it - you could just cast the result instead, or implicitly convert it... long double x = dot(v1, v2);