没见过的东东，大家帮忙看看

liwangli1983

1.     template <typename T>
   
2.     bool is_class(int T::*) {
   
3.         return true;
   
4.     }
   

复制代码

这里面的int T::* 是啥玩意啊……

x5miao

成员指针

bruceteen

1. template <typename T>
   
2. bool is_class(int T::*) {
   
3.     return true;
   
4. }
   
5. 
   
6. struct foo
   
7. {
   
8.         int a;
   
9. };
   
10. 
    
11. int main()
    
12. {
    
13.         is_class( &foo::a );
    
14. }

复制代码

bruceteen

http://www.haogongju.net/art/799552

liwangli1983

啊……原来是这个，怪不得看着有些眼熟但又完全想不起来了……当初看c++ primer的时候这块没怎么仔细看，事后也没再用到过……看了3楼的例子明白过来了。谢谢楼上2位解答

liwangli1983

bruceteen 发表于 2012-02-29 11:17
http://www.haogongju.net/art/799552

嗯，我看的就是这个。不过说来，虽然成员指针明白过来了，但那个Test里面并没有int型的成员，也能匹配成功？？？而且０算什么，null指针？

bruceteen

但那个Test里面并没有int型的成员
------ 不需要“成员”，因为 int T::* 只是一个类型
C++规定 0可以隐式转化为任意指针类型

OwnWaterloo

回复 6# liwangli1983

不需要T有int成员……
只要T是class/struct/union， 就可以有 X T::*(成员数据指针类型) 和 成员函数指针类型(orz，我已经忘记这货怎么写了……)
只是如果T没有int成员就无法指向……

1. 
   
2. #include <time.h>
   
3. 
   
4. template<int> struct error_message;
   
5. 
   
6. template<typename T>
   
7. char is_class(T /*1*/ T::*);
   
8. 
   
9. template<typename T>
   
10. long is_class(...);
    
11. 
    
12. error_message<sizeof(is_class<tm>(0))> tm_;
    
13. error_message<sizeof(is_class<double>(0))> double_;
    

复制代码

1. 被指向的类型其实是什么都无所谓……
一般用int，因为写起来短……
这里用的 T T::*，其实根本不可能存在一个类型T，它有一个类型为T的成员…… 这只是为了极端演示这里其实什么类型都无所谓……  T T::* 是否合法我也不知道……
保险还是用int T::*

2. 返回类型，我选char与long只是因为"char","long"长度相同…… 于是两个is_class就对得齐……
至于应该选什么类型，后面再说……

3. is_class<tm>(0)， 因为tm是struct/class/union，所以有int tm::*类型（同上，我不知道tm tm::*是否合法……）。
那就够了，0可以转换成这个类型（一个成员指针）的空值，返回char的is_class比返回long的更匹配，于是sizeof返回sizeof(char)。

4. is_class<double>(0)，int不是struct/class/union，所以不存在double int::*类型。
但is_class(int T::*) —— 或者上面的例子is_class(T T::*) —— 失败了也没关系…… 只要能找到一个成功的就行……
long is_class(...) 就是为了产生一个总是成功的东西…… 于是sizeof 返回sizeof(long)。

编译上面的代码，看编译错误就知道了。。。



回到2，返回类型……  标准只保证sizeof(char)<=sizeof(long)， 存在相等的情况……

于是，最通常的做法是让一个返回U，让另一个返回一个结构体，结构体包含U的数组，维度>=2。 于是两者大小肯定不相同了……
通常，U=char， 维度=2， 而且也不会直接返回U， 而是再搞一个结构体…… 于是就产生了：

1. 
   
2. struct yes { char a; }; // 或者 char a[1];
   
3. struct no { char a[2]; };
   
4. 
   
5. template<typename T>
   
6. yes is_class(int T::*);
   
7. template<typename T>
   
8. no is_class(...);
   
9. 
   
10. #define IS_CLASS(T) ( sizeof(yes)==sizeof(is_class<T>(0)) )
    

复制代码

呃，我自己不太喜欢定义那两个类型……  对不齐是一个原因……（强迫症……）  示例代码短，多写两行就多了一倍代码……
于是可以利用一些预定义的， 比如pair<int,int> 肯定比int大， tm也是……
但这样又需要包含utility或者time.h

于是…… 终极做法…… 返回U的数组的引用……  char最方便，因为sizeof(char)==1，可以少写一次sizeof……

1. 
   
2. template<int> struct error_message;
   
3. 
   
4. template<typename T>
   
5. char (&is_class(int T::*))[1];
   
6. 
   
7. template<typename T>
   
8. char (&is_class(...))[2];
   
9. 
   
10. #define IS_CLASS(T) ( 1==sizeof(is_class<T>(0)) )
    
11. 
    
12. error_message<IS_CLASS(tm)> tm_;
    
13. error_message<IS_CLASS(double)> double_;
    

复制代码

而且yes/no只能返回两种值， 直接返回引用可以支持多种值……

liwangli1983

原来是这样，怪不得那些示例都要写成char和char[2]之类的……谢谢楼上各位了！

不过说来返回数组引用，不用typedef，看着还真有点让人眼晕

OwnWaterloo

回复 9# liwangli1983

用typedef的话，还是 struct no { char a[2]; }; 比较好……
typedef char (&no)[2]; 同样会被打……