整数/实数类型的模板结构特化

Question

我想为不同类型的数字（整数、浮点数）创建验证器，例如：

typename number_validator<T>::type validator;

我在std 即is_integral 和is_floating_point 中发现了有用的特征。如何使用这些特征来专门化模板 number_validator（它是 struct）？

编辑： 我正在寻找这样的东西：

template<typename T, typename Enabled>
struct number_validator {};

template<typename T>
struct number_validator<T, typename enable_if<is_floating_point<T>::value, T>::type> 
//this doesn't work..
{
    typedef floating_point_validator type;
};

Answer 1

这可能是您正在寻找的，即标签调度：

template<typename T, bool = is_integral<T>::value>
struct number_validator {};

template<typename T>
struct number_validator<T, true> 
{
    typedef integral_validator type;
};

template<typename T>
struct number_validator<T, false> 
{
    typedef floating_point_validator type;
};

这假设您真的对数字进行操作，因此类型始终是整数或浮点数。

Answer 2

你可以用整数做到这一点：

template <typename T, bool isIntegral = std::is_integral<T>::value>
struct number_validator
{
   typedef WhatEverType type;
};

template <typename T>
struct number_validator<T, true>
{
    typedef WhatEverTypeInt type;
};

如果是整数会选择第二个特化，但是如果是浮点数或者其他类型我不知道怎么办。

Answer 3

在这种情况下，您甚至不需要这些，实际上您可以像这样专门化模板。

template <typename T>
struct number_validator;
template <>
struct number_validator<float>;

template <>
struct number_validator<int>;

template <>
struct number_validator<double>;

这将专门针对每种类型的数字验证器，这要求您列出所有整数和浮点类型。你也可以这样做：

#include <type_traits>
#include <iostream>
template<class T>
typename std::enable_if<std::is_floating_point<T>::value,T>::type func(T t) { 
    std::cout << "You got a floating point" << std::endl;
    return t;
}

template<class T>
typename std::enable_if<std::is_integral<T>::value,T>::type func(T t) { 
    std::cout << "You got an Integral" <<std::endl;
    return t;
}

int main() {
    float f = func(1.0);
    int a = func(2);
}