還記得初學(xué)C的時(shí)候，對(duì)于字符串操作一類函數(shù)的記憶顯得尤為深刻，各種考試會(huì)考strlen、strlen等函數(shù)的實(shí)現(xiàn)，到了畢業(yè)找工作，很多公司的筆試題里，也包含有strlen、strcpy等函數(shù)的實(shí)現(xiàn)?？梢?jiàn)字符串操作類函數(shù)是受到了老師和公司出題者的青睞啊。那么本文就來(lái)研究一下strlen這個(gè)函數(shù)吧！

可能你這時(shí)已經(jīng)在BS我了，心想就這么個(gè)東西，還需要研究的么。我能瞬間完成，于是你寫(xiě)下了這段代碼：

[cpp]view plaincopy

intstrlen(constchar*str)

{

intlength=0;

while(*str++)

++length;

return(length);

}

哇！你還真快，真的瞬間寫(xiě)下了這個(gè)簡(jiǎn)潔精煉的strlen，不錯(cuò)，你的C語(yǔ)言考題過(guò)關(guān)了，公司筆試也過(guò)了，值得恭喜。但是，似乎這么快就解決了問(wèn)題，那本文要怎么進(jìn)行下去呢？那就先分析一下你瞬間秒殺出來(lái)的這個(gè)strlen吧，她簡(jiǎn)直太完美了，和MS的工程師們寫(xiě)得如出一轍，總體看下來(lái)也就幾行代碼完事，那么，為啥這么幾行就能解決問(wèn)題？還有沒(méi)有更優(yōu)的方案？你靈機(jī)一動(dòng)，又瞬間想出一種：

[cpp]view plaincopy

intstrlen(constchar*str)

{

constchar*ptr=str;

while(*str++)

;

return(str-ptr-1);

}

所謂代碼簡(jiǎn)短不一定就是最優(yōu)的，當(dāng)然這里不能扯到軟件工程里去了，我們可以看出這兩種實(shí)現(xiàn)，str++是逐字節(jié)向后移動(dòng)的，時(shí)間復(fù)雜度都是O(n)，所以這個(gè)strlen可以很簡(jiǎn)單的完成，那么更優(yōu)的方案是什么呢？試想，如果能夠幾個(gè)字節(jié)一跳，不是能夠更快的完成求長(zhǎng)度，不就降低了復(fù)雜度？先拭目以待吧。

本系列是為了剖析crt庫(kù)中intel模塊下的那些函數(shù)的，那么我們?nèi)フ艺夷抢锩嬗袥](méi)有strlen的實(shí)現(xiàn)，呀！居然找到了，它就位于VC/crt/src/intel/strlen.asm里。打開(kāi)看看，咦，有點(diǎn)暈。不過(guò)最亮眼的就是，在前面的注釋里，MS的工程師們寫(xiě)了個(gè)“注釋版”的strlen，與你前面實(shí)現(xiàn)的strlen簡(jiǎn)直是一摸一樣的?？墒?，它是注釋版的，不會(huì)編譯進(jìn)程序運(yùn)行。那么繼續(xù)看下面的匯編實(shí)現(xiàn)，代碼如下：

[cpp]view plaincopy

CODESEG

publicstrlen

strlenproc\

buf:ptrbyte

OPTIONPROLOGUE:NONE,EPILOGUE:NONE

.FPO(0,1,0,0,0,0)

stringequ[esp+4]

movecx,string;ecx->string

testecx,3;testifstringisalignedon32bits

jeshortmain_loop

str_misaligned:

;simplebyteloopuntilstringisaligned

moval,byteptr[ecx]

addecx,1

testal,al

jeshortbyte_3

testecx,3

jneshortstr_misaligned

addeax,dwordptr0;5bytenoptoalignlabelbelow

align16;shouldberedundant

main_loop:

moveax,dwordptr[ecx];read4bytes

movedx,7efefeffh

addedx,eax

xoreax,-1

