Self 将来実装される型を表す。 pub trait FromStr { type Err; fn from_str(s: &str) -> Result<Self, Self::Err>; impl FromStr for Haskellで言うところの型変数 a class Eq a where Eq: 型クラス a: 型変数, 具体型である必要がある。(型コンストラクタはNG) 関連型 type </self,>…

Stringの借用は、&strとして、&strの所有は、Stringとして表すことが出来る。 Rustでは、こういった関係をBorrow<Borrowed: ?Sized>とToOwnedトレイトを使って表すことが出来る。 Note: 参照 - ある所有された値への借用を表す型。コピーセマンティックである。 trait Borrow<Borrowed: ?Sized> </borrowed:></borrowed:>…

PDFファイル解析にあたって RustでPDF解析ツールを作成するにあたって、PDFの仕様をまとめる。 (作成プログラムはPDF.jsを参考に実装予定) PDFとは PDF32000_2008 1. Introduction より抜粋して意訳 PDFは、ISO 32000によって規定されている電子ドキュメント…

https://www.adobe.com/jp/print/postscript/pdfs/PLRM.pdf Introduction THE POSTSCRIPT® LANGUAGE is a simple interpretive programming language with powerful graphics capabilities. Its primary application is to describe the appearance of text,…

TL;DR for文で回すには、以下のトレイトのどれかを実装する必要がある。 Iterator IntoIterator 配列はforループで回せない 配列は、どちらも実装していないため、forループ文で直接回せない。 let arr = [1,2,3,4,5]; // NG for i in arr { dbg!(i); } /* e…

配列型 サイズ固定配列。[T; N]で表す。 生成には２つの構文がある。 [x, y, z] [x; N]: 値xはCopy実装型でなければならない 配列は以下のトレイトを実装する。(ただしTも同様に実装されている必要がある) Copy Clone Debug IntoIterator: &[T; N]もしくは&m…

https://stackoverflow.com/questions/43828013/why-is-being-used-in-closure-arguments let a = [1, 2, 3]; assert_eq!(a.iter().find(|&&x| x == 2), Some(&2)); assert_eq!(a.iter().find(|&&x| x == 5), None); 回答 aは[i32;3]型 [i32;3]型はiterメソ…

ref キーワード 参照として値を受け取ることが出来る let ref num = 5; // &i32 パターンマッチ内でも使用することが出来る let mut triple = (1, 2, 3); match triple { (1, ref mut second, 3) => *second *= 2, _ => panic!(), } dbg!(triple); // (1, 4,…

match式による構造破壊マッチング match式のパターンマッチ内において、値を構造破壊することが出来る。 Destructuring Tuples タプル値を構造破壊してパターンマッチ let triple = (0, -2, 3); match triple { (0, y, z) => plintln!("First is `0`, `y` is…

型の種類 T: 通常型 &T: 参照型 - ある所有された値への借用を表す型 [T; N] : 配列型 [T] : スライス型 *const T : ポインタ型 (T, U, V) : タプル型 fn(T) -> V : 関数型 プリミティブデータ型 bool char 一つのユニコードスカラー値 (4バイト表現) let x …

型(Type)の作成と実装 Rustは型(Type)の作成と実装が分かれる。 (最近はトレイトも実はサイズを持たない型(Type)と言えるのではないかと思うようになった） 型の作成は、struct, enumを使い、実装は impl を使う。 型の作成 struct enum Struct struct Point…

参照型とポインタ型 参照型 &T / &mut T - ある所有された値への借用を表す型 ポインタ型 *const T / *mut T - nullを表すことができる ポインタ型を使うメリットとデメリット Rustではポインタ型は、値がnullの可能性がある。 したがって扱う場合は、unsafe…

Iterator::collect() fn collect<B>(self) -> B where B: FromIterator<Self::Item>, IteratorをCollectionに変換する。 collect()で変換できるCollectionはFromIterator<Self::Item>トレイトが実装されている必要がある。 Trait std::iter::FromIterator pub trait FromIterator<A> { fn f</a></self::item></self::item></b>…

123 2進数に変換 0b1111011 単精度浮動小数点数形式に正規化 0b1.111011 x 2^(6) 単精度浮動小数点数データ構造に変換 符号部: 0 指数部: 6 + 127 = 134 仮引数部: 11101100000000000000000 Swiftによる確認 let f = 123 as Float print("符号: ", f.sign) p…

書いたこと 単精度浮動小数点数形式とデータ構造 10進数から単精度浮動小数点数データ構造への変換 精度と誤差 単精度浮動小数点数形式とデータ構造 ２進数をそのままでは単精度浮動小数点数データ構造に変換することはできない。 一旦、単精度浮動小数点数…