上一次面试也问到的。的确是利用了模板元编程。traits也是利用了这一点。
可以方便的获知一个类是不是int.
更重要的是，编译器获知一个变量，是不是指针；是不是数组，甚至是数组的长度；获知是不是指向数据成员的指针。
关于数组和数组长度：
