问 一个宏的问题

Arthur.Echo

在asterisk的源代码中看到的一个宏：

1. struct ast_flags {
2.         unsigned int flags;
3. };
5. extern unsigned int __unsigned_int_flags_dummy;
7. #define ast_test_flag(p,flag)           ({ \ //这里的p是struct ast_flags*类型的
8.                                         typeof ((p)->flags) __p = (p)->flags; \//这一行和下面两行是在干什么呢？
9.                                         typeof (__unsigned_int_flags_dummy) __x = 0; \
10.                                         (void) (&__p == &__x); \
11.                                         ((p)->flags & (flag)); \
12.                                         })
14. #define ast_set_flag(p,flag)            do { \
15.                                         typeof ((p)->flags) __p = (p)->flags; \ //这一行和下面两行是在干什么呢？
16.                                         typeof (__unsigned_int_flags_dummy) __x = 0; \
17.                                         (void) (&__p == &__x); \
18.                                         ((p)->flags |= (flag)); \
19.                                         } while(0)

复制代码

谢谢

herberteuler

http://gcc.gnu.org/onlinedocs/gcc-4.2.1/gcc/Typeof.html#Typeof

Arthur.Echo

Post by herberteuler
http://gcc.gnu.org/onlinedocs/gcc-4.2.1/gcc/Typeof.html#Typeof

typeof我当然知道，我只是不知道那两行有什么意义。
要是我自己来写这个宏的话，我想我一定会写成这个样子：

1. #define ast_set_flag(p,flag)            do { \
2.                                         typeof ((p)->flags) f = (flag); \
3.                                         ((p)->flags |= f); \
4.                                         } while(0)
5. 甚至直接就是：
6. #define ast_set_flag(p,flag) (p)->flags |= (flag)

复制代码

这两个有多大的本质上的区别呢？？

herberteuler

Don't you read the comment above the macros?

1. /*! \note
2. \verbatim
3.    Note:
4.    It is very important to use only unsigned variables to hold
5.    bit flags, as otherwise you can fall prey to the compiler's
6.    sign-extension antics if you try to use the top two bits in
7.    your variable.
9.    The flag macros below use a set of compiler tricks to verify
10.    that the caller is using an "unsigned int" variable to hold
11.    the flags, and nothing else. If the caller uses any other
12.    type of variable, a warning message similar to this:
14.    warning: comparison of distinct pointer types lacks cast
15.    will be generated.
17.    The "dummy" variable below is used to make these comparisons.
19.    Also note that at -O2 or above, this type-safety checking
20.    does _not_ produce any additional object code at all.
21. \endverbatim
22. */

复制代码

Arthur.Echo

Post by herberteuler
Don't you read the comment above the macros?

1. /*! \note
   
2. \verbatim
   
3.    Note:
   
4.    It is very important to use only unsigned variables to hold
   
5.    bit flags, as otherwise you can fall prey to the compiler's
   
6.    sign-extension antics if you try to use the top two bits in
   
7.    your variable.
   
8. 
   
9.    The flag macros below use a set of compiler tricks to verify
   
10.    that the caller is using an "unsigned int" variable to hold
    
11.    the flags, and nothing else. If the caller uses any other
    
12.    type of variable, a warning message similar to this:
    
13. 
    
14.    warning: comparison of distinct pointer types lacks cast
    
15.    will be generated.
    
16. 
    
17.    The "dummy" variable below is used to make these comparisons.
    
18. 
    
19.    Also note that at -O2 or above, this type-safety checking
    
20.    does _not_ produce any additional object code at all.
    
21. \endverbatim
    
22. */

复制代码

不好意思，这个我倒确实没有注意，thx

herberteuler

Post by Arthur.Echo
不好意思，这个我倒确实没有注意，thx

不用不好意思，如果一个开源项目的源代码足够好的话，通常它提供的资源里没有什么是无用的，不看就浪费了。注释只是这其中的一部分。多多注意哦