xoreax,edx

addecx,4

testeax,81010100h

jeshortmain_loop

;foundzerobyteintheloop

moveax,[ecx-4]

testal,al;isitbyte0

jeshortbyte_0

testah,ah;isitbyte1

jeshortbyte_1

testeax,00ff0000h;isitbyte2

jeshortbyte_2

testeax,0ff000000h;isitbyte3

jeshortbyte_3

jmpshortmain_loop;takenifbits24-30areclearandbit

;31isset

byte_3:

leaeax,[ecx-1]

movecx,string

subeax,ecx

ret

byte_2:

leaeax,[ecx-2]

movecx,string

subeax,ecx

ret

byte_1:

leaeax,[ecx-3]

movecx,string

subeax,ecx

ret

byte_0:

leaeax,[ecx-4]

movecx,string

subeax,ecx

ret

strlenendp

end

只看主體部分的匯編代碼，我們進(jìn)行逐句研究。

首先，是聲明了strlen的公共符號(hào)，以及strlen的函數(shù)參數(shù)等聲明，OPTION一句代碼是為了讓匯編程序不生成開(kāi)始代碼和結(jié)束代碼（這個(gè)可以查閱相關(guān)文獻(xiàn)資料，這里不進(jìn)行詳細(xì)解釋），下一句.FPO，是與堆棧指針省略（FramePointOmission）相關(guān)的，在MSDN里面的解釋如下：

FPO (cdwLocals, cdwParams, cbProlog, cbRegs, fUseBP, cbFrame)

cdwLocals：Number of local variables, an unsigned 32 bit value.

cdwParams：Size of the parameters, an unsigned 16 bit value.

cbProlog：Number of bytes in the function prolog code, an unsigned 8 bit value.

cbRegs：Number of bytes in the function prolog code, an unsigned 8 bit value.

fUseBP：Indicates whether the EBP register has been allocated. either 0 or 1.

cbFrame：Indicates the frame type.在這里只需要關(guān)注第二個(gè)參數(shù)，它為1，表示有一個(gè)參數(shù)。strlen本身也就是一個(gè)參數(shù)。其他參數(shù)，看上面的英文注釋?xiě)?yīng)該很簡(jiǎn)單了，這里不作解釋。你也可以點(diǎn)擊這里查閱。

繼續(xù)向下，關(guān)注這三句：

[cpp]view plaincopy

stringequ[esp+4]

movecx,string;ecx->string

testecx,3;testifstringisalignedon32bits

jeshortmain_loop

第一句，esp+4這個(gè)就簡(jiǎn)單了，在《【動(dòng)態(tài)分配棧內(nèi)存】之a(chǎn)lloca內(nèi)幕》一文中有詳細(xì)的解釋，這里只做簡(jiǎn)單解釋，esp+4正是strlen參數(shù)的地址，這個(gè)地址屬于棧內(nèi)存空間，再[esp+4]取值，則得到strlen參數(shù)指向的地址（strlen的參數(shù)為const char*）。假如代碼是這樣的：

[cpp]view plaincopy

charszName[]="masefee";

strlen(szName);

那么，上面的[esp+4]所得的地址值就是szName數(shù)組的首地址。前面的string equ [esp+4]并不會(huì)產(chǎn)生任何代碼，string只相當(dāng)于是一個(gè)宏定義（至于為什么需要這個(gè)string，到后面就知道了，你要相信，這一切都是有理有據(jù)的，這也正是研究的樂(lè)趣之一），于是mov ecx,string就等價(jià)于mov ecx,[esp+4]，這句是直接將參數(shù)指向的地址值賦值給ecx寄存器，ecx此刻就是字符串的首地址了。再下一句，test ecx,3，這句是測(cè)試ecx存放的這個(gè)地址值是不是4字節(jié)（32bits）對(duì)齊的，如果是，則跳轉(zhuǎn)到main_loop進(jìn)行執(zhí)行，否則，則繼續(xù)向下。我們先看未對(duì)齊的情況，自然就是緊接著的str_misaligned節(jié)：

