顯示廣告
隱藏 ✕
※ 本文為 MindOcean 轉寄自 ptt.cc 更新時間: 2019-01-18 06:39:47
看板 Gossiping
作者 jserv (松鼠)
標題 Re: [問卦] C語言最難的部分是哪一個
時間 Thu Jan 17 03:24:08 2019


※ 引述《yuponkimo (皇甫尊)》之銘言:
: 內葛,

(學期即將結束,我終於有空上來發廢文了)

葛,是豆科多年生草本植物,莖長二、三丈,纏繞他物上,花紫紅色。用途多樣,
莖可編籃做繩,纖維可織葛布。根可提製澱粉,又供藥用。葛根,能解饑退熱,
治高血壓、頸項強痛、冠心病等。

《詩經.國風.周南.葛覃》開頭寫道「葛之覃兮,施于中谷,維葉萋萋」,意思是
長長的葛藤生長,蔓延到谷中,伴隨著茂盛的葉子。兄台用「葛」來點題,訴說 C
語言近 50 年歷久彌新的發展,實在高竿啊!

: 我自己覺得是Linked list啦,
: 射來射去的豆頁真的疼,
: 花了好長時間才寫出一題來,
: 好好的structure為什麼要再加上指到自己的指標呢?

這裡又用「豆」提醒大家,「葛」屬於豆科,用心良苦。

Linux 核心之父 Linus Torvalds 在 TED 2016 的訪談 [1] 中,用 linked list 程式碼
作為解說「程式設計的品味」,在有限的訪談中,Linus 不去解釋程式碼的運作,而僅用
程式碼的長度變化,讓會眾體驗到「一個目的有著多條路徑,但我們該如何取捨呢?」,
我想,這也是 C 語言程式設計中,最為困難的地方,也就是「品味」。


考慮以下自給定的 linked list 中刪去特定節點的程式碼: (佔用 10 行)

void remove_list_node(List *list, Node *target) {
    Node *prev = NULL;
    Node *current = list->head;
    while (current != target) {
        prev = current;
        current = current->next;
    }
    if (!prev)
        list->head = target->next;
    else
        prev->next = target->next;
}

但 Linus 說,其實可改寫為以下功能一致,但更有「品味」的實作: (僅用 4 行)

void remove_list_node(List *list, Node *target) {
    Node **indirect = &list->head;
    while (*indirect != target)
        indirect = &(*indirect)->next;
    *indirect = target->next;
}

上述程式碼從「要更新什麼位置的資料」思考,無論是 head 或者非 head,更新的是
同一類型的資料,不用特別操作,自然省下額外的處理。

也許你會好奇,那麼新增節點的程式碼是否也可運用類似技巧呢?當然可以!請見以下:

void insert_list_node(List **head, int val) {

    while (*head) {
        head = &((*head)->next);
    }
    *head = calloc(1, sizeof(List));
    (*head)->val = val;
}

要掌握這樣的「品味」之前,務必先征服 C 罩杯。依據 Wikipedia 的解說 [2]:
> 根據製造商的不同,版型可能有所不同因而穿著效果上有所差異。
> 罩杯尺寸大致是下列公式換算可得知:罩杯尺寸 = 上胸圍 - 下胸圍

上述「上圍」和「下圍」就對應到 C 語言規格的 data type,而在 C 語言中基礎運算
型態和對應修飾字均有資料範圍規範,千萬不要小看數值範圍對程式設計的影響,傾家
蕩產或國破家亡都有可能。


1996 年 6 月 4 日,在風和日麗的法屬蓋亞那太空中心 (法文: Centre Spatial
Guyanais),歐洲太空總署發射了一艘名為 Ariane 5 的火箭,預計運送 4 顆太陽風觀察
衛星到軌道。火箭本身加上載運的人造衛星及科學儀器值 USD 7.5 billion (台幣約2250
億)。Ariane 名稱來源於神話人物阿麗雅杜妮 (Ariadne) 的法語拼寫。


在當時,Ariane 系列火箭承包了全球商業衛星的發射約 50% 的業務量,而人們萬萬沒想
到,Ariane 5 發射後 37 秒,升空到 4 公里處,火箭偏離預定飛行軌跡,解體並爆炸,
2 名法國士兵當場死亡。

失事調查報告指出:水平加速偵測儀傳了一個 64-bit 浮點數給電腦,但飛行電腦用
16-bit 有號整數來接受這個浮點數,很不巧傳來的數字大於 32767,發生溢位 (Overflow)
例外,這樣的軟體設計缺失很常見,但對 Ariane 5 來說,下場竟是火箭的推進向量噴嘴
忽然朝某個方向轉到底,在高速偏航後,最終火箭解體。

