再论c++模板之类型识别之如何得到类型信息

什么时候不用提供任何类型信息，可以得到类型呢？

我想应该是:

函数模板

template<class T>

 struct Integer

{
    int a;
};

template<>

struct Integer<int>

{

  

}

  void f(T a){

          Integer<T> b;

          if(sizeof(b)!=sizeof(Integer<int>))cout<<"使用了非整形"<<endl;
  }；

所以。。我们就在这里,我们写：

这个时候，如果b定义失败，就说明不是Integer，那么就会调用未特化的版本。佛则，，调用失败。。。