[cpp]view plaincopy

str_misaligned:

moval,byteptr[ecx]

addecx,1

testal,al

jeshortbyte_3

testecx,3

jneshortstr_misaligned

addeax,dwordptr0;5bytenoptoalignlabelbelow

align16;shouldberedundant

先不看這段代碼，我們先推斷一下，前面說(shuō)到了不對(duì)齊的情況，一般對(duì)于操作系統(tǒng)來(lái)說(shuō)，對(duì)于內(nèi)存的分配總是會(huì)對(duì)齊的，所以這里strlen一進(jìn)來(lái)就檢查是否對(duì)齊，那么不對(duì)齊的情況是什么時(shí)候呢？如下：

[cpp]view plaincopy

charszName[]="masefee";

char*p=szName;

p++;//使p向后移動(dòng)一個(gè)字節(jié)，本身假設(shè)以4字節(jié)對(duì)齊，移動(dòng)之后就不再4字節(jié)對(duì)齊了

strlen(p);

當(dāng)然，這里是我故意寫(xiě)成這樣的，在實(shí)際中還有其他的情況，例如一個(gè)結(jié)構(gòu)體里面有一個(gè)字符串，這個(gè)結(jié)構(gòu)體是一字節(jié)對(duì)齊的，字符串的位置不確定時(shí)，那么字符串的首地址也就可能不是4字節(jié)對(duì)齊的。繼續(xù)前面的推斷，如果不對(duì)齊時(shí)，就會(huì)先讓其對(duì)齊，然后再繼續(xù)求長(zhǎng)度，如果在讓其重新對(duì)齊的過(guò)程中，發(fā)現(xiàn)了結(jié)束符則停止，立刻返回長(zhǎng)度。好了，推斷完畢。再看上面的匯編代碼，果然是這樣干的。

先是向ecx指向的內(nèi)存里取一個(gè)字節(jié)到al里，然后ecx加1向后移動(dòng)一個(gè)字節(jié)，再判斷al是否為0，如果為0則跳轉(zhuǎn)到byte_3節(jié)，否則繼續(xù)測(cè)試ecx當(dāng)前的地址值是否已經(jīng)對(duì)齊，未對(duì)齊則繼續(xù)取一個(gè)字節(jié)的值，再加ecx，直到對(duì)齊或者碰到結(jié)束符。當(dāng)沒(méi)有碰到結(jié)束符且ecx存放的地址值已經(jīng)對(duì)齊時(shí)，下面一句add eax,dword ptr 0，后面有注釋，表明這句代碼無(wú)實(shí)際意義。align 16和前面的add共同作用是為了將代碼以16字節(jié)對(duì)齊，后面的main_loop就是16字節(jié)對(duì)齊開(kāi)始的地址了（又一次感受到了MS工程師們的聰明之處，考慮很周到）。

接下來(lái)該進(jìn)入到main_loop了，很明顯這是主循環(huán)的意思，也是strlen的核心。這里用了很巧妙的算法，先分析前半部分代碼：

[cpp]view plaincopy

moveax,dwordptr[ecx];read4bytes

movedx,7efefeffh

addedx,eax

xoreax,-1

xoreax,edx

addecx,4

testeax,81010100h

jeshortmain_loop

首先，第一句向ecx所指向的內(nèi)存里讀取了4個(gè)字節(jié)到eax中，很明顯是想4個(gè)字節(jié)處理一次。然后再看第二句，將edx賦值為0x7efefeff，這個(gè)數(shù)字看起來(lái)有什么規(guī)律，有什么用呢？來(lái)看看這個(gè)數(shù)字的二進(jìn)制：

