[百度空间] [note] pointer to member is a POD type

C++03 3.9-10:

1

Arithmetic types (3.9.1), enumeration types, pointer types, and pointer to member types (3.9.2), and cv-qualified versions of these types (3.9.3) are collectively called scalar types. Scalar types, POD-struct types, POD-union types (clause 9), arrays of such types and cv-qualified versions of these types (3.9.3) are collectively called POD types.

 

As we all knows the pointer to member may not be cast into void* (GCC is OK but it's a special case anyway), according to the standrad we can store the pointer to member to a char buffer though. Unfortunately, the size of "pointer to member" is implementation defined, so we still need some hack for different compilers.

here's a table for sizeof(pointer to member) for some compilers 

(http://www.codeproject.com/Articles/7150/Member-Function-Pointers-and-the-Fastest-Possible)

 

 

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
Compiler            Options     Single  Multi   Virtual Unknown
     MSVC                        4       8       12      16
     MSVC            /vmg        16#     16#     16#     16
     MSVC            /vmg /vmm   8#      8#      --      8
     Intel_IA32                  4       8       12      16
     Intel_IA32      /vmg /vmm   4       8       --      8
     Intel_Itanium               8       12      16      20
     G++                         8       8       8       8
     Comeau                      8       8       8       8
     DMC                         4       4       4       4
     BCC32                       12      12      12      12
     BCC32           /Vmd        4       8       12      12
     WCL386                      12      12      12      12
     CodeWarrior                 12      12      12      12
     XLC                         20      20      20      20
     DMC small                   2       2       2       2
     medium                      4       4       4       4
     WCL small                   6       6       6       6
     compact                     6       6       6       6
     medium                      8       8       8       8
     large                       8       8       8       8

the original article implement each compiler's pointer to member mechanism, which I believe is insane, it's definitely not a good way to write portable codes.here's what I'm doing (code snippet).

 

所以pointer to member 可以被保存在byte array 里面再被解出来.这对于做delegate很有帮助.这是我目前使用的方法.

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
class  Delegate
{
public :
//per-compiler constant, or use a max enough size for all compilers
#if COMPILER == COMPILER_MSVC
     static  const  size_t  MAX_POINTER2MEMBER_SIZE = 16;
#elif COMPILER == COMPILER_GNUC
     static  const  size_t  MAX_POINTER2MEMBER_SIZE = 8;
#else
     static  const  size_t  MAX_POINTER2MEMBER_SIZE = 20;
#endif
 
     void * mPtr;
     char   mMemberRaw[MAX_POINTER2MEMBER_SIZE ];
 
     //store the pointer to member to a byte buffer
     template  < typename  T>
     explicit  Delegate(T* ptr,  void  (T::*func)( void *) )
     {
         assert sizeof (func) <= MAX_SIZE );
         :: memset (mMemberRaw, 0, MAX_SIZE);
         :: memcpy (mMemberRaw, &func,  sizeof (func) );
     }
};
 
 
//invoke function: extract the "pointer to member" from the byte buffer
{
     ...
     typedef  void  (T::*TMemberFn)( void *);
     TMemberFn TFn = NULL;
     :: memcpy (&TFn, mMemberRaw,  sizeof (TFn) );
     ( ((T*)mPtr)->*TFn )( data);
}

 

there's a very efficient way to do the delegate :

http://www.codeproject.com/Articles/11015/The-Impossibly-Fast-C-Delegates

他也是用模板函数,但不同的是把函数地址作为模板参数.本来打算改用这个方法的.但是唯一的缺点就是需要显式指定模板参数<>来实例化, 而构造函数只能通过TAD来套用模板参数,不能显式指定...所以他用的是一个静态模板函数来构造一个对象

1
delegate d = delegate::frommember<T,&T::func>( pOjb); //这样稍微有点恶心.

而我使用的方式虽然多了一个char[], 有一点点额外的内存开销和运行时开销,但是大多数情况下几乎可以忽略不计.

主要是可以通过Template Arugment Deduction 直接创建delegate, 比如:

1
Delegate d(pObj, &CLASS::function);

所以考虑了一下,决定暂时不用他的那种方法(用起来稍微不方便,但是效率非常高).以后看情况再考虑要不要改.

 

另外,作为一个C++程序猿, 个人觉得"数据绑定", "反射","代理",这些使用时尽量谨慎, 不可滥用. 除了在event/msg 和 UI/Tools的极少数地方要用以外,其他地方还是尽量不要用为好. 最近把数据绑定框架做了简单重构, 幸好用到的地方不多(主要是编辑器在用), 要不然重构就哭了. 目前还没有反射,暂时不需要, 以后需要时再加.最好是另外封装,不影响现在的代码.

你可能感兴趣的:(type)