模版如何静态判断子类型

[Xcoder]

用模版，但对一些不同类型数据，还是要用完全不同的算法。比如整数和浮点数的舍入误差。
希望模版能在编译时确定根据参数类型，选择完全不同的算法。
示例的代码如下：

template<typename T>
T fn(T t){
#if T is integer type
...
#else if T is float type
...
#endif
}
注意这里 integer， float 是子类型，integer可以是int, unsigned int , short, char... 等
而且希望是编译期就判断的。
这种情况如何写能最简洁高效？

[OOPhaisky]

template<typename T>
T fn(T t){
#if T is integer type
...
#else if T is float type
...
#endif
}
-------------------------------------------------------------------
如果是函数模版，利用重载；类模版，利用偏特化。

[OOPhaisky]

akirya(坏[其实偶不是什么所谓的坏人]) 的方法

用函数重载
template<typename T>
T fn(T t){
一般算法
}
int fn(int t)
{整形算法
}

float fn(float t)
{浮点数算法
}
---------------------------------------------------------------------------------
这个方法可以，这里利用的原理是：普通函数的优先级高于函数模板。

[xlightx]

effective c++

[cunsh]

#include "iostream"
#include "Loki\TypeTraits.h"
#include "Loki\static_check.h"
using namespace std;
using namespace Loki;

template <typename T>
T fn(T x) {
// 编译期检查是不是整数或浮点数. 如果T是其它类型则编译时报告错误.
LOKI_STATIC_CHECK(TypeTraits<T>::isIntegral || TypeTraits<T>::isFloat , leixingbudui);
//根据是不是整数类型选择一个函数调用
return fn1(x, Int2Type<TypeTraits<T>::isIntegral>());
}

template <typename T>
T fn1(T x, Int2Type<true>){
cout << "整数类型" << endl;
return x;
}

template <typename T>
T fn1(T x, Int2Type<false>){
cout << "浮点数类型" << endl;
return x;
}

int main(){
fn( 2 );
fn('a');
fn(0.2);

cin.get();
return 0;
}


输出:
整数类型
整数类型
浮点数类型

[珍惜生命远离CPP]

用函数重载
template<typename T>
T fn(T t){
一般算法
}
int fn(int t)
{整形算法
}

float fn(float t)
{浮点数算法
}

[飞哥]

typeof

[飞哥]

能在编译期判断的东西可不多
----

[cunsh]

Loki库中有这个.你<<c++设计新思维>>第2章和第3章看下.这个是用typelist弄的

[pongba]

try boost::enable_if

[仰望星空WU]

study

[珍惜生命远离CPP]

struct en_able{};
struct dis_able{};

template<class T>
struct Integer
{
typedef dis_able type;
};
#define TYPE_DEF(x) template<>struct Integer<x>{typedef en_able type;};

TYPE_DEF(int);
TYPE_DEF(unsigned int);
。。。。需要的整形
TYPE_DEF(char);

void func( en_able )
{
printf("enable\n");
}

void func(dis_able)
{
printf("dis_able\n");
}
int main()
{
func( Integer<char>::type() );
}