7

在这种情况下，我需要通过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) {

谢谢你。

4

2 回答 2

6

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() { /* ... */ }
于 2013-12-27T12:39:13.630 回答
0

为什么不通过定义新类型来别名？

struct alias : long-long-typename {}
于 2013-12-27T12:36:47.310 回答