Rustのライフタイム6（ジェネリクス、トレイト境界とともに）

　非常に見づらいコードになった。

成果物

• github

コード

fn main() {
    println!("{}", my_fn("A", "BB", "C"));
}
fn my_fn<'a, T>(p1: &'a str, p2: &'a str, p3: T) -> &'a str
    where T: std::fmt::Display
{
    println!("{}", p3);
    if p1.len() > p2.len() { p1 }
    else { p2 }
}

所感

　Rustのコードってこんな見づらくなるのか。ジェネリクスの<>やwhere句が冗長。根本的には&(参照), 'a(ライフタイム)のせい。

　特にライフタイムは何とか自動でうまいことやってほしい。戻り値のライフタイムが最低でも引数とおなじ長さであり関数内で終了しないこと、なんていうのは当然の要求だと思うのだが。ライフタイム指定子で指定してやらないとマズイの？　参照引数が1つでなく複数のときでも省略して書けるようにしたらダメなの？

　以下くらい簡単に書きたいのだが。

fn my_fn(p1: &str, p2: &str, p3: T) -> &str

　もっといえば以下が理想。

str my_fn(str p1, str p2, T p3)

対象環境

• 2019-06-29
• Raspbierry pi 3 Model B+
• Raspbian stretch 9.0 2018-11-13
• bash 4.4.12(1)-release
• rustc 1.34.2 (6c2484dc3 2019-05-13)
• cargo 1.34.0 (6789d8a0a 2019-04-01)

$ uname -a
Linux raspberrypi 4.19.42-v7+ #1219 SMP Tue May 14 21:20:58 BST 2019 armv7l GNU/Linux

前回まで

• Rustを学んでみたい（プログラミング言語）
• Rustの環境構築
• RustでHelloWorld
• Rustの和訳ドキュメント
• Cargoでプロジェクト作成・ビルド・実行
• クレートとは？
• Rustで関数を使ってみる
• Rustでモジュールを使ってみる
• Rustで乱数を生成する（rand）
• Rustで標準入力する（std::io::stdin().read_line()）
• RustでMatch判定する（match）
• Rustでprintとread_lineを1行にする方法
• Rustで数当てゲーム
• クレート名にドット.が使えない
• Rustの変数と可変性（let, mut） error[E0384]: cannot assign twice to immutable variable x
• Rustのimmutable束縛とconst定数の違い
• RustのREPL、evcxrのインストールに失敗した
• Rustでコンパイルするときの変数未使用warningを消す
• Rustの変数（再代入、再宣言（シャドーイング））
• Rustのシャドーイングについて
• イミュータブルについて（副作用）
• Rustの定数（const）
• Rustのデータ型（数値）
• Rustのデータ型（論理）
• Rustのデータ型（文字）
• Rustのデータ型（タプル）
• Rustのデータ型（配列）
• Rustの関数
• Rustのif式
• Rustのくりかえし文（loop）
• Rustのくりかえし文（while）
• Rustのくりかえし文（for）
• Rustの所有権（ムーブ）
• Rustの所有権（関数）
• Rustの所有権（スライス）
• Rustの構造体（定義とインスタンス化）
• Rustの構造体（プログラム例）
• Rustの構造体（メソッド）
• Rustの列挙型（enum）
• Rustの列挙型（enum）
• Rustの列挙型（enum）
• Rustのmatch（制御フロー演算子）
• RustでNULLを扱う（Option, Some, None）
• NULL参照は10億ドルの失敗だった
• Rustの列挙型に独自表示を実装する（E0277 対策 std::fmt::Display 実装）
• RustのIfLet（matchの糖衣構文）
• Rustのプロジェクト構造
• Rustのcargoでライブラリ＆テスト（単体、結合）
• Rustのモジュール（mod）
• Rustのモジュール（pub）
• Rustのmod参照方法（mod 子モジュール名;, use 要素名;, extern crate クレート名;, super）
• Rustのインポートまとめ（Rust2018）
• RustのコレクションVec型
• RustのコレクションString型
• RustのコレクションHashMap型
• Rustのコレクション（練習問題）
• Rustのエラー処理
• Rustのジェネリクス
• Rustのトレイト
• Rustのライフタイム1
• Rustのライフタイム2（構造体の定義）
• Rustのライフタイム3（ライフタイム省略）
• Rustのライフタイム4（impl定義）
• Rustの静的ライフタイム5（'static）