→ loveflames: 你的理論依據沒有一個可以當成比C快的理由 08/12 22:08
→ loveflames: 應該反過來問，為何你會覺得這些會是速度比較快的原因 08/12 22:09
推 CoNsTaR: 雖然 rust 可以利用規則來簡化複雜的東西 08/13 06:11
→ CoNsTaR: 但是相反的，因為 rust 只能照規則走 08/13 06:11
→ CoNsTaR: 所以不在規則內的 hack 就沒辦法過 type check 08/13 06:11
→ os653: 版上的教學網頁有提到 08/13 09:49
→ os653: void foo(int* x, int* y, const int* z) 08/13 09:50
→ os653: { 08/13 09:50
→ os653: *x += *z; 08/13 09:50
→ os653: *y += *z; 08/13 09:50
→ os653: } 08/13 09:50
→ os653: 這樣一個函數，因為C的編譯器無法確定x、y、z是否是同一塊 08/13 09:51
→ os653: 記憶體位址，而Rust的編譯器可以確定，故C編出來的機械碼會 08/13 09:53
→ os653: 比Rust多一次讀取的動作，就會比較慢一點 08/13 09:54
推 CoNsTaR: 就說 rust 會在他知道的範圍內把東西做到最簡 08/13 11:10
→ CoNsTaR: 所以如果 rust 知道所有最快的 hack 08/13 11:10
→ CoNsTaR: 而且能夠知道同一個語意的所有不同寫法 08/13 11:10
→ CoNsTaR: 那理論上它會是最快的，但事實是不可能，只能盡力 08/13 11:10
推 CoNsTaR: 例如說，如果有一種機器，它有一個指令能夠在一個指令周 08/13 11:15
→ CoNsTaR: 期內做完 foo 做的事，但是 rust 不知道這個指令，或者是 08/13 11:15
→ CoNsTaR: rust 不知道直接呼叫那個指令和執行這一串程式碼是相等 08/13 11:15
→ CoNsTaR: 的(操作語意上)，那這兩個情況下 C 內嵌組語都會比 rust 08/13 11:15
→ CoNsTaR: 快 08/13 11:15
推 CoNsTaR: 而各個 libc 的實作都用了一大堆這種機器相關的 hack， 08/13 11:17
→ CoNsTaR: 所以 rust 才會這麼難超過 C 08/13 11:17
推 CoNsTaR: 至於為什麼我前面說不可能，第一因為這種 hack 可以有無 08/13 11:21
→ CoNsTaR: 限種，你隨時爽往你的機器上加什麼特性都可以 08/13 11:21
→ CoNsTaR: 第二因為對於所有正確的敘述，要判斷它們的語意是否相等 08/13 11:21
→ CoNsTaR: ，常常是 undecidable 的 (有興趣可以參考 logical seman 08/13 11:21
→ CoNsTaR: tics) 08/13 11:21
推 CoNsTaR: 所以如果你不知道兩者語意相等，那你就沒辦法用快的取代 08/13 11:29
→ CoNsTaR: 慢的 08/13 11:29
→ CoNsTaR: 例如你上面的例子，如果 rust 不能判定少讀一次記憶體位 08/13 11:29
→ CoNsTaR: 址的語意是否還和原本一樣，那它就沒辦法用少讀一次的版 08/13 11:29
→ CoNsTaR: 本替換比較慢的版本(雖然這個 case 是可判定的) 08/13 11:29
推 CoNsTaR: 不知道這樣講有沒有比較清楚… 08/13 11:33
→ grayStone: 我對樓上的解讀是，沒錯Rust比較快 08/13 12:48
→ PkmX: compiler和library實做完全不一樣啊... 08/13 15:24
→ os653: 我想C大的例子就類似用DMA跟以byte為單位讀取資料的差別吧 08/13 18:37
→ os653: 一個用一行指令就完事，一個要用for迴圈跑幾千次這樣 08/13 18:38
→ os653: Rust平常小勝，遇到可以取巧的指令大輸，結果就變成小輸 08/13 18:42
推 james732: Rust在實作上沒有取巧的空間嗎？ 08/13 18:49
推 Hazukashiine: @os653 可以用 restrict 提示 C Compiler 那兩個 08/13 20:42
→ Hazukashiine: pointer 不會 alias 因此沒有你說的那個問題不存在 08/13 20:43
推 Hazukashiine: -s 刪--xx-- 08/13 20:45
推 LPH66: 不過 restrict 只有 C99 有, C++ 因為多型的關係狀況複雜 08/14 01:48
→ LPH66: restrict 的語意碰上多型會有麻煩所以目前一直都沒有規定 08/14 01:48
→ LPH66: (連 restrict 在 C++ 都不是關鍵字) 08/14 01:49
→ LPH66: 雖然 g++ 有提供 __restrict 給 C++ 用但我不太清楚語意 08/14 01:50
→ LPH66: 修正一下, 是 C99 以後的 C 才有 08/14 01:52
推 ronin728: 那個網站寫測試程式的人都盡量壓榨效能，你可以點code 09/18 08:09
→ ronin728: 來看看，C語言的code有強大的GMP護駕 XDD 09/18 08:09
→ ronin728: GMP 好歹也是社區經營多年，測試結果數一數二的數學庫 09/18 08:10
→ ronin728: 不過有好幾個測資確實無關lib，是rust比較慢 09/18 08:12