簡潔なQスマートフォン用の表示で見る簡潔なQこの広告は、90日以上更新していないブログに表示しています。unsize期待型とキャスト期待型RustRustの期待型は以下のようなデータ構造になっている。この記事ではまず、残りの2つの動作について把握する。弱い期待をするもので、ごく限定された場面でのみ生成される。あることを期待するものである。よってのみ生成される。ExpectHasTypeを期待する。この処理は以下の部分で行われる。関数呼び出し引数の推論された期待型を推論するとき。関数呼び出し引数を型強制するとき。式を期待しているという点である。以下の用途にしか使われていないことがわかる。配列リテラルの要素に対して型強制を行う。以外の期待型についてもこれは行われる。以下の例では、配列の要素に対して型強制が行われている。変換可能であることを期待するものである。式の型検査に対してのみ生成される。逆に、これが利用されるのは以下の場面のみである。前者については、以下の例を見るとわかる。-1454759936}これは以前の記事で紹介した仕組みだけでは説明できない。この左辺・右辺と同じ型をもつことが仮定される。なるはずだが、そうなっていない。なる仕組みが、型推論ではなく、期待型により実現されているからである。