Частичный typedef (`использование`) шаблонной функции

Question

Пытаясь реализовать функцию точечного произведения с использованием шаблонов, я написал следующую шаблонную функцию.

template <typename T, typename R = float, 
    typename = 
    std::enable_if_t<std::is_arithmetic<decltype(std::declval<T>().x)>{}>, 
    typename = 
    std::enable_if_t<std::is_arithmetic<decltype(std::declval<T>().y)>{}>> 
constexpr R dot(const T a_vector, const T b_vector) 
{ 
    return a_vector.x * b_vector.x + a_vector.y * b_vector.y; 
} 

Я хочу, чтобы мои пользователи также легко использовать функцию dot возвращает double вместо значения по умолчанию float. Вот почему я использую using для «typedef» dot().

template<typename T, typename R, typename ... > 
using dotd = dot<T, double>; 

Этот код дает

• в г ++ error: ‘dot<T, float>’ does not name a type
• в звоном ++ error: expected a type и error: expected ';' after alias declaration

Есть ли у меня возможность использовать в alternat ive для функций?

Answer 1

Вы можете просто перевернуть порядок аргументов шаблона. Если вы размещаете R первый, это легко для пользователя, чтобы просто указать другой тип для него, если это то, что они хотят:

template < 
    typename R = float, 
    typename T, 
    typename = 
    std::enable_if_t<std::is_arithmetic<decltype(std::declval<T>().x)>{}>, 
    typename = 
    std::enable_if_t<std::is_arithmetic<decltype(std::declval<T>().y)>{}>> 
constexpr R dot(const T a_vector, const T b_vector) 
{ 
    return a_vector.x * b_vector.x + a_vector.y * b_vector.y; 
} 

dot(a, b) А потом дает вам float против dot<double>(a, b) дает вам double. Я нахожу dot<double> намного понятнее, чем искать то, что означает dotd.

Хотя, если вы используете C++ 14, лучше просто полностью отбросить аргумент шаблона R и вернуть auto.

Answer 2

Ответ очень прост:

template <class T1, class T2> void foo(); 

template <class T1, class T2> struct FooHelper { 
    static constexpr auto foo = &foo<T1, T2>; 
}; 

template <class T> 
auto food = FooHelper<T, float>::foo; 

void g() { 
    food<float>(); 
}