上級

E0782: trait objects must include the `dyn` keyword の原因と直し方

トレイトを直接型として使おうとすると、コンパイル時のサイズが確定できないためエラーになります。トレイトオブジェクトとして扱いたい場合は、dynキーワードを付けてBox<dyn Trait>や&dyn Traitのようにポインタ経由にする必要があります。

エラーメッセージの読み方

error[E0782]: trait objects must include the `dyn` keyword

E0782

エラーコード — `rustc --explain E0782` で詳しい説明が見られます

trait objects must include the `dyn` keyword

詳細メッセージ — 何が問題だったか

このエラーが出る典型パターン

 1  trait Shape {
 2      fn area(&self) -> f64;
 3  }
 4  struct Circle { r: f64 }
 5  impl Shape for Circle {
 6      fn area(&self) -> f64 { 3.14 * self.r * self.r }
 7  }
 8  fn main() {
 9      let shapes: Vec<Box<Shape    >> = vec![Box::new(Circle { r: 2.0 })];
                                ^
10      println!("{}", shapes[0].area());
11  }

 1  trait Animal {
 2      fn speak(&self) -> String;
 3  }
 4  struct Dog;
 5  impl Animal for Dog {
 6      fn speak(&self) -> String { String::from("woof") }
 7  }
 8  fn main() {
 9      let animals: Vec<Box<Animal    >> = vec![Box::new(Dog)];
                                  ^
10      println!("{}", animals[0].speak());
11  }

 1  trait Job {
 2      fn run(&self) -> i32;
 3  }
 4  struct Task;
 5  impl Job for Task {
 6      fn run(&self) -> i32 { 1 }
 7  }
 8  fn main() {
 9      let jobs: Vec<Box<Job    >> = vec![Box::new(Task)];
                             ^
10      println!("{}", jobs[0].run());
11  }

 1  trait Greeter {
 2      fn hello(&self) -> String;
 3  }
 4  struct English;
 5  impl Greeter for English {
 6      fn hello(&self) -> String { String::from("hello") }
 7  }
 8  fn main() {
 9      let greeters: Vec<Box<Greeter    >> = vec![Box::new(English)];
                                   ^
10      println!("{}", greeters[0].hello());
11  }

 1  trait Payment {
 2      fn amount(&self) -> i32;
 3  }
 4  struct Cash;
 5  impl Payment for Cash {
 6      fn amount(&self) -> i32 { 500 }
 7  }
 8  fn main() {
 9      let payments: Vec<Box<Payment    >> = vec![Box::new(Cash)];
                                   ^
10      println!("{}", payments[0].amount());
11  }

よくある誤解

「トレイトを実装した型なら、そのトレイト名自体をVecの要素の型として使えるはず」という思い込みは誤りです。トレイトはサイズが不定であるため、dynを付けたポインタ型（Box<dyn Trait>など）を介してのみ扱えます。

まとめ

E0782: trait objects must include the `dyn` keywordは上級でつまずきやすい項目です。上の5パターンを実際に手で直すと、エラーメッセージのどこを読めばよいかが掴めます。

演習をはじめる

関連するエラー

• E0277: doesn't implement `std::fmt::Display` の原因と直し方自作の構造体を{}（Display）で出力しようとすると、Displayトレイトを実装していない限りE0277エラーになります。
• E0072: recursive type has infinite size の原因と直し方構造体が自分自身の型を直接フィールドに持つと、サイズが無限になってしまいコンパイルエラーになります。