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 变成一个 bool 值变量模板。

---

与此无关，另一种清除特征的方法是去掉 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() { /* ... */ }