開發 Ariane 5 火箭的軟體工程師在前一代 Ariane 4 中,小心翼翼地確認數值分佈,
確保水平速率的數值絕不會超過 16-bit 表達範圍以外。這些工程師在 Ariane 5 系統
沿用這段程式碼,卻沒有檢查前述假設是否符合新的設計。


上述 Ariane 5 火箭事故對應的展示用 C 語言程式如下:

void show_info(double d, int16_t n) {
    n = (int16_t) d;
    printf("d = %f, n = %d \n", d, n);
}
int main() {
    double d1 = 32767.0, d2 = 32768.0;
    int16_t n = 0;
    show_info(d1, n); show_info(d2, n);
    return(0);
}

第 1 個輸出是 n = 32767; 第 2 個輸出則是 n = -32768
差之毫釐,失之千里!

更多這類軟體缺失造成巨大危害的案例可見 [3],問題的根源竟然是「沒掌握好罩杯」,
你說,是不是該誠實面對自己,學好數值系統呢?可參照線上講座 [4]

回到之前提及的 linked list,這不全然是資料結構相關議題,在真實世界中,我們還要
討論這類非連續記憶體的資料操作效率和正確性,尤其是 Throughput (吞吐量; 單位時
間內可處理多少的資料量) 和 Scalability (擴展性; 隨著硬體資源的投入,可處理越來
越多的資料或工作時的能力或潛力),相當值得大書特書,可參見線上講座 [5] [6]。


歡迎關注「你所不知道的 C 語言」系列講座: http://hackfoldr.org/dykc/

[1] https://www.ted.com/talks/linus_torvalds_the_mind_behind_linux
Linus Torvalds: The mind behind Linux | TED Talk
[圖]
Linus Torvalds transformed technology twice -- first with the Linux kernel, which helps power the Internet, and again with Git, the source code manage ...

 
    Linus 在 2001 年之後幾乎就沒有公開演講,只接受訪談對話形式,這次在 TED
    竟然出動了 TED 總監 Chris Anderson 來訪談,可能是頭一遭
[2] https://zh.wikipedia.org/wiki/罩杯
[3] https://hackmd.io/s/B1eo44C1-
軟體缺失導致的危害 - HackMD
[圖]
# 軟體缺失導致的危害 資料整理: [jserv]( :::info 這世界最有可能毀滅的方式 —— 大多數專家都同 ...

 
[4] https://hackmd.io/s/BkRKhQGae
你所不知道的C語言:數值系統篇 - HackMD
[圖]
# [你所不知道的C語言]( Copyright (**慣C**) 2017 [宅色夫]( ...

 
[5] https://hackmd.io/s/SkE33UTHf
你所不知道的C語言: linked list 和非連續記憶體操作 - HackMD
[圖]
# [你所不知道的C語言]( linked list 和非連續記憶體操作 Copyright (**慣C**) 2018 [宅色夫](htt ...

 
[6] https://hackmd.io/s/H19V4eyfV
Linux 核心設計: RCU 同步機制 - HackMD
[圖]
# [Linux 核心設計]( RCU 同步機制 Copyright (**慣C**) 2019 [宅色夫]( ...

 

--
--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 140.116.82.61
※ 文章代碼(AID): #1SFuJUH6 (Gossiping)
※ 文章網址: https://www.ptt.cc/bbs/Gossiping/M.1547666654.A.446.html
rockieloser: 推1F 01/17 03:24
sammoon: 趕快推2F 01/17 03:26
Turas: 趁早3F 01/17 03:27
pipi8696044: 1164F 01/17 03:27
jhjhs33504: 五推內5F 01/17 03:27
siscon: 哇賽6F 01/17 03:28
HateAnus: 十推7F 01/17 03:28
cip604: 推8F 01/17 03:28
dklash: 只能推了...9F 01/17 03:29
blue999: 說中文10F 01/17 03:31
ohsuoh: 笑了11F 01/17 03:31
jserv: @blue999, 請問哪段的中文表達不清楚呢?12F 01/17 03:31
IsMe5566: 釣到大神了13F 01/17 03:32
POCARI5566: 有神快拜14F 01/17 03:33
water200427: 這不管嗑了什麼,都給我來一點15F 01/17 03:33
raagi: 推 老師是不是壓力大16F 01/17 03:33
jhjhs33504: 後半牽涉到計算機組織的部分略嫌草率17F 01/17 03:35
Noxves: 推18F 01/17 03:36
jserv: @raagi, 我面臨的壓力約 101.325 kPa (標準 1 大氣壓)19F 01/17 03:36
jserv: @jhjhs33504, 感謝鞭策!表示之後我可以繼續回文補充
buckle: 推21F 01/17 03:38
b0920075: 真的嗑很多...推22F 01/17 03:38
[圖]
Jim Huang
@jserv
我接觸過 C 語言、C 罩杯、C-class (賓士),此生無憾了
 
