喜欢读一些开源项目源码的人,总是会发现,大神的代码中总是有那么一些简短而高效的宏定义,点击进去一看,发现晦涩难懂,别说学习了,有时候理解都是一种困难,但是宏定义本身并没有那么难,但是写出一个好的宏当然还是需要丰富的经验和技术,接下来就说一说宏定义,看懂大神的宏是第一步,偶尔写一个也是装逼的好办法~
定义:
宏定义分为两种:一种是对象宏(object-like macro)另一种就是函数宏(function-like macro)
根据名字也可以理解到,对象宏就是用来定义一个量,通过这个宏可以拿到这个变量,比如我们定义一个π值: #define PI 3.1415926在这里如果用到π值时,就不需要再写出一个浮点数了,而直接使用PI就相当写入了这个常量浮点数,其本质的意义在于把代码中的PI在编译阶段替换为真正的常量,一般用来定义一些常用的常量,比如屏幕的宽高、系统版本号等。但是需要注意的是,但你定义一个表达式为宏的时候,需要透过宏的表面,看到器编译的本质,例如
#define MARGIN 10 + 20
但你用它来计算一个宽度时,如果用到了MARGIN * 2,结果将会非你所愿,你得到的会是一个50而并非60,展开表达式就可以看到
MARGIN * 2 // 展开可以得到
// 10 + 20 * 2 = 50
我们需要考虑到它的运算优先级,解决的方式很简单,再它的外层加上一个小括号
#define MARGIN (10 + 20) // MARGIN * 2 // (10 + 20) * 2 = 60
函数宏的作用就类似于一个函数一样,它可以传递参数,通过参数进行一系列的操作,比如我们常用的计算两个数的最大值,我们可以这样来定义
#define MAX(A,B) A > B ? A : B
这样写看起来是没有问题的,进行简单的比较MAX(1,2)发现也是没有什么问题,但是当有人使用你的宏进行更加复杂的计算时就回出现新的问题,比如进行三个数值的计较时,可能会这样写
int a = 3; int b = 2; int c = 1; MAX(a, b > c ? b : c) // = 2
结果肯定也不是你想要的,最大值很明显是3,但是计算的结果确实2,这其中发生了什么导致计算出错,我们可以展开宏来一探究竟,下面是宏的展开
MAX(a,b > c ? b : c); //a > b > c ? b : c ? a : b > c ? b : c //(a > (b > c ? b : c) ? a : b) > c ? b : c // 这是运算的优先级 // 带入值可以看出 //( 3 > (2 > 1 ? 2 : 1 ) ? 3 : 2) > 1 ? 2 : 1 // (3 > 2 ? 3 : 2) > 1 ? 2 : 1 // 3 > 1 ? 2 : 1
想必大家都看出来了问题所在,还是由于优先级的问题,所以在此谨记,反正多写两个括号也不会累着,不管会不会出现问题, 写上小括号终究是保险一些~
可是总有写奇葩的写法会出现,而且看开起来还很有道理的样子~
c = MAX(a++,b); // **我直接展开给你看就得了** // c = a++ > b ? a++ : b // c = 3++ > 2 ? 3++ : 2 // c = 4 // a = 5
不管这样写的那个人是有多欠揍,但是毕竟看起来是没有任何问题的,所有我们要处理这样的情况,但是使用我们普通的小括号已经无法解决,我们需要使用赋值扩展({...})相信有朋友已经认出来了这种用法了,我们可以使用这样的方法来计算出一个对象,而不用浪费变量名,可以形成小范围的作用域来计算特殊的值
int a = ({ int b = 10; int c = 20; b + c; }) // a = 30; int b; // 继续使用b和c当变量名也没有问题 int c;
再回到现在这个问题上,我们该如何改装这个宏来让其适应这个坑爹的写法呢
#define MAX(A,B) ({__typeof(A) __a = (A);__typeof(B) __b = (B); __a > __b ? __a : __b; })
__typeof()就是转换为相同类型的变量值,就完美的解决了这个问题,但是还有一个不怎么会发生的意外,通过上面也可以知道,我们生成了新的变量__a, __b,如何有人使用了__a,__b,就会应为变量名重复而编译错误,如果有人这样用了,你可以拿起你的键盘砸他一脸,原因当然不是__a使你的宏错误了,而是__a到底是什么意思,变量名的重要性不言而喻,除非你和看代码的人有仇,否则请使用有意义的变量名,接下来让我们看一看官方的MAX是如何实现的
#define __NSX_PASTE__(A,B) A##B #if !defined(MAX) #define __NSMAX_IMPL__(A,B,L) ({ __typeof__(A) __NSX_PASTE__(__a,L) = (A); __typeof__(B) __NSX_PASTE__(__b,L) = (B); (__NSX_PASTE__(__a,L) < __NSX_PASTE__(__b,L)) ? __NSX_PASTE__(__b,L) : __NSX_PASTE__(__a,L); }) #define MAX(A,B) __NSMAX_IMPL__(A,B,__COUNTER__) #endif
这是Function框架中的MAX定义,我么来一步一步的解析它,首先看见的是
#define __NSX_PASTE__(A,B) A##B
// 将A和B连接到一块
它的作用是将A和B连接到一块,用来生成一个的字符串,比如A##12就成了A12
接下来我们看到了一个有三个参数的宏定义__NSMAX_IMPL__(A,B,__COUNTER__)
#if !defined(MAX) #define __NSMAX_IMPL__(A,B,L) ({ __typeof__(A) __NSX_PASTE__(__a,L) = (A); __typeof__(B) __NSX_PASTE__(__b,L) = (B); (__NSX_PASTE__(__a,L) < __NSX_PASTE__(__b,L)) ? __NSX_PASTE__(__b,L) : __NSX_PASTE__(__a,L); }) #define MAX(A,B) __NSMAX_IMPL__(A,B,__COUNTER__) #endif
我们先来解释__COUNTER__是什么,__COUNTER__是一个预编译宏,它将会在每次编译时加1,这样的话可以保证__NSX_PASTE__(__b,__CONNTER__)生成的变量名不易重复,但是这样还是有那么点危险,就是你要是起变量名叫__a20,那就真的真的没有办法了~
可变参数宏
说起可变参数,我们用的最多的一个方法NSLog(...)就是可变参数了,可变参数意味着参数的个数是不定的,而NSLog作为我们调试时一个重要的工具实在时太废物了,只能打印对应的时间和参数信息,而文件名,行数,方法名等重要的信息都没有给出,今天我们就借此来实现一个超级版NSLog宏~~~
#define NSLog(format, ...) do { fprintf(stderr, "<%s : %d> %s\n", \ [[[NSString stringWithUTF8String:__FILE__] lastPathComponent] UTF8String], __LINE__, __func__); \ (NSLog)((format), ##__VA_ARGS__); \ fprintf(stderr, "-------\n"); \ } while (0)
首先看这个宏的定义NSLog(format,...)发现它有...,这就是可变参数,而__VA__ARGS__就是除了format外剩下的所有参数,接下来我们发现使用了一个do{}while(0)循环,说明这个循环只执行一便就回停止,感觉废话啊,我们的目的就是只执行一遍啊,但这样写又是为了进行防御式编程,如果有人这样写的话
if (100 > 99)
NSLog(@"%@",@"Fuck");
就会出现无论如何都会执行后两个打印,出现的问题想必大家也都知道,那我们直接使用{}给扩起来不就行了,实际操作后确实是解决了这个问题,但是再扩展一下,当我们使用了if{} else if{}时又会出现新的问题
if (100 > 99) NSLog(@"%@",@"Fuck"); else { } // 展开后可得 if (100 > 99) { fprintf(stderr, "<%s : %d> %s\n", [[[NSString stringWithUTF8String:__FILE__] lastPathComponent] UTF8String], __LINE__, __func__); (NSLog)((format), ##__VA_ARGS__); fprintf(stderr, "-------\n");}; else { }
编译错误,大家也发现了NSLog后面会跟上;,如果我么直接使用了{}后,会在编译时在外面加上;,导致编译错误,而使用了do{} while(0)循环后就不会出现这个问题了
if (100 > 99) do { fprintf(stderr, "<%s : %d> %s\n", [[[NSString stringWithUTF8String:__FILE__] lastPathComponent] UTF8String], __LINE__, __func__); (NSLog)((format), ##__VA_ARGS__); fprintf(stderr, "-------\n");} while(0); else { }
到此位置问题解决的差不多了,看一下内部的结构,__FILE__是编译的文件路径,__LINE__是行数,__func__是编译的方法名,下面我们又看见了
(NSLog)((format), ##__VA_ARGS__);
##上面已经看见过了,在这里的作用差不多,也是连接的意思,__VA_ARGS__是剩下的所有参数,使用##连接起来后就时NSLog(format,__VA_ARGS__)了,这就是NSLog的方法了,但是不知道有没有人发现一个细节,如果__VA_ARGS__为空的话,那岂不是成了NSLog(format,)这样肯定会编译报错的,但是苹果的大神们早就想到了解决的方法,如果__VA_ARGS__为空的话,在这里##将会吞掉前面的,,这样一来就不会出问题了。然后我们就可以使用这个强大的NSLog()了。
接下说一下多参数函数的使用
- (void)say:(NSString *)code,... { va_list args; va_start(args, code); NSLog(@"%@",code); while (YES) { NSString *string = va_arg(args, NSString *); if (!string) { break; } NSLog(@"%@",string); } va_end(args); }
我们可以要先定义一个va_list args来定义多参数变量args,然后通过va_start(args, code)来开始取值,code是第一个值,va_arg(args, NSString *)来定义取出的值类型,取值方式有点像生成器,取完之后调用va_end(args)来关闭。这就是整个过程,平时很少使用这样的方法,如果你有什么好的实用方法请评论指教~~~
感谢阅读,希望能帮助到大家,谢谢大家对本站的支持!