Re: [問題]請教一下for與while為甚麼答案不一樣?
安安, 其實這題不需要真的執行啦! 只要善用簡單的靜態分析 (static
analysis) 技巧就可以知道問題在哪邊. 首先是 for 迴圈的基本定義, 我們可
以用判斷程式碼品質時常用的方法: 資料視覺化 (data visualization) 來為
程式碼片段做著色. for 迴圈裡的程式碼依照責任可以分成四個區塊:
for ( (1) ; (2) ; (3) ) {
(4)
}
雖然通常每個區塊做的事情都不同, 但求值順序卻是固定的, 如果我們想知道
迴圈的商業邏輯, 我們會直接看 (4) , 想知道問題的範圍/大小就看 (2) , 依
此類推. while 迴圈也有這四個區塊存在, 只是寫得比較分散一點:
(1)
while ( (2) ) {
(4)
(3)
}
從上面可以看到, while 迴圈的 (4) 和 (3) 同樣都寫在迴圈的本體內, 在閱
讀上和 for 相比多了區分兩區塊的步驟, 而且 (1) 容易和前面的程式碼混在
一起, 可讀性較差. 因為兩種迴圈是可以互轉的, 在發現有這個問題時, 就可
以嘗試將迴圈改寫, 改寫前先將程式碼著色 (從 for 迴圈出發):
int i=0,a;
for(a=0;i<n;a++) {
if(a%3==2 && a%5==3 && a%7==2)
i++;
}
如果轉成 while 迴圈的話會變成這個樣子:
int i=0,a=0;
while (i<n) {
if(a%3==2 && a%5==3 && a%7==2)
i++;
a++;
}
有沒有發現這個 while 迴圈和你寫的不太一樣? 這個就是問題所在: 它們的結
構是不一樣的. 程式碼結構不同, 導致了求值順序甚至是語意的改變, 所以你
跑出來的結果才會有差. 為了驗證這件事情, 我們可以用簡易的方法來比較程
式碼結構: 將已經著色的程式碼區塊依照求值順序排成有多種顏色的線段, 然
後比較兩線段的顏色差異. 假設迴圈迭代 3 次, 你的 for 迴圈和 while 迴圈
畫成線段後會長成下面的樣子:
(for-loop)
(while-loop)
————————————————————————→
time
如上圖所示, 排出來的線段顏色相同, 才表示這兩份程式碼做的事情是等價的;
你的例子因為 a++ 和 if 語句 順序對調的緣故, 已經產生出不同的程式.
--
[P1389R1] Standing Document for SG20: Guidelines for
Teaching C++ to Beginners
https://wg21.link/p1389r1
SG20 Education and Recommended Videos for Teaching C++
https://www.cjdb.com.au/sg20-and-videos
--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 123.193.76.216 (臺灣)
※ 文章網址: https://www.ptt.cc/bbs/C_and_CPP/M.1600266941.A.787.html
→
09/16 23:10,
4年前
, 1F
09/16 23:10, 1F
如果發文只為了解決原 po 的問題, 那就太無趣惹 :(
→
09/16 23:45,
4年前
, 2F
09/16 23:45, 2F
推
09/17 01:00,
4年前
, 3F
09/17 01:00, 3F
→
09/17 01:21,
4年前
, 4F
09/17 01:21, 4F
推
09/17 06:57,
4年前
, 5F
09/17 06:57, 5F
→
09/17 06:57,
4年前
, 6F
09/17 06:57, 6F
後面的方法可以用來分析奇形怪狀的迴圈, 只是原 po 的問題簡單到好像沒什
麼必要, 但作為範例還是不錯滴 ;)
推
09/17 09:42,
4年前
, 7F
09/17 09:42, 7F
推
09/17 10:31,
4年前
, 8F
09/17 10:31, 8F
推
09/17 10:35,
4年前
, 9F
09/17 10:35, 9F
騙吃騙吃 :D
推
09/17 12:21,
4年前
, 10F
09/17 12:21, 10F
推
09/17 12:42,
4年前
, 11F
09/17 12:42, 11F
推
09/17 15:52,
4年前
, 12F
09/17 15:52, 12F
推
09/17 17:13,
4年前
, 13F
09/17 17:13, 13F
推
09/17 21:35,
4年前
, 14F
09/17 21:35, 14F
推
09/18 00:12,
4年前
, 15F
09/18 00:12, 15F
推
09/18 10:29,
4年前
, 16F
09/18 10:29, 16F
阿捏手會很辛苦喔! xD
推
09/18 14:17,
4年前
, 17F
09/18 14:17, 17F
※ 編輯: poyenc (61.216.75.43 臺灣), 09/18/2020 14:51:40
推
09/20 17:24,
4年前
, 18F
09/20 17:24, 18F
推
09/22 17:24,
4年前
, 19F
09/22 17:24, 19F
推
09/27 14:18,
4年前
, 20F
09/27 14:18, 20F
討論串 (同標題文章)
完整討論串 (本文為第 2 之 2 篇):
C_and_CPP 近期熱門文章
PTT數位生活區 即時熱門文章