macro
宏只是在预处理器里进行文本替换,没有类型,不做任何类型检查,编译器可以对相同的字符串进行优化。只保存一份到 .rodata 段。甚至有相同后缀的字符串也可以优化,你可以用GCC 编译测试,"Hello world" 与 "world" 两个字符串,只存储前面一个。取的时候只需要给前面和中间的地址,如果是整形、浮点型会有多份拷贝,但这些数写在指令中。占的只是代码段而已,大量用宏会导致二进制文件变大。
宏定义和全局变量的区别
- 宏会在预处理阶段被替换,而全局变量是在运行时;
- 宏定义不分配内存,全局变量定义需要分配内存;
- 宏不区分数据类型,它本质上是一段字符,在预处理的时候被替换到引用的位置,而全局变量区分数据类型;
- 宏定义之后值是不能改变的,全局变量的值是可以改变的;
- 宏定义只有在定义所在文件,或引用所在文件的其它文件中使用。 而全局变量可以在工程所有文件中使用,只需在使用前加一个声明。
FOUNDATION_EXTERN
#if defined(__cplusplus)
#define FOUNDATION_EXTERN extern "C"
#else
#define FOUNDATION_EXTERN extern
#endif
由以上定义可以看出 FOUNDATION_EXTERN 是可以兼容 C++ 的 extern 的宏。
FOUNDATION_EXTERN NSString * Extern_S = @"sss";
#define Define_S @"sss"
{
NSString * s = @"tt";
CFTimeInterval begin = CACurrentMediaTime();
for (int i = 0; i < 10000; i++) {
if ([s isEqualToString:Define_S]) {
}
}
NSLog(@"%f", CACurrentMediaTime() - begin);
begin = CACurrentMediaTime();
for (int i = 0; i < 10000; i++) {
if ([s isEqualToString:Extern_S]) {
}
}
NSLog(@"%f", CACurrentMediaTime() - begin);
}
2019-09-09 16:06:04.849874+0800 Demo[86518:3255355] 0.000148
2019-09-09 16:06:04.850170+0800 Demo[86518:3255355] 0.000137
extern 比宏在字符串上的比较速度要快一些,因为 extern 直接比较指针地址,而宏是比较字符串是否相等。
__builtin_expect
这个其实是个函数,针对编译器优化的一个函数。
写代码中我们经常会遇到条件判断语句
if (今天是工作日) {
printf("好好上班");
}
else {
printf("好好睡觉");
}
CPU 读取指令的时候并非一条一条的来读,而是多条一起加载进来,比如已经加载了 if(今天是工作日) printf(“好好上班”);
的指令,这时候条件式如果为非,也就是非工作日,那么 CPU 继续把 printf(“好好睡觉”);
这条指令加载进来,这样就造成了性能浪费的现象。
__builtin_expect 的第一个参数是实际值,第二个参数是预测值。使用这个目的是告诉编译器 if 条件式是不是有更大的可能被满足。
likely 和 unlikely
解开这个宏后其实是对 __builtin_expect 封装,likely 表示更大可能成立,unlikely 表示更大可能不成立。
#define likely(x) __builtin_expect(!!(x), 1)
#define unlikely(x) __builtin_expect(!!(x), 0)
遇到这样的,if(likely(a == 0)) 理解成 if(a==0) 即可,unlikely 也是同样的。
fastpath 和 slowpath
跟上面也是差不多的,fastpath 表示更大可能成立,slowpath 表示更大可能不成立
#define fastpath(x) ((typeof(x))__builtin_expect(_safe_cast_to_long(x), ~0l))
#define slowpath(x) ((typeof(x))__builtin_expect(_safe_cast_to_long(x), 0l))
这两个理解起来跟 likely 和 unlikely 一样,只需要关注里面的条件式是否满足即可。
os_atomic_cmpxchg
其内部就是 atomic_compare_exchange_strong_explicit 函数,这个函数的作用是:第二个参数与第一个参数值比较,如果相等,第三个参数的值替换第一个参数的值。如果不相等,把第一个参数的值赋值到第二个参数上。
#define os_atomic_cmpxchg(p, e, v, m) \
({ _os_atomic_basetypeof(p) _r = (e); \
atomic_compare_exchange_strong_explicit(_os_atomic_c11_atomic(p), \
&_r, v, memory_order_##m, memory_order_relaxed); })
os_atomic_store2o
将第二个参数,保存到第一个参数
#define os_atomic_store2o(p, f, v, m) os_atomic_store(&(p)->f, (v), m)
#define os_atomic_store(p, v, m) \
atomic_store_explicit(_os_atomic_c11_atomic(p), v, memory_order_##m)
os_atomic_inc_orig
将 1 保存到第一个参数中
#define os_atomic_inc_orig(p, m) os_atomic_add_orig((p), 1, m)
#define os_atomic_add_orig(p, v, m) _os_atomic_c11_op_orig((p), (v), m, add, +)
#define _os_atomic_c11_op_orig(p, v, m, o, op) \
atomic_fetch_##o##_explicit(_os_atomic_c11_atomic(p), v, \
memory_order_##m)
UNAVAILABLE_ATTRIBUTE , __has_include
最新文章
- 我将系统从Windows迁移至Linux下的点点滴滴
- Oracle数据库基础
- Exynos 4412 Uboot源码解析
- [转]理解RESTful架构
- no2.crossdomain.xml批量读取(待完善)
- iOS 关于使用xib创建cell的两种初始化方式
- CSS3实现页面的平滑过渡
- cdev成员结构体file_operations文件操作结构的分析
- mysql自动备份数据库
- LeetCode _ Copy List with Random Pointer
- 组队练习赛(Regionals 2012, North America - East Central NA)
- PHP学习建议(来自老手)
- 用户手册User Guide的写法
- 如何编写更好的SQL查询:终极指南-第一部分
- webpack打包不识别es6语法的坑
- does not support SSL connections
- python 线程队列、线程池、全局解释器锁GIL
- 移动端touchstart,touchmove,touchend
- 什么是web标准、可用性、可访问性
- antlr安装