C++判断、比较类型的几种方法

C++里有很多特性让我们可以判断一个变量或值是什么类型，比较两个类型是不是一样，或者比较两个变量是不是同一类型的。这对学习过程是很有用的。 

判断单个变量或值的类型 
由于数组和指针复杂性，很多初学者感到无所适从，面对一大堆的东西，不知道到底结果是什么。当然了，首先要知道它的类型。 

最简单、实用的方法：利用编译器。如果你故意将一个你不知道的东西，赋给一个毫不相干的变量，那么，编译器会绝对忠实地告诉你“XX类型不能转换成XXX类型”，这样，你就知道它的类型了。例如： 

int  main ()
  int  (*apa[10])[10];
  double  tmp;
  tmp = apa[0];
}
 

这在Dev-C++4.9.8.0（GCC3.2）中，编译后会报错“cannot convert `int (*)[10]' to `double' in assignment”。这样，你就知道apa[0]的类型是int(*)[10]了^__^ 

............................................................ 

第二种方法是利用重载。假设，你知道一个变量只能是某几种类型，那么可以把那几种情况都重载了，于是编译器会自动地选择合适的函数，这样也就区分开了，你就知道它是什么类型了。例如： 

#include <iostream>
#include <cstdlib>
using namespace  std;

void type (int)  { cout << "int"  << endl; }
void type (int*) { cout << "int*" << endl; }

int  main ()
{
  int  a[10];
  type (a+1);

  system ("Pause");
  return  0;
}
 

结果会输出“int*”。这个办法很不错。但是如果发生“意外”，它是意料之外的类型，那么你就没有办法了，编译会出错。这时就可以用第一种方法来查看了。 

............................................................ 

第三种方法是用template（模板）来实现。首先定义一个模板函数，对所有类型都说是“未知”类型，然后，再一个一个特化出可能的类型。 

#include <iostream>
#include <cstdlib>
using namespace  std;

template <typename  T>
void  type (T) {
  cout << "Unknown" << endl;
}

template <>
void  type <int> (int) {
  cout << "int" << endl;
}

template <>
void  type <int*> (int*) {
  cout << "int*" << endl;
}

int  main ()
{
  int  a[10];
  type (*a+1);
  
  system ("Pause");
  return  0;
}
 

使用template的好处是，对于意料之外的类型，可以输出“Unknown”来表示，不会编译通不过。而且，使用template可以进一步使用更“华丽”的技巧。 

............................................................ 

另外一种方法是typeinfo，这个我还不太熟悉。只简略说一下吧。 

#include <iostream>
#include <cstdlib>
#include <typeinfo>
using namespace  std;

int  main ()
{
  cout << "char:"          << typeid(char).name()          << endl;
  cout << "unsigned char:" << typeid(unsigned char).name() << endl;
  cout << "signed char:"   << typeid(signed char).name()   << endl;
  
  system ("Pause");
  return  0;
}
 

你能看到几个字符串，但是你不知道是什么意思。 

比较两种类型 
比较两种类型方法也不少，可以用template和typeinfo。 

用template的话，首先实现直接比较两种类型： 

template <typename  T, typename  U>
struct  SameType {
  static const  bool  isSame = false;
};

template <typename  T>
struct  SameType<T, T> {
  static const  bool  isSame = true;
};
 

使用要用两种类型，象这样： 

int  main ()
{
  cout << "unsigned and unsigned int is: "
       << SameType <unsigned, unsigned int>::isSame << endl;
  cout << "long and int is: "
       << SameType <long, int>::isSame << endl;
  
  system ("Pause");
  return  0;
}
 

............................................................ 

第二种可以比较变量或值，用函数封装来实现： 

template <typename  T, typename  U>
struct  SameType {
  static const  bool  isSame = false;
};

template <typename  T>
struct  SameType<T, T> {
  static const  bool  isSame = true;
};

template <typename  T, typename  U>
bool  isSameType (T, U) {
  return  SameType <T, U>::isSame;
}
 

使用时可以用两个变量，象这样： 

int  main ()
{
  int  a, b;
  long  c;
  cout << "int  a and int b:" << isSameType (a, b) << endl;
  cout << "long c and int a:" << isSameType (c, a) << endl;
  
  system ("Pause");
  return  0;
}
 

............................................................ 

用typeinfo实现： 

template <typename  T, typename  U>
bool  isSameType (T  t, U  u) {
  return  typeid(t) == typeid(u);
}
 

使用时象这样： 

int  main ()
{
  int  a, b;
  long  c;
  cout << "int  a and int b:" << isSameType (a, b) << endl;
  cout << "long c and int a:" << isSameType (c, a) << endl;
  
  system ("Pause");
  return  0;
}
 

我的这些方法只能比较两个类型是不是一样，不能得到其它更详细的信息了。要想得到更强大的功能，请看《Modern C++ Design》。 

............................................................ 

好了，方法很多，应该有用吧。 

http://bbs.youkuaiyun.com/topics/30334109