&str を String に変換する主なやりかたを紹介する。性能の差は皆無に近いのでどれを使ってもいい。ただし "str".into() は使いどころがやや異なる。"str".to_string…