01111110 11111110 11111110 11111111 看看這個(gè)數(shù)字的二進(jìn)制，我們注意到有4個(gè)紅色的0，他們都有一個(gè)特征，就是在每個(gè)字節(jié)的左邊，這有什么用？再聯(lián)想一下，在左邊，什么時(shí)候會(huì)被修改？很明顯，當(dāng)右邊有進(jìn)位時(shí)，會(huì)修改到這個(gè)0，或者這幾個(gè)0的位置與另外一個(gè)數(shù)相運(yùn)算時(shí)會(huì)被改變。先不忙分析，先看下一句add edx,eax，這一句是將從ecx指向的內(nèi)存里取出來(lái)的4字節(jié)整數(shù)與0x7efefeff相加，奇怪了，這樣相加有什么意義呢？仔細(xì)一想，驚訝了，原理這樣相加就能知道這個(gè)4字節(jié)整數(shù)中哪個(gè)或哪幾個(gè)字節(jié)為0了。為0則達(dá)到了strlen的目的，strlen就是為了找到結(jié)束符，然后返回長(zhǎng)度。 再看這個(gè)加法的過(guò)程，加法的目的就是為了讓上面4個(gè)紅色的0中某些0被改變，如果有哪個(gè)0沒(méi)有改變并且最高位的0未改變，那說(shuō)明這4個(gè)字節(jié)中存在某個(gè)或某些字節(jié)為0。這幾個(gè)紅色的0可以被稱為是洞(hole)，而且也很形象。舉個(gè)例子：

byte3 byte2 byte1byte0

???????? 00000000 ???????? ???????? // eax

+ 01111110 11111110 11111110 11111111 // edx = 0x7efefeff 上面是假設(shè)兩個(gè)數(shù)相加，問(wèn)號(hào)代表0或者1，但整個(gè)字節(jié)不全0，eax的byte2為全0，與edx的byte2相加，不管byte1和byte0怎么相加，最后進(jìn)位都只能最多為1，那么byte3的最低位永遠(yuǎn)不可能改變。以此類推，如果byte0為0，byte1的最低位永遠(yuǎn)不可能改變，只有byte0有1位不為0，byte1的最低位都會(huì)收到進(jìn)位，這也就是為什么edx的byte0為0xff了。所有byte都靠進(jìn)位進(jìn)行判斷，只要右邊沒(méi)有進(jìn)位則必然存在byte為0。

繼續(xù)向下看，xor eax,-1則是將eax（從ecx指向的內(nèi)存里取得的4字節(jié)）取反。然后xor eax,edx，這句的意圖是取出執(zhí)行前面的加法之后的值（add edx,eax后edx的值）中未改變的那些位，繼續(xù)，add ecx,4則表示將ecx向后移動(dòng)4個(gè)字節(jié)，方便下次進(jìn)行運(yùn)算。再之后，一句test eax,81010100h，這個(gè)0x81010100就是前面0x7efefeff取反，也就是幾個(gè)hole的位置為1。再與前面取出來(lái)的加法之后的值（add edx,eax后edx的值）中未改變的那些位相比較：如果結(jié)果為0，則表示加法之后的值（add edx,eax后edx的值）與原始值eax（取出來(lái)的原始字符串的4個(gè)字節(jié)）作比較，并且相對(duì)于0x7efefeff中的4個(gè)0（hold）的位置上，每一個(gè)0的位置（hole）都被改變了（或者相對(duì)于0x81010100中4個(gè)1（同樣是hold的位置）的位置上，每一個(gè)1的位置（hole）都被改變了）；如果不為0，同理比較，則發(fā)現(xiàn)有字節(jié)為0。由此看來(lái)，與0x81010100進(jìn)行test就是為了判斷從字符串取出來(lái)的4個(gè)字節(jié)與0x7efefeff相加之后的值的那幾個(gè)hold的位置相對(duì)于原始的4個(gè)字節(jié)中的那幾個(gè)hole的位置里，哪些hole位置的位是被改變了的。如果每個(gè)hole的位置都改變了則test結(jié)果為0，表示沒(méi)有字節(jié)為0，否則，則表示有字節(jié)為0。

