一直以來用宏定義#define也就是定義一些簡單的常量,至多也就是定義一個函數,很少關注宏定義的用法。直到看到這樣的代碼:
[cpp] view plain copy
#define PLAYSOUNDEFFECT(...) \
[[GameManager sharedGameManager] playSoundEffect:@#__VA_ARGS__]
這么強大的用法以前從來沒有想過。看一下iOS Framework的一些頭文件,發現幾乎全部都是宏定義:
不得不說宏定義很強大!宏定義的使用使得程序的編寫更加的簡便!
作為iOS開發者,有必要深入研究一下宏定義的用法。
最官方的關于宏的使用說明網址是:http://gcc.gnu.org/onlinedocs/cpp/Macros.html#Macros
在Apple的官網上可以找到GNU C 4.2 Preprocessor User Guide,發現和GNU官網的說明一模一樣。因為Xcode的編譯器就是基于GNU C 4.2預處理器,因此在Objective-C的開發環境中使用宏和在C/C++中使用是一模一樣的。
下面的文字是閱讀官方使用說明后的總結及翻譯。(代碼直接從官方使用說明摘錄)
1、Macros 宏
官方解釋:
A macro is a fragment of code which has been given a name. Whenever the name is used, it is replaced by the contents of the macro. There are two kinds of macros. They differ mostly in what they look like when they are used. Object-like macros resemble data objects when used, function-like macros resemble function calls.
有兩種宏的類型,一種是類對象的宏,封裝使用的數據對象,另一種是類函數的宏,封裝函數的調用。在ObjC里面,那就是可以封裝Method的使用,如文章一開始的代碼
1.1 類對象的宏
最基本的使用:
[cpp] view plain copy
#define BUFFER_SIZE 1024
foo = (char *) malloc (BUFFER_SIZE);
foo = (char *) malloc (1024);
就是最基本的替換。
通常宏的名稱都是用大寫字母。
------------------------------------------------------------------------------------------------
[cpp] view plain copy
#define NUMBERS 1, \
2, \
3
int x[] = { NUMBERS };
==> int x[] = { 1, 2, 3 };
在宏定義中,如果要換行,使用“\"符號。然后經預處理后還是在同一行。
------------------------------------------------------------------------------------------------
C預處理器是按順序讀取程序,因此宏定義生效在宏定義之后。
[cpp] view plain copy
foo = X;
#define X 4
bar = X;
ces
foo = X;
bar = 4;
------------------------------------------------------------------------------------------------
宏調用時,預處理器在替換宏的內容時,會繼續檢測內容本身是否也是宏定義,如果是,會繼續替換內容。
[cpp] view plain copy
#define TABLESIZE BUFSIZE
#define BUFSIZE 1024
TABLESIZE
==> BUFSIZE
==> 1024
------------------------------------------------------------------------------------------------
宏定義以最后生效的定義為準,因此下面的代碼TABLESIZE對應37
[cpp] view plain copy
#define BUFSIZE 1020
#define TABLESIZE BUFSIZE
#undef BUFSIZE
#define BUFSIZE 37
------------------------------------------------------------------------------------------------
如果宏定義內容包含了名稱,則預處理器會終止展開防止無限嵌套(infinite resursion)
1.2 類函數宏
[cpp] view plain copy
#define lang_init()? c_init()
lang_init()
==> c_init()
類函數宏的名稱后面加了"()"。
[cpp] view plain copy
#define lang_init ()? ? c_init()
lang_init()
==> () c_init()()
并且"()"必須緊隨在名稱后面否則就會認為是類對象宏。
1.3 宏參數
在類函數宏里面可以添加參數使得更像真正的函數
[cpp] view plain copy
#define min(X, Y)? ((X) < (Y) ? (X) : (Y))
x = min(a, b);? ? ? ? ? ==>? x = ((a) < (b) ? (a) : (b));
y = min(1, 2);? ? ? ? ? ==>? y = ((1) < (2) ? (1) : (2));
z = min(a + 28, *p);? ? ==>? z = ((a + 28) < (*p) ? (a + 28) : (*p));
基本的使用和函數的定義類似,當然宏里面都是實際參數,用逗號隔開。預處理時,先是將宏展開,然后將參數放進宏的主體中,再檢查一遍完整的內容。
------------------------------------------------------------------------------------------------
如何宏里面有字符串的內容,即使與參數名相同,也不會被替換。如下:
[cpp] view plain copy
#define foo(x) x, "x"
foo(bar)? ? ? ? ==> bar, "x"
1.4 字符串化
使用”#“預處理操作符來實現將宏中的參數轉化為字符串。例子如下:
[cpp] view plain copy
#define WARN_IF(EXP) \
do { if (EXP) \
fprintf (stderr, "Warning: " #EXP "\n"); } \
while (0)
WARN_IF (x == 0);
==> do { if (x == 0)
fprintf (stderr, "Warning: " "x == 0" "\n"); } while (0);
這個字符串化會將參數中的所有字符都實現字符串化,包括引號。如果參數中間有很多空格,字符串化之后將會只用一個空格代替。
然后沒有什么方法可以直接將參數轉化成單一的字符char
------------------------------------------------------------------------------------------------
[cpp] view plain copy
#define xstr(s) str(s)
#define str(s) #s
#define foo 4
str (foo)
==> "foo"
xstr (foo)
==> xstr (4)
==> str (4)
==> "4"
出現上面的結果是因為在使用str(s)時,s是字符串化,所以宏沒有擴展開。而使用xstr(s)時s作為一個參數,因此先把宏完全擴展然后再放進參數。
1.5 連接
使用"##"操作符可以實現宏中token的連接。
[cpp] view plain copy
struct command
{
char *name;
void (*function) (void);
};
struct command commands[] =
{
{ "quit", quit_command },
{ "help", help_command },
...
};
#define COMMAND(NAME)? { #NAME, NAME ## _command }
struct command commands[] =
{
COMMAND (quit),
COMMAND (help),
...
};
如上,使參數NAME對應的字符與_command連接起來,而不進行其他轉化。當然要注意連接后的字符必須是有意義的,否則只會出現錯誤或警告。
然后C預處理器會將注釋轉化成空格,因此在宏中間,參數中間加入注釋都是可以的。但不能將"##"放在宏的最后,否則會出現錯誤。
1.6 多參數宏(Variadic Macros)
[cpp] view plain copy
#define eprintf(...) fprintf (stderr, __VA_ARGS__)
eprintf ("%s:%d: ", input_file, lineno)
==>? fprintf (stderr, "%s:%d: ", input_file, lineno)
使用標識符__VA_ARGS_來表示多個參數,在宏的名稱中則使用(...)
在C++中也可以使用如下的方式:
[cpp] view plain copy
#define eprintf(args...) fprintf (stderr, args)
結果是一樣的。
------------------------------------------------------------------------------------------------
"##"的特殊用法:
[cpp] view plain copy
#define eprintf(format, ...) fprintf (stderr, format, ##__VA_ARGS__)
eprintf ("success!\n")
==> fprintf(stderr, "success!\n");
將"##"放在","和參數之間,那么如果參數留空的話,那么"##"前面的","就會刪掉,從而防止編譯錯誤。
1.7 取消或重新宏定義
這個看下面的代碼就明白:
[cpp] view plain copy
#define FOO 4
x = FOO;? ? ? ? ==> x = 4;
#undef FOO
x = FOO;? ? ? ? ==> x = FOO;
These definitions are effectively the same:
#define FOUR (2 + 2)
#define FOUR? ? ? ? (2? ? +? ? 2)
#define FOUR (2 /* two */ + 2)
but these are not:
#define FOUR (2 + 2)
#define FOUR ( 2+2 )
#define FOUR (2 * 2)
#define FOUR(score,and,seven,years,ago) (2 + 2)
對于重定義,如果定義的宏不一樣,那么編譯器會給出警告并使用最新定義的宏。
通過上面的總結描述,現在就可以輕松看到本文開始的宏定義的含義了。