なぜRustは値で呼び出しを行い、参照によって呼び出しますか？

Question

ハスケルのようないくつかの言語は、値渡しと参照渡しを区別しません。コンパイラはヒューリスティックでもっとも効率的な呼び出し規約を選択することができます。ヒューリスティックの例は、Linux x64 ABIの場合です。パラメータのサイズが16バイトを超える場合は、ポインタをスタックに渡します。それ以外の場合は、レジスタに値を渡します。

値渡しと参照渡しの両方の考え方（勿論変更不可）を錆に保ち、ユーザーに選択させてもらうことの利点は何ですか？

値が変更されたと見なされると、参照渡し+コピーの構文砂糖が値渡しの場合がありますか？

Answer 1

2つのこと：

1. 錆が一定値渡しを変えていくには、同様のヒューリスティックに基づいて、参照渡しに呼び出します。
2. 値渡しは所有権移転を示し、参照渡しは借用を示します。これらは非常に異なっており、あなたが求めているasmレベルの懸念から完全に直交しています。

つまり、Rustでは、これら2つの形式が異なるセマンティクスを持ちます。しかし、それでも最適化を行うことはできません。

Answer 2

：1で生成されたコードを見て、見ることができるようにそれは、シンタックスシュガーではありません

[編集はリリースモードで動作するように変更さexampled]。

これらの関数を考える：1が他のシンタックスシュガーた場合

fn by_value(v: (u64, u64)) -> u64 { 
    v.0 + v.1 
} 

fn by_ref(v: &(u64, u64)) -> u64 { 
    v.0 + v.1 
} 

そして、我々は彼らが同じアセンブリコード、または少なくとも同じ呼び出し規則を生成することを期待したいです。 （see details、リリースモードを使用）：しかし、実際には、我々はby_valueがrdiレジスタにvへのポインタを渡し、値を取得するためにそのポインタに従わなければならないのに対しby_refは、rdiとrsiレジスタにvを渡すことがわかり

by_value: 
    movq 8(%rdi), %rax 
    addq (%rdi), %rax 
    retq 

by_ref: 
    leaq (%rdi,%rsi), %rax 
    retq