初級

E0369: cannot add `&String` to `&str` の原因と直し方

文字列リテラル（&str）を左側にして+で連結しようとすると、+演算子がStringの左辺にしか実装されていないためE0369エラーになります。

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

error[E0369]: cannot add `&String` to `&str`

E0369

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

cannot add `&String` to `&str`

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

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

 1  fn main() {
 2      let name = String::from("world");
 3      let msg = "hello, "             + &name;
                            ^
 4      println!("{}", msg);
 5  }

 1  fn main() {
 2      let city = String::from("osaka");
 3      let msg = "welcome to "             + &city;
                              ^
 4      println!("{}", msg);
 5  }

 1  fn main() {
 2      let item = String::from("apple");
 3      let msg = "buy "             + &item;
                           ^
 4      println!("{}", msg);
 5  }

 1  fn main() {
 2      let team = String::from("tigers");
 3      let msg = "go "             + &team;
                          ^
 4      println!("{}", msg);
 5  }

 1  fn main() {
 2      let day = String::from("monday");
 3      let msg = "happy "             + &day;
                            ^
 4      println!("{}", msg);
 5  }

よくある誤解

「+は文字列同士ならどちらが左でも連結できるはず」という思い込みは誤りです。+はStringの左辺にしか実装されておらず、左側を所有権を持つStringにする必要があります。

実務での勘所

この非対称の正体は、+の実体がString型に対してimpl Add<&str> for Stringという形で1パターンだけ実装されているためです。この実装は左辺のStringの所有権を消費し(ムーブし)、既存のヒープ上のバッファを可能な限り再利用しながら右辺の&strを追記して、新しいStringを返します。所有権を持つ左辺がある前提の実装なので、左辺が借用でしかない&strでは、この操作を安全に行う権利がそもそもありません。

演習をはじめる

関連するエラー

• E0308: mismatched types（型の不一致）の原因と直し方変数の型注釈と実際に代入する値の型が食い違うと、コンパイル時にE0308エラーになります。
• E0382: borrow of moved value（ムーブ後の値の使用）の原因と直し方StringやVecのようにCopyトレイトを実装しない値を別の変数に代入すると、所有権が移動（ムーブ）します。