# 27章 內聯函數 內聯代碼是指當編譯的時候，將函數體直接嵌入正確位置，而不是在這個位置放上函數聲明。 ``` #!cpp #include <stdio.h> int celsius_to_fahrenheit (int celsius) { return celsius * 9 / 5 + 32; }; int main(int argc, char *argv[]) { int celsius=atol(argv[1]); printf ("%d\n", celsius_to_fahrenheit (celsius)); }; ``` 這個編譯是意料之中的，但是如果換成GCC的優化方案，我們會看到： 清單27.2: GCC 4.8.1 -O3 ``` #!bash _main: push ebp mov ebp, esp and esp, -16 sub esp, 16 call ___main mov eax, DWORD PTR [ebp+12] mov eax, DWORD PTR [eax+4] mov DWORD PTR [esp], eax call _atol mov edx, 1717986919 mov DWORD PTR [esp], OFFSET FLAT:LC2 ; "%d\12\0" lea ecx, [eax+eax*8] mov eax, ecx imul edx sar ecx, 31 sar edx sub edx, ecx add edx, 32 mov DWORD PTR [esp+4], edx call _printf leave ret ``` 這里的除法由乘法完成。 是的，我們的小函數被放到了printf()調用之前。為什么？因為這比直接執行函數之前的“調用/返回”過程速度更快。 在過去，這樣的函數在函數聲明的時候必須被標記為“內聯”。在現代，這樣的函數會自動被編譯器識別。 另外一個普通的自動優化的例子是內聯字符串函數，比如strcpy(),strcmp()等 清單27.3 : 另一個簡單的例子 ``` #!cpp bool is_bool (char *s) { if (strcmp (s, "true")==0) return true; if (strcmp (s, "false")==0) return false; assert(0); }; ``` 清單27.4： GCC 4.8.1 -O3 ``` #!bash _is_bool: push edi mov ecx, 5 push esi mov edi, OFFSET FLAT:LC0 ; "true\0" sub esp, 20 mov esi, DWORD PTR [esp+32] repz cmpsb je L3 mov esi, DWORD PTR [esp+32] mov ecx, 6 mov edi, OFFSET FLAT:LC1 ; "false\0" repz cmpsb seta cl setb dl xor eax, eax cmp cl, dl jne L8 add esp, 20 pop esi pop edi ret ``` 這是一個經常可以見到的關于MSVC生成的strcmp()的例子。 清單27.5: MSVC ``` #!bash mov dl, [eax] cmp dl, [ecx] jnz short loc_10027FA0 test dl, dl jz short loc_10027F9C mov dl, [eax+1] cmp dl, [ecx+1] jnz short loc_10027FA0 add eax, 2 add ecx, 2 test dl, dl jnz short loc_10027F80 loc_10027F9C: ; CODE XREF: f1+448 xor eax, eax jmp short loc_10027FA5 ; --------------------------------------------------------------------------- loc_10027FA0: ; CODE XREF: f1+444 ; f1+450 sbb eax, eax sbb eax, 0FFFFFFFFh ``` 我寫了一個小的用于搜索和歸納的IDA腳本，這樣的腳本經常能在內聯代碼中看到：[https://github.com/yurichev/IDA_scripts.](https://github.com/yurichev/IDA_scripts.)