當(dāng)發(fā)現(xiàn)有字節(jié)為0時(shí)，則應(yīng)該對(duì)取出來(lái)的4字節(jié)進(jìn)行逐字節(jié)判斷哪個(gè)字節(jié)為0了，如下：

[cpp]view plaincopy

moveax,[ecx-4]

testal,al;isitbyte0

jeshortbyte_0

testah,ah;isitbyte1

jeshortbyte_1

testeax,00ff0000h;isitbyte2

jeshortbyte_2

testeax,0ff000000h;isitbyte3

jeshortbyte_3

jmpshortmain_loop;takenifbits24-30areclearandbit

;31isset

如上，第一句[ecx-4]的原因是因?yàn)閑cx在前面加了4，因此要減4重新去開(kāi)始的4字節(jié)，然后逐字節(jié)判斷哪個(gè)字節(jié)為0，代碼很簡(jiǎn)單，這里就不詳細(xì)說(shuō)明了。這里如果發(fā)現(xiàn)了某個(gè)字節(jié)為0，則跳轉(zhuǎn)到相應(yīng)的尾部節(jié)中，如下：

[cpp]view plaincopy

byte_3:

leaeax,[ecx-1]

movecx,string

subeax,ecx

ret

byte_2:

leaeax,[ecx-2]

movecx,string

subeax,ecx

ret

byte_1:

leaeax,[ecx-3]

movecx,string

subeax,ecx

ret

byte_0:

leaeax,[ecx-4]

movecx,string

subeax,ecx

ret

以byte_3為例，也就是取出來(lái)的四個(gè)字節(jié)中，第4個(gè)字節(jié)為0，前3個(gè)字節(jié)不為0，于是eax就應(yīng)該等于ecx-1，然后將ecx重新賦值為字符串的首地址（到這里你應(yīng)該明白了為啥要有string這個(gè)宏了吧）。最后sub eax,ecx則直接獲得了字符串的長(zhǎng)度。然后ret返回到上層。整個(gè)strlen就結(jié)束了。

通過(guò)前面的分析，我們已經(jīng)知道了strlen的原理，并且更深刻領(lǐng)略了算法的美妙。我們可以將這個(gè)匯編版本的strlen翻譯成C語(yǔ)言版，如下：

[cpp]view plaincopy

size_tstrlen(constchar*str)

{

constchar*ptr=str;

for(;((int)ptr&0x03)!=0;++ptr)

{

if(*ptr=='\0')

returnptr-str;

}

unsignedint*ptr_d=(unsignedint*)ptr;

unsignedintmagic=0x7efefeff;

while(true)

{

unsignedintbits32=*ptr_d++;

if((((bits32+magic)^(bits32^-1))&~magic)!=0)//bits32^-1等價(jià)于~bits32

{

ptr=(constchar*)(ptr_d-1);

if(ptr[0]==0)

returnptr-str;

if(ptr[1]==0)

returnptr-str+1;

if(ptr[2]==0)

returnptr-str+2;

if(ptr[3]==0)

returnptr-str+3;

}

}

}

好了，strlen就差不多分析完了，最后面的C語(yǔ)言版本還可以變化，例如根據(jù)字符的編碼集，進(jìn)行特殊化。不過(guò)一般是不需要的，通用一些更好。我做了一個(gè)測(cè)試，將本文開(kāi)頭的C語(yǔ)言版本、最后的C語(yǔ)言版本以及crt的匯編版本的性能進(jìn)行對(duì)比，求相同字符串的長(zhǎng)度，求10000000次，開(kāi)啟O2優(yōu)化，三者平均耗時(shí)為：

普通C語(yǔ)言版本：723毫秒

后面的翻譯C版本：315毫秒

CRT匯編版本：218毫秒 可見(jiàn)，后兩者的性能有一定的提升，這里需要說(shuō)明一點(diǎn)，crt的strlen函數(shù)屬于intrinsic函數(shù)，所謂intrinsic函數(shù)，可以稱作為內(nèi)部函數(shù)，這與inline函數(shù)有點(diǎn)類似，但是不是inline之意。inline不是強(qiáng)制的，在編譯器編譯時(shí)也是有所區(qū)別的。intrinsic函數(shù)相當(dāng)于是在編譯器在編譯時(shí)根據(jù)上下文等情況來(lái)確定是否將函數(shù)代碼進(jìn)行匯編級(jí)內(nèi)聯(lián)，在內(nèi)聯(lián)的同時(shí)進(jìn)行優(yōu)化，由此既省去了函數(shù)調(diào)用開(kāi)銷，同時(shí)優(yōu)化也更直接明了。編譯器熟悉intrinsic函數(shù)的內(nèi)在功能，很多時(shí)候又稱為內(nèi)建函數(shù)，因此編譯器可以更好的整合及優(yōu)化，目的只有一個(gè)，在特定的環(huán)境下，選擇最優(yōu)的方案。就拿strlen來(lái)說(shuō)，例如這樣一段代碼：

[cpp]view plaincopy

intmain(intargc,char**argv)

{

intlen=strlen(argv[0]);

printf("%d",len);

return0;

}

在debug下禁用優(yōu)化、release下禁用優(yōu)化或release下最小化大小(/O1)時(shí)，可以強(qiáng)制開(kāi)啟intrinsic內(nèi)部函數(shù)選項(xiàng)(/Oi)，這樣開(kāi)啟之后，上面的strlen函數(shù)將不再調(diào)用crt的匯編版本函數(shù)，而是直接內(nèi)嵌到main函數(shù)代碼里，如下（debug或release下禁用優(yōu)化并開(kāi)啟內(nèi)部函數(shù)(/Oi)）：

[cpp]view plaincopy

intlen=strlen(argv[0]);

0042D8DEmoveax,dwordptr[argv]

0042D8E1movecx,dwordptr[eax]

0042D8E3movdwordptr[ebp-0D0h],ecx

0042D8E9movedx,dwordptr[ebp-0D0h]

0042D8EFaddedx,1

0042D8F2movdwordptr[ebp-0D4h],edx

0042D8F8moveax,dwordptr[ebp-0D0h]<------???

0042D8FEmovcl,byteptr[eax]|

0042D900movbyteptr[ebp-0D5h],cl|//逐字節(jié)計(jì)算

0042D906adddwordptr[ebp-0D0h],1|

0042D90Dcmpbyteptr[ebp-0D5h],0|

0042D914jnemain+38h(42D8F8h)//---------

0042D916movedx,dwordptr[ebp-0D0h]

0042D91Csubedx,dwordptr[ebp-0D4h]

0042D922movdwordptr[ebp-0DCh],edx

0042D928moveax,dwordptr[ebp-0DCh]

0042D92Emovdwordptr[len],eax

如果在release下開(kāi)啟最小化大小(/O1)并開(kāi)啟內(nèi)部函數(shù)(/Oi)時(shí)，編譯后代碼如下：

[cpp]view plaincopy

intlen=strlen(argv[0]);

00401000moveax,dwordptr[esp+8]

00401004moveax,dwordptr[eax]

00401006leaedx,[eax+1]

00401009movcl,byteptr[eax]<------??

0040100Binceax|//逐字節(jié)計(jì)算

0040100Ctestcl,cl|

0040100Ejnemain+9(401009h)-------

00401010subeax,edx

代碼簡(jiǎn)潔多了，同樣沒(méi)有函數(shù)調(diào)用開(kāi)銷（其實(shí)，你會(huì)驚訝的發(fā)現(xiàn)，這幾句代碼正是本文開(kāi)篇第二個(gè)C語(yǔ)言版的strlen的反匯編代碼，當(dāng)然是經(jīng)過(guò)優(yōu)化后的代碼，這里省去了調(diào)用開(kāi)銷。其實(shí)，本文前面開(kāi)頭的兩個(gè)strlen，在開(kāi)啟較高優(yōu)化級(jí)別時(shí)，編譯器也會(huì)將這兩個(gè)函數(shù)進(jìn)行優(yōu)化內(nèi)嵌，也就與intrinsic函數(shù)一致了。這說(shuō)明一點(diǎn)，編譯器是人性化的，只要能夠滿足優(yōu)化的條件，就會(huì)果斷進(jìn)行優(yōu)化）。在開(kāi)啟最小化大小(/O1)優(yōu)化并開(kāi)啟內(nèi)部函數(shù)(/Oi)優(yōu)化與release下開(kāi)啟最大化速度(/O2)或完全優(yōu)化(/Ox)時(shí)，產(chǎn)生的代碼是一致的。與release下開(kāi)啟最大化速度(/O2)或完全優(yōu)化(/Ox)時(shí)，就算你不開(kāi)啟內(nèi)部函數(shù)(/Oi)優(yōu)化，編譯器同樣會(huì)將strlen處理掉產(chǎn)生上面的代碼。這個(gè)跟優(yōu)化的級(jí)別有關(guān)，級(jí)別高了，自然就會(huì)更全面的優(yōu)化，不管你是否強(qiáng)制設(shè)置一些東西。也算是一個(gè)人性化設(shè)計(jì)吧。 要開(kāi)啟某函數(shù)進(jìn)行內(nèi)部函數(shù)優(yōu)化，可以通過(guò)代碼來(lái)開(kāi)啟，如下：

[cpp]view plaincopy

#pragmaintrinsic(strlen)

有開(kāi)啟，自然也有關(guān)閉，如下：

[cpp]view plaincopy

#pragmafunction(strlen)

強(qiáng)制將strlen的優(yōu)化關(guān)閉，這樣就算你是最大化速度(/O2)或完全優(yōu)化(/Ox)，照樣會(huì)調(diào)用crt的strlen函數(shù)。這兩者的具體詳細(xì)說(shuō)明，請(qǐng)查閱MSDN，或點(diǎn)擊這里。

關(guān)于這個(gè)intrinsic pragma，MSDN有詳細(xì)準(zhǔn)確的解釋，還是英文原文更能體會(huì)其本意：

Theintrinsicpragma tells the compiler that a function has known behavior. The compiler may call the function and not replace the function call with inlineinstructions, if it will result in better performance. .........

Programs that use intrinsic functions are faster because they do not have the overhead of function calls but may be larger due to the additional code generated.

對(duì)了，不要試圖用這兩個(gè)東西來(lái)強(qiáng)制開(kāi)啟或關(guān)閉一個(gè)普通函數(shù)的(/Oi)優(yōu)化，所謂intrinsic，當(dāng)然是編譯器內(nèi)定的一些函數(shù)，也算是做了一些細(xì)節(jié)上優(yōu)化的可選擇性吧。如果你不信我的，那你肯定會(huì)得到一個(gè)警告：

warning C4163: “xxxxx”: 不可用作內(nèi)部函數(shù).

對(duì)于intrinsic的相關(guān)優(yōu)化，編譯器處理得比較靈活，這代表它并不是強(qiáng)制性的，如果開(kāi)啟SSE，編譯器還會(huì)考慮SSE優(yōu)化，在原理上，知道有這么回事就是了，本文的重點(diǎn)在于如何去挖掘和思考諸多細(xì)節(jié)。至于具體的內(nèi)定的函數(shù)有哪些，以及有哪些詳細(xì)說(shuō)明，請(qǐng)查閱MSDN，或者點(diǎn)擊前面的鏈接。這里就不再累述了，已經(jīng)寫(xiě)了這么長(zhǎng)了。。

與此同時(shí)再一次感嘆MS的工程師們，細(xì)節(jié)做得很好。這也值得國(guó)內(nèi)IT行業(yè)浮躁環(huán)境下的coder們深思。