1 什么是goto語(yǔ)句？

goto語(yǔ)句被稱為C語(yǔ)言中的跳轉(zhuǎn)語(yǔ)句。用于無(wú)條件跳轉(zhuǎn)到其他標(biāo)簽。它將控制權(quán)轉(zhuǎn)移到程序的其他部分。

goto語(yǔ)句一般很少使用，因?yàn)樗钩绦虻目勺x性和復(fù)雜性變得更差。

語(yǔ)法：

goto語(yǔ)句示例

讓我們來(lái)看一個(gè)簡(jiǎn)單的例子，演示如何使用C語(yǔ)言中的goto語(yǔ)句。

打開Visual Studio創(chuàng)建一個(gè)名稱為：goto的工程，并在這個(gè)工程中創(chuàng)建一個(gè)源文件：goto-statment.c，其代碼如下所示。

執(zhí)行上面代碼，得到以下結(jié)果

2 為什么它這么不受待見？

二十幾年前，當(dāng)計(jì)算機(jī)編程尚處于起步階段時(shí)，程序流程是由“GOTO”語(yǔ)句來(lái)控制。該類語(yǔ)句允許程序員對(duì)當(dāng)前代碼行斷行，而直接進(jìn)入另一個(gè)不同的代碼段。以下為簡(jiǎn)單的示例，使用GOTO語(yǔ)句：

編程語(yǔ)言終究開始引入了函數(shù)的概念，即允許程序?qū)Υa進(jìn)行斷行。如果已經(jīng)完成，不再使用goto語(yǔ)句來(lái)表示代碼的斷行。函數(shù)調(diào)用后，函數(shù)將回到下一條指令。列表2為示例。這一做法改善了程序結(jié)構(gòu)，提高了可讀性。

自此，這被視為編寫程序的正確方法。只要看到或想到goto語(yǔ)句,就會(huì)讓軟件工程師退縮，產(chǎn)生本能 的厭惡。其中一個(gè)主要的原因是，一個(gè)遍布goto語(yǔ)句的程序會(huì)讓讓人很難抓住重心，不便于對(duì)程序的理解和維護(hù)。用函數(shù)控制流程，如下所示。

而wikipedia上的解釋就是，GOTO語(yǔ)句一直是批評(píng)和爭(zhēng)論的目標(biāo)，主要的負(fù)面影響是使用GOTO語(yǔ)句使程序的可讀性變差，甚至成為不可維護(hù)的「面條代碼」。隨著結(jié)構(gòu)化編程在二十世紀(jì)六十年代到七十年代變得越來(lái)越流行，許多計(jì)算機(jī)科學(xué)家得出結(jié)論，即程序應(yīng)當(dāng)總是使用被稱為「結(jié)構(gòu)化」控制流程的命令，如迴圈以及if-then-else語(yǔ)句來(lái)替代GOTO。甚至在今天，許多程序風(fēng)格編碼標(biāo)準(zhǔn)禁止使用GOTO語(yǔ)句。
為GOTO語(yǔ)句辯護(hù)的人認(rèn)為，加以限制地使用GOTO語(yǔ)句不會(huì)導(dǎo)致低質(zhì)量的代碼，并且聲稱在許多編程語(yǔ)言中，一些任務(wù)如果不使用一條或多條GOTO語(yǔ)句是無(wú)法被直接實(shí)現(xiàn)的。如有限狀態(tài)自動(dòng)機(jī)的實(shí)現(xiàn)、跳出嵌套循環(huán)以及異常處理。

大概最著名的對(duì)于GOTO的批評(píng)是艾茲格·迪杰斯特拉（Edsger Wybe Dijkstra）在1968年的一篇名稱為《GOTO陳述有害論》的論文。[2]迪杰斯特拉認(rèn)為不加限制地使用GOTO語(yǔ)句應(yīng)當(dāng)從高級(jí)語(yǔ)言中廢止，因?yàn)樗狗治龊万?yàn)證程序正確性（特別是涉及循環(huán)）的任務(wù)變得復(fù)雜。另外一種觀點(diǎn)出現(xiàn)在高德納的Structured Programming with go to Statements [3]中，文章分析了許多常見編程任務(wù)，然后發(fā)現(xiàn)其中的一些使用GOTO將得到最理想的結(jié)構(gòu)。

這些批評(píng)在一些編程語(yǔ)言的設(shè)計(jì)上起到了效果。雖然Ada語(yǔ)言的設(shè)計(jì)者在二十世紀(jì)七十年代晚期意識(shí)到了對(duì)于GOTO的批評(píng)，這條語(yǔ)句仍舊被包含進(jìn)去，主要是用來(lái)支持自動(dòng)生成那些goto語(yǔ)句必不可少的代碼。[4]但是，作為goto語(yǔ)句目的地的標(biāo)簽必須使用雙尖括號(hào)括起來(lái)（如：<>），而這個(gè)語(yǔ)法在其他語(yǔ)言中都不被使用。這使得檢查程序中g(shù)oto目的地的存在變得容易。goto語(yǔ)句本身使用簡(jiǎn)單的形式goto Start_Again;.

3 goto的變形

許多語(yǔ)言，如C語(yǔ)言和Java，提供了相關(guān)的控制流語(yǔ)句，如break和continue，它們都是有效地被限制的goto語(yǔ)句。它們的作用是無(wú)條件跳轉(zhuǎn)，但是只能夠跳到循環(huán)塊結(jié)束的位置——繼續(xù)進(jìn)入下一循環(huán)（continue）或者結(jié)束循環(huán)（break）。

C語(yǔ)言、C++和Java中的switch語(yǔ)句高效地實(shí)現(xiàn)了一個(gè)多路goto，跳轉(zhuǎn)目標(biāo)由表達(dá)式的值來(lái)選擇。

這也導(dǎo)致了我們沒有不得不使用goto的理由。

針對(duì)這些，導(dǎo)致目前goto的使用情況是這樣的：

goto語(yǔ)句的結(jié)果：在C/C++等高級(jí)編程語(yǔ)言中保留了goto語(yǔ)句，但被建議不用或少用。在一些更新的高級(jí)編程語(yǔ)言，如Java不提供goto語(yǔ)句，它雖然指定goto作為關(guān)鍵字，但不支持它的使 用，使程序簡(jiǎn)潔易讀；盡管如此后來(lái)的c#還是支持goto語(yǔ)句的，goto語(yǔ)句一個(gè)好處就是可以保證程序存在唯一的出口，避免了過于龐大的if嵌套。

另一方面，goto語(yǔ)句只是不提倡，當(dāng)然不是禁用，那么在什么情況下可以使用goto語(yǔ)句呢？

4 可以考慮使用goto的情形

從多重循環(huán)中直接跳出 ；

出錯(cuò)時(shí)清除資源；

可增加程序的清晰度的情況。

不加限制地使用goto：破壞了清晰的程序結(jié)構(gòu)，使程序的可讀性變差,甚至成為不可維護(hù)的"面條代碼"。經(jīng)常帶來(lái)錯(cuò)誤或隱患，比如它可能跳過了某些對(duì)象的構(gòu)造、變量的初始化、重要的計(jì)算等語(yǔ)句。

下列關(guān)于使用goto語(yǔ)句的原則可以供讀者參考。

使用goto語(yǔ)句只能goto到同一函數(shù)內(nèi)，而不能從一個(gè)函數(shù)里goto到另外一個(gè)函數(shù)里。

使用goto語(yǔ)句在同一函數(shù)內(nèi)進(jìn)行g(shù)oto時(shí)，goto的起點(diǎn)應(yīng)是函數(shù)內(nèi)一段小功能的結(jié)束處，goto的目的label處應(yīng)是函數(shù)內(nèi)另外一段小功能的開始處。

不能從一段復(fù)雜的執(zhí)行狀態(tài)中的位置goto到另外一個(gè)位置，比如，從多重嵌套的循環(huán)判斷中跳出去就是不允許的。

應(yīng)該避免像兩個(gè)方向跳轉(zhuǎn)。這樣最容易導(dǎo)致"面條代碼"。

閱讀過linux內(nèi)核代碼的同學(xué)應(yīng)該注意到，linux內(nèi)核代碼里面其實(shí)有不少地方用。

　　審核編輯：湯梓紅