目次

Rustの勉強[高度な型 その5]

ぎじゅつ

はじめに

#

NO IMAGEThe Rust Programming Language 日本語版 - The Rust Programming Language 日本語版
を読んでいる

お勉強

#

NO IMAGE高度な型 - The Rust Programming Language 日本語版

  • Sizedトレイトね

メモ

#

既定では、ジェネリック関数はコンパイル時に判明するサイズがある型に対してのみ動きます。ですが、以下の特別な記法を用いてこの制限を緩めることができます

  • はいはい
  • いちおう制約があるのね
fn generic<T: ?Sized>(t: &T) {
    // --snip--
}

?Sizedのトレイト境界は、Sizedのトレイト境界の逆になります: これを「TSizedかもしれないし、違うかもしれない」と解読するでしょう。この記法は、Sizedにのみ利用可能で、他のトレイトにはありません。

  • 唯一無二
  • trait boundの記法が壊れた
  • あー理解した
    • ジェネリクスで受け取るときの関数側の記法か
  • おけおけ

NO IMAGE高度な関数とクロージャ - The Rust Programming Language 日本語版

  • 高度な関数とクロージャきた

まとめ

#
  • なんか予測しずらい概念だと進みが遅いな
  • 難しい
  • どう早めるか

次はこれ

NO IMAGE高度な関数とクロージャ - The Rust Programming Language 日本語版