область действия — псевдоним шаблона C ++ (использование) в определенных местах
Мне нужно использовать псевдонимы типа через using (или любой другой метод) в таких ситуациях:
template <class T>
typename std::enable_if< /*HERE*/>::value
f (...) {};
Где я написал HERE есть длинные и более одного типа, определенные внутри структур, и вместо записи typename <very long templated struct dependent on T>::type Я хочу написать ярлык.
И я сталкивался с этим в других ситуациях, таких как специализация шаблона и синтаксис возвращаемого суффикса.
Так есть ли способ использования using (без каламбура) в местах между первой строкой template <...> а структура / класс или функция?
Я пытался использовать , (запятая) что-то вроде (using X = ... , /*actually using X*/) безуспешно.
То, что сработало, было глобальной областью действия using
template <class Iterator>
using DT = typename DereferenceType<Iterator>::type&;
но я не хочу глобальную область, я хочу, чтобы область была только для шаблона, который я использую. И я не хочу писать DT<Iterator>, просто DT,
Излишне говорить, что о макросах или каких-либо директивах препроцессора не может быть и речи.
Пример из реальной жизни:
template <class Iterator, class GetCompValue, class SortOrder = Ascending>
typename std::enable_if<
IsDereferenceable<Iterator>::value &&
IsCallableLike<GetCompValue,
typename DereferenceType<Iterator>::type&(
typename DereferenceType<Iterator>::type&)>::value &&
IsSortOrder<SortOrder>::value, void>::type
RadixSortLSDByteOffsetIter(Iterator first, Iterator last,
GetCompValue get_comp_value, SortOrder = kAscending) {
Здесь я хочу ярлык для typename DereferenceType<Iterator>::type& что-то вроде:
template <class Iterator, class GetCompValue, class SortOrder = Ascending>
// using DT = typename DereferenceType<Iterator>::type&;
typename std::enable_if<
IsDereferenceable<Iterator>::value &&
IsCallableLike<GetCompValue, DT(DT)>::value &&
IsSortOrder<SortOrder>::value, void>::type
RadixSortLSDByteOffsetIter(Iterator first, Iterator last,
GetCompValue get_comp_value, SortOrder = kAscending) {
Спасибо.
Решение
C ++ 14 решит вашу проблему, представив шаблоны переменных:
template <typename T>
T one_half = T(1) / T(2);
template <typename A, typename B>
bool is_base_of_v = std::is_base_of<A, B>::value;
Использование:
std::cout << one_half<double> << "\n" << is_base_of_v<Foo, Bar> << "\n";
Таким образом, вы сможете сделать свой HERE в шаблон логической переменной.
Безотносительно, другой способ очистить ваши черты — это избавиться от typename ...::type, вот так:
template <typename C, typename T = void>
using enable_if_t = typename std::enable_if<C, T>::type;
Теперь вы можете использовать:
template <typename T> enable_if_t<my_condition<T>> f() { /* ... */ }
Другие решения
Почему бы вам просто не использовать псевдонимы, определяя новые типы?
struct alias : long-long-typename {}