Re: [問卦] C語言沒人用goto? - Gossiping板

首頁(home) 上頁(↑) 下頁(↓) 末頁(end)

※ 本文為 ChiChi7.bbs. 轉寄自 ptt.cc 更新時間: 2017-10-13 01:00:36

看板 Gossiping

作者 grapherd (NULL)
標題 Re: [問卦] C語言沒人用goto?
時間 Thu Oct 12 06:56:41 2017

※ 引述《bencert (根本ㄏㄏ)》之銘言：
: 小弟我剛剛想起來
: C語言有種用法是goto
: 但是上程式設計的課老師也跳過不教
: 我看也沒人用過goto
: 有沒有C語言GOTO的八卦?
: -----
: Sent from JPTT on my Samsung SM-G930F.

八卦是，ptt 的程式碼裡面也有使用 goto.

在 c99 spec 裡面，goto 是定義在 6.8.6 Jump Statements
其中的 6.8.6.1 The goto statement. 作用就是提供一個無條件
跳躍的功能. Spec 裡面給的範例是這個:

/* ... */
goto first_time;
for (;;) {
// determine next operation
/* ... */

if (need to reinitialize) {

// reinitialize-only code

/* ... */

first_time:

// general initialization code

continue;

}
// handle other operations
/* ... */
}

基本上這樣的形式，還是能夠做簡化的，只要把 first_time label
下面的 initialization code 做成一個 function 去 call，就不用
用到 goto label 了。

至於會使用到 goto 的一些理由，在要求結構化程式碼，以及編譯器
優化隨著技術進步的關係，也越來越站不住腳了。

至於為什麼台灣都有種無腦不使用 goto 的教條呢？因為當老師的
只會舉一些鳥蛋的例子啊：

int main() {
int i = 0;

loop:
printf("%d\n", i++);
if (i < 10)

goto loop;

}

然後就沒了。

然後就沒了。

然後就沒了。

目前比較大的 C 語言專案中用到 goto，幾乎都是在做 exception handling 的部分，

因為 C 語言的特性，出錯了的時候，很多動態配置的記憶體會需要回收掉，
要不然會造成 memory leak。這時候 goto 就變得很方便。例如說 CPython
的這段程式碼：

static void
TaskObj_finalize(TaskObj *task)
{
/* ... */
if (task->task_state != STATE_PENDING ||
!task->task_log_destroy_pending) {

goto done;

}

/* ... */
context = PyDict_New();

if (context == NULL) {

goto finally;

}

message = PyUnicode_FromString("Task was destroyed...");

if (message == NULL) {

goto finally;

}

/* ... */
finally:
Py_XDECREF(context);
Py_XDECREF(message);

/* Restore the saved exception. */
PyErr_Restore(error_type, error_value, error_traceback);

done:
FutureObj_finalize((FutureObj*)task);
}

https://github.com/python/cpython/blob/master/Modules/_asynciomodule.c#L1711

cpython/_asynciomodule.c at master · python/cpython · GitHub

cpython - The Python programming language ...

這邊就能很明顯看出 goto 的作用啦，第一個 goto done，因為還沒有
allocate context 或是 message，所以不需要去做善後的工作，如果這時候
觸發這個 goto 的話，就直接到底就好。

但是如果遇到 context 或是 message allocate 失敗的話，因為已經有
allocate 一些資源，就必須要跳到 finally 去把這些資源給清空以及還原。

在 Linux kernel 裡面也有許多需要做 exception handling 的部分，
因此也大量的使用了 goto, 但不太會有教科書上那種錯誤範例的使用方式
在裡面就是了。

最後，pttbbs 本身也有用啊 XDDD

https://github.com/ptt/pttbbs/blob/master/mbbsd/brc.c#L689

pttbbs/brc.c at master · ptt/pttbbs · GitHub