Re: [問題] if(X||Y)以及if(a()||b())的差異

看板C_and_CPP作者poyenc (髮箍)時間3年前 (2020/12/16 00:01)推噓5(5推 0噓 3→)

留言8則, 5人參與討論串2/2 (看更多)

※ 引述《ironstark (Stark)》之銘言： : 不好意思想請問一下各位大大 : 兩個function,a(),b(),回傳bool : X=a(),Y=b() : 這樣 if(X||Y)以及if(a()||b())兩種寫法在執行上會有什麼差異呢？ : 這部分用到的觀念是什麼或是該搜尋什麼關鍵字 : 小弟新手入門對一些細節不太熟悉，還請各位幫忙解惑，謝謝大家！你可以嘗試作實驗畫個真值表 (truth table) 來觀察行為, 不過這代表我們需要有辦法決定 a()/b() 的回傳值. 除了直接修改函式實作, 最快的方式就是透過函式模板來作客制化: template <bool B> bool a() { std::cout << "a() "; return B; } a<true>(); // print "a()", return true a<false>(); // also print "a()", return false a()/b() 都作一個模板我們就可以填完真值表內容: ┌──┬──┬────┐ │a() │b() │ output │ ├──┼──┼────┤ │ F │ F │a() b() │ ├──┼──┼────┤ │ F │ T │a() b() │ ├──┼──┼────┤ │ T │ F │a() │ ├──┼──┼────┤ │ T │ T │a() │ └──┴──┴────┘ 範例: https://godbolt.org/z/TojhP5 從上表可以看到當 a() 回傳值為 true 的時候, b() 就不會被呼叫. 一般人可能會用short-circuit evaluation 來稱呼它, 甚至撰寫程式碼的時候會依賴這個行為 (為了寫出主觀簡潔的程式碼). 但小弟要在這裡說: 這是不好的觀念. 因為 C++ 允許使用者對運算子作重載 (overloading), 所有的重載版本 operator||() 以及 operator&&() 都沒有上面提到的short-circuit 行為. 我們可以將函式 a()/b() 改成回傳列舉型別 Bool 來實驗看看: 範例: https://godbolt.org/z/K1hGGf 因為 short-circuit 只作用在俗稱內建型別 (primitive type) 運算元上, 為了避免混淆, 有兩派人馬分別採取不同策略來避免預期以外的行為發生: 1. 一律不重載 operator&&() 及 operator||() e.g. 《More Effective C++》Item #7 《C++FAQ》What are some guidelines / "rules of thumb" for overloading operators? 2. 重載 operator&&() 及 operator||(), 但不對求值順序/與否作假設無論如何, 知道這些考量有助於寫出更安全的程式. :) -- [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), 來自: 61.216.75.43 (臺灣) ※ 文章網址: https://www.ptt.cc/bbs/C_and_CPP/M.1608048102.A.31B.html

推

Lipraxde

12/16 00:37, 3年前 , 1^F

12/16 00:37, 1^F

推

Schottky

12/16 01:22, 3年前 , 2^F

12/16 01:22, 2^F

推

jack82822005

12/16 07:38, 3年前 , 3^F

12/16 07:38, 3^F

沒辦法唷! 只要重載就失去 short-circuit evaluation 特性了 Restrictions - The overloads of operators && and || lose short-circuit evaluation. https://en.cppreference.com/w/cpp/language/operators ※ 編輯: poyenc (61.216.75.43 臺灣), 12/16/2020 10:17:40

→

uranusjr

12/16 10:53, 3年前 , 4^F

12/16 10:53, 4^F

推

F04E

12/16 11:50, 3年前 , 5^F

12/16 11:50, 5^F

推

Schottky

12/16 16:07, 3年前 , 6^F

12/16 16:07, 6^F