なぜRustは変数が＆strであることを認識しませんか？

Question

以下のコードがコンパイルされ、正常に動作：

use std::fmt::Display; 

fn display(x: &str) { 
    println!("{}", x); 
} 

fn main() { 
    let s: &str = "hi there"; 
    display(s); 
} 

あなたは

fn display(x: &Display) 

するdisplay機能を変更した場合しかし、それは次のエラー与える：display(s)を変更することにより

src/main.rs:9:13: 9:14 error: the trait `core::marker::Sized` is not implemented for the type `str` [E0277] 
src/main.rs:9  display(s); 

をdisplay(&s)に戻ります。

ここでは何が起こっていますか？明らかに型は&strですが、&Displayが入力引数である場合、その型は認識されません。

注：&34も引数として有効です。これはDisplayが実際に&strに実装されていて、strでは実装されていないためですか？

Answer 1

として真である&s: &Display =>&(&str) : &Displayを期待しています。

さび1.9（これを変更なし現在の計画）のまだ

タイプT「がSized」である場合、形質オブジェクトへの変換は、&Traitから&Tに対してのみ可能です。

理由は実装です。&Displayのような形質オブジェクトは、データへのポインタと形質メソッドのテーブルへのポインタ（vtable）の2つのフィールドで構成されています。この表現は、参照が「薄い」つまり正確にタイプがwhere T: Sizedの値に対してのみ可能です。 A &strは「太い」参照であり、ポインタと長さを持つため、strは特性オブジェクトのデータにはなりません。正確

---

Why does display(&s) work though? I guess that is a referene to the "fat" reference?

はい、。 A &&strは、&str値の変数を指す「シン」参照です。したがって、&Displayに変換することができます。

Answer 2

（メインの答えに私の編集を推進）

あなたがfn display(x: &Display)を書くとき、関数はそれを逆参照することによりtrait objectに強制することができます値をとります。また、Rust関数は、コンパイル時にパラメータxの値のサイズを知る必要があります。

&34（&u32タイプ）を逆参照して形質オブジェクトに強制変換すると、u32になり、そのサイズを決定できます。

&strを逆参照すると、strになり、文字列の長さは何でもかまいません。添加することにより

&&str（&&str）に、それはポインタであり、その大きさを決定することができる、バック&strに逆参照されます。私はこれがなぜあなたのコード内でdisplay(&s)を受け入れるだけだと考えています。

Answer 3

By changing display(s) to display(&s) it works again.

それはすべて

• display(s)が偽s: &Display、=>&str: &Displayを期待（これは単なる表記で）&str: Display (+ Sized)とstr: !Displayにダウンしました。
• display(&s)はあなたがタイプstrがDisplayを実装しているので意味をなさないように思われ、（形質オブジェクトへの参照）&strが&Displayに強制変換されなければならないことを要求している&str: Display