宏可以说是C语言的双刃剑,C语言中的宏提供诸多便利,但同时也带来了很多陷阱。
Rust保留了宏的概念,但是比C语言的宏有了不少改进。
宏与函数的区别
无论在Rust中,还是C中,宏都可以实现函数的作用。
但是在C语言中,函数式的宏和真正的函数是难以区分的,即调用函数式的宏和调用真正的函数的形式是一样的。
而在Rust中,调用函数式的宏和调用真正的函数的形式是相区分的,如果将宏作为函数来调用,那么宏名的后面要加感叹号,例如最经常出现的 println!
,比C语言多出来的感叹号明确了这是一个宏而不是函数。
代码展开的区别
C语言的宏是纯粹的文本替换式的代码展开,这隐藏了很多陷阱,我们要求宏的参数一定要加括号,语句块一定要包含在 do {} while(0)
语句块内,都式为了避免文本替换式的代码展开可能引入的问题。
Rust的宏则属于代码生成器式的代码展开,Rust的宏定义是一段能够生成代码的代码(Rust code that writes Rust code)。
宏的参数可以用方括号包围
C语言带参数的宏,其参数使用圆括号包围。Rust也可以使用圆括号包围参数,但是Rust的宏还可以用方括号包围,如:
let v = vec![1, 2, 3, 4, 5];