小编Kie*_*iel的帖子

我想为不同种类的数字(整数,浮点)创建验证器,例如:

typename number_validator<T>::type validator;

我在stdie is_integral和is_floating_point.中发现了有用的特征.我如何使用这些特征来专门化模板number_validator(它是a 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;
};

这是我编写的用于学习C++的简单模板编程:

#include <type_traits>
#include <iostream>

using namespace std;

template<typename T>
T foo(T t, true_type)
{
    cout << t << " is integral! ";
    return 2 * t;
}


template<typename T>
T foo(T t, false_type)
{
    cout << t << " ain't integral! ";
    return -1 * (int)t;
}

template<typename T>
T do_foo(T t){
    return foo(t, is_integral<T>());
}

int main()
{
    cout << do_foo<int>(3) << endl;
    cout << do_foo<float>(2.5) << endl;
}

它没有任何想象力,但它确实编译和工作.

我想知道该部分是如何is_integral<T>()工作的？

我正在读这个:http://en.cppreference.com/w/cpp/types/is_integral我找不到这种行为的具体描述 …