问题提出：有一个模板函数，函数在处理int型和double型时需要进行特殊的处理，那么怎么在编译期知道传入的参数的数据类型是int型还是double型呢？

如：

#include 
  
   
template
   
     void typeCheck(TYPE data) { //do something check data type //std::cout<< out put the type }
   
  

这里就需要用到C++11的type_traits头文件了，type_traits头文件定义了很多类型检查相关的方法，上面的例子具体用到了其中两个结构：

std::is_same 判断类型是否一致

位于头文件 中

这个结构体作用很简单，就是两个一样的类型会返回true

bool isInt = std::is_same
  
   ::value; //为true
  

下面是官方的例子：

#include 
  
   
#include 
   
     #include 
    
      void print_separator() { std::cout << "-----\n"; } int main() { std::cout << std::boolalpha; std::cout << std::is_same
     
      ::value << '\n'; // true std::cout << std::is_same
      
       ::value << '\n'; // false std::cout << std::is_same
       
        ::value << '\n'; // false print_separator(); std::cout << std::is_same
        
         ::value << "\n"; // true std::cout << std::is_same
         
          ::value << "\n"; // false std::cout << std::is_same
          
           ::value << "\n"; // true print_separator(); // unlike other types 'char' is not 'unsigned' and not 'signed' std::cout << std::is_same
           
            ::value << "\n"; // true std::cout << std::is_same
            
             ::value << "\n"; // false std::cout << std::is_same
             
              ::value << "\n"; // false }
             
            
           
          
         
        
       
      
     
    
   
  

通过std::is_same即可判断两个类型是否一样，特别在模板里面，在不清楚模板的参数时，此功能可以对一些特定的参数类型进行特殊的处理。

这里说个题外话，大家是否通过std::is_same发现，char既不是unsigned char也不是signed char，char就是char，这和int是signed int的缩写是不一样的，char的表达范围可能等同于signed char，也可能等同于unsigned char，取决于编译器，一般是等同于signed char，但这个仅仅是范围等同，就像32位上int和long范围是一样的，但不是同一个类型。

因为用途不同，char用于表达字符，理论上不应该关心其正负的实现，而signed char 和 unsigned char 用于表达数值，或可移植的char。

回到正文，std::is_same可以判断两种类似是否一样，那么用在模板里就是利器了，本位一开始提到的那个问题就可以这样写：

#include 
  
   
template
   
     typeCheck(TYPE data) { if(std::is_same
    
     ::value) { std::cout<<"int type"; //do something int } else { //......... } }
    
   
  

视乎很美好，再看一个示例：

// is_same example
#include 
  
   
#include 
   
     #include 
    
      typedef int integer_type; struct A { int x,y; }; struct B { int x,y; }; typedef A C; int main() { std::cout << std::boolalpha; std::cout << "is_same:" << std::endl; std::cout << "int, const int: " << std::is_same
     
      ::value << std::endl;//false std::cout << "int, int&: " << std::is_same
      
       ::value << std::endl;//false std::cout << "int, const int&: " << std::is_same
       
        ::value << std::endl;//false std::cout << "int, integer_type: " << std::is_same
        
         ::value << std::endl;//true std::cout << "A, B: " << std::is_same
         
          ::value << std::endl;//false std::cout << "A, C: " << std::is_same
          
           ::value << std::endl;//true std::cout << "signed char, std::int8_t: " << std::is_same
           
            ::value << std::endl;//true return 0; }
           
          
         
        
       
      
     
    
   
  

输出：

is_same:
int, const int: false
int, int&: false
int, const int&: false
int, integer_type: true
A, B: false
A, C: true
signed char, std::int8_t: true

发现std::is_same的判断是很严格的
但是有时候在编辑模板的时候又发现用std::is_same的判断太过严格，还是之前的例子：