Objective-C 宏定义详细介绍

喜欢读一些开源项目源码的人,总是会发现,大神的代码中总是有那么一些简短而高效的宏定义,点击进去一看,发现晦涩难懂,别说学习了,有时候理解都是一种困难,但是宏定义本身并没有那么难,但是写出一个好的宏当然还是需要丰富的经验和技术,接下来就说一说宏定义,看懂大神的宏是第一步,偶尔写一个也是装逼的好办法~

定义:

宏定义分为两种:一种是对象宏(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)来关闭。这就是整个过程,平时很少使用这样的方法,如果你有什么好的实用方法请评论指教~~~

感谢阅读,希望能帮助到大家,谢谢大家对本站的支持!

声明:本文内容来源于网络,版权归原作者所有,内容由互联网用户自发贡献自行上传,本网站不拥有所有权,未作人工编辑处理,也不承担相关法律责任。如果您发现有涉嫌版权的内容,欢迎发送邮件至:notice#nhooo.com(发邮件时,请将#更换为@)进行举报,并提供相关证据,一经查实,本站将立刻删除涉嫌侵权内容。