WYchuang: 有人說C++現在很爛 不知道大神的看法如何24F 01/17 03:42
ap954212: 老師早點睡25F 01/17 03:42
kiwi0530: 老師辛苦了,這麼晚還沒睡26F 01/17 03:43
jserv: @kiwi0530, 又到選課時間,怕課堂學生不夠,上來打廣告27F 01/17 03:44
f1256421: 我有推薦學弟妹去修 也有幫忙在低卡打廣告ㄛ28F 01/17 03:53
wenmilkyway: 文組QQ29F 01/17 03:54
takechance: 文組路過,反正就是理組無能讓火箭爆掉的對吧30F 01/17 03:58
owlonoak: 請問可以在哪上你的課阿31F 01/17 04:00
ninjahatoru: jserv!32F 01/17 04:02
waeshine: 推推33F 01/17 04:03
jserv: @takechance, 與其說「無能」,不如說現在工程挑戰已超出34F 01/17 04:07
jserv: 人們預期太多,而且隨著自動駕駛、遠距醫療手術,和通訊
jellyfishuan: 如果兩年前我是這樣入門的話 QQ36F 01/17 04:08
jserv: 系統大幅仰賴著複雜的軟體,挑戰更加嚴苛37F 01/17 04:08
brad001: 希望大三大四後能修教授的課 覺得自己實力不夠不敢選那堂38F 01/17 04:09
brad001: QQ
hizuki: gcc對強制轉換都有檢查了40F 01/17 04:09
jserv: 不過也不用杞人憂天,許多軟體工程師的創作在被大規模採納41F 01/17 04:10
jserv: 之前,就被宣布報銷了 (特別是台灣軟體工程師...)
shawnfu: 看到一堆pointer就頭痛, 還好不寫底層43F 01/17 04:11
doggying123: 推44F 01/17 04:12
jserv: @brad001, 有體力有決心就可以來 :-)45F 01/17 04:13
nonsu: 推46F 01/17 04:14
victoryzy: 跟著老師學好C語言有機會征服C罩杯嗎QQ47F 01/17 04:14
jserv: @victoryzy, 其實我是先征服C罩杯,然後才發現掌握C語言48F 01/17 04:15
jserv: 所以我讀 C 語言規格書時,對 data type 特別有感啊
bigrange: 老師接下來可以跳戰D罩杯了50F 01/17 04:17
jserv: @shawnfu, 以K&R C為例,許多人聞風喪膽的指標一直到該書的51F 01/17 04:17
jserv: 第 5 章,約全書一半才提到。可解讀為「你可以在不懂指標是
jserv: 什麼之前,仍可掌握多數的 C 語言功能」
jserv: @bigrange, 合用最重要,老婆哺乳漲得辛苦
jserv: @owlonoak, http://wiki.csie.ncku.edu.tw/User/jserv #
jserv: 上方連結有實體課程和線上講座的清單56F 01/17 04:25
revorea: 努...努力抽出時間把低級C語言學好中57F 01/17 04:32
hackerman: 每次看到得跪,腿好酸...58F 01/17 04:45
notneme159: 推個 完全看不懂59F 01/17 04:48
u9914014: 推60F 01/17 04:49
ZhouGongJin: 居……居然上鉤了61F 01/17 04:55
nanozako: 嗯 懂個5趴左右62F 01/17 04:57
gaduoray: 推一下 免得別人以為我看不懂63F 01/17 04:59
lala86591: Hello world64F 01/17 05:00
scottshai: 請問最近 systemd v240 的 systemd-journald exploit65F 01/17 05:10
thcb3181: 大神~66F 01/17 05:13
scottshai: 這類透過 stack overflow 的攻擊能夠從程式裡面防範嗎67F 01/17 05:14
bewilderment: XD68F 01/17 05:14
scottshai: 還是都使用 GCC 的 -fstack-clash-protection 編譯就好69F 01/17 05:15
ttff: 真神人也...70F 01/17 05:26
alan23273850: 原來 linked list 可以從 10 行精簡為 4 行阿......71F 01/17 05:37
alan23273850: 真是長知識了,從來都不知道 C 語言可以那麼美,就
alan23273850: 跟C罩杯一樣(誤),只是一下&一下*的看得豆頁女子痛.
kinomon: 笑死74F 01/17 05:45
q10242: 推75F 01/17 06:04
a2470abc: 先推大神 不知道最近嗑了什麼超純的76F 01/17 06:23
abc88662a: 先跪  嗚嗚嗚 jserv我推不上成大QQ77F 01/17 06:27
cool9203: 推老師QQ成大資工所有得上老師開的系統類的課嗎QQ78F 01/17 06:29
coolda: 推79F 01/17 06:39
rex44391: 推80F 01/17 06:55
TrevorStory: 長知識了81F 01/17 07:01
fwfly: 有神快拜82F 01/17 07:24
will1118: 老師好83F 01/17 07:25
heary: 推84F 01/17 07:25
Kerry: 推85F 01/17 07:36
CaptainTeemo: 太久沒用 C 惹,那四行想了一下86F 01/17 07:37
hotrain13: 大神出來了87F 01/17 07:37
jerry0715no1: 老師好88F 01/17 07:40
max0616: 推89F 01/17 07:45
Donaldren: 推90F 01/17 07:46
shunchao:91F 01/17 07:49
silentduke: 推92F 01/17 07:49
bala73: 有神快拜93F 01/17 07:51
ljsnonocat2:94F 01/17 07:53
gowellplayer: 讚95F 01/17 07:56
cons: 推96F 01/17 08:06
devilkool: 是大神97F 01/17 08:06
chps920281: 推98F 01/17 08:09
stw0975: 推99F 01/17 08:11
phubber: 推100F 01/17 08:11
pleasewait: jserv!101F 01/17 08:14
mamaka: 推102F 01/17 08:15
edward811022: 先推再說103F 01/17 08:16
SiFox: 推,我也要嗑104F 01/17 08:16
lookto: 推105F 01/17 08:19
yihchii: 推106F 01/17 08:25
lpoijk: 我的媽呀是大神 還很認真的回了廢文XDD107F 01/17 08:25
MattOwl: 讚108F 01/17 08:29
ji3g4m0: 我媽問我為什麼跪著打字109F 01/17 08:30
uonyang: 有神快拜…樓下快跪110F 01/17 08:30
DWR: 什麼東西啦                                有神快推111F 01/17 08:34
gugugaga: 為什麼刪除節點不用free掉啊112F 01/17 08:37
fuga0000: 推113F 01/17 08:38
ssccg: remove是把節點從list上拿掉,還沒有確定要刪掉節點114F 01/17 08:41
minimax76715: 有神快拜115F 01/17 08:44
kig88: 快拜116F 01/17 08:45
loona: 難個屁 學店仔117F 01/17 08:45
loona: 噓錯人 推回來
crazywolf: 哇,雖然看不懂還是推一下119F 01/17 08:47
perytech: 好文推!120F 01/17 08:49
BinJohn5566: 推121F 01/17 08:51
lwrwang: 神人快拜122F 01/17 08:54
vi000246: 我還是寫寫出bug不會死人的程式碼就好123F 01/17 09:05
CoolboyLinya: 看無124F 01/17 09:07
chang564: 朝聖125F 01/17 09:07
e00291001: 參見大神126F 01/17 09:15
yluok: 推127F 01/17 09:15
dmmsiang: 推128F 01/17 09:15
rum579: 推129F 01/17 09:16
abb123456: 推130F 01/17 09:18
jackwula9211: 太久沒碰C都快看不懂了,大神降臨131F 01/17 09:20
vn509942: 大神132F 01/17 09:20
abc53: 推133F 01/17 09:22
legendd: 朝聖個134F 01/17 09:23
jitaomef: 推135F 01/17 09:32
youjan: 快推136F 01/17 09:36
cphs102007: 蛤137F 01/17 09:37
VIGUTA: 腦幹中 我想我這輩子永遠搞不懂指指標了138F 01/17 09:39
tyr2004: 推139F 01/17 09:40
Wand 
Wand: 哈哈,大師早140F 01/17 09:43
gs8613789: 拜一下141F 01/17 09:46
TitanEric: 推唷142F 01/17 09:57
hotsizzle: 跪推143F 01/17 09:57
terryshu: 以跪144F 01/17 09:57
Euteamo: 推145F 01/17 10:04
qwer338859: 神146F 01/17 10:05
jserv: @loona, 我讀學店、我在學店教書,我驕傲!147F 01/17 10:09
jserv: @vi000246, 可是這樣的存在感就很低,咱們工程師要做大事的
jserv: @ssccg, 感謝澄清,上面我提及的操作應拆解為 remove (移除
jserv: 指定節點在 linked list 的連結) 和 reclamation (實際收回
jserv: 不再連結的記憶體空間,如網友提到的呼叫 free)
jserv: @lpoijk, 身處台灣最好的學店,當然要發廢文啊
jserv: @alan23273850, 任何領域追求極致的過程,都有「美」的成分
jserv: @cool9203, 歡迎訂閱線上講座 YouTube 頻道 (.GUTS)
tim0922: 不管怎樣 我先跪了155F 01/17 10:21
ck237: 看不懂156F 01/17 10:23
david220: XD157F 01/17 10:29
KLSAKKOCK: 推158F 01/17 10:31
mmc109815038: 看不懂  可是淚推159F 01/17 10:31
jserv: @mmc109815038, Linus舉出的程式碼就跟詩經一樣精簡又富有160F 01/17 10:33
love5566fan: 116161F 01/17 10:33
jserv: 情感。我學中文好多年,至今仍是很難掌握,程式語言也如是162F 01/17 10:36
xhung: 推推推 要不然別人以為我看不懂 XD163F 01/17 10:37
v86861062: :)164F 01/17 10:47
leo80042: 推165F 01/17 11:06
zu00405479: 老師請問半路出家的要怎麼讓基礎更扎實?  QQ166F 01/17 11:10
charlly: 頭痛167F 01/17 11:15
kuanyuu: 老師好!168F 01/17 11:16
KaryuuIssen: 移除時不用考慮找不到節點的情況嗎169F 01/17 11:18
Mood10207: 專業推@@!170F 01/17 11:24
a23460701: 推推松鼠171F 01/17 11:24
Lpll: 老師又出來拉高八卦的智商了QQ172F 01/17 11:26
heaviest: 推,希望有緣去成大上老師的課173F 01/17 11:41
Cybershit: 半夜不睡在發廢文174F 01/17 11:45
penta: 老師救我啊啊啊啊175F 01/17 11:45
maxxpme: 推176F 01/17 12:11
ikenaka: 116177F 01/17 12:15
he02789222: 117樓笑死ww jserv只能跪<(_ _)>178F 01/17 12:15
jetcoco: 嗯嗯 和我想的一樣179F 01/17 12:32
bij831: 說中文啊我看不懂180F 01/17 12:32
fg008kimo: 這來源解說得不錯  長知識181F 01/17 12:38
bassplayer: 優質文!182F 01/17 12:41
hohamita: 老師 程式碼的可讀性跟精簡程度要怎麼取捨呢183F 01/17 12:45
CrazyBug: Linked list都忘光惹184F 01/17 12:49
bbo6uis122: 推185F 01/17 12:54
xiefengan: 推186F 01/17 13:00
zoidsa12101: C語言都快忘了187F 01/17 13:06
OFAlpaca: 當初看到Linus的版本真的覺得很神奇188F 01/17 13:15
bridgepons: 神189F 01/17 13:54
Rapsody: 葛根: 解"肌"退熱 謝謝190F 01/17 14:49
j900155: 拜神191F 01/17 16:22
[圖]
 
Cyuhsuan: Push193F 01/17 19:02
yangbob1203: 希望畢業前有機會修老師的課194F 01/17 19:30
a5245242003: 請不會認真回廢文195F 01/17 20:56
aa85ss20: 老師!196F 01/17 20:58
okcool:轉錄至看板 YOLO                                          01/17 21:20
ariadne: 對不起 就算是溢位了也還活著  QQ197F 01/17 22:26
a5334x: 題外話 指標換掉前 記得要把memory還回去rrrrr198F 01/17 23:01

--
※ 看板: Gossiping 文章推薦值: 0 目前人氣: 0 累積人氣: 1385 
分享網址: 複製 已複製
1樓 時間: 2019-01-17 10:20:17 (台灣)
  01-17 10:20 TW
程式不是愈短愈好,要簡潔,但要容易看,這樣才好維護! 太多的指標與reference 很容易造成日後維護的困難!
r)回覆 e)編輯 d)刪除 M)收藏 ^x)轉錄 同主題: =)首篇 [)上篇 ])下篇