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

只需重新排序参数，然后有条件地执行：

// 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);

但是，我不得不承认......我真的看不出它的用途 - 你可以直接转换结果，或者隐式转换它......long double x = dot(v1, v2);