特定位置的C++模板别名(使用)

Question

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) {

谢谢.

Answer 1

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() { /* ... */ }