syu-m-5151 https://blog.hatena.ne.jp/syu-m-5151/ じゃあ、おうちで学べる https://syu-m-5151.hatenablog.com/ Rust はじめに UserId と OrderId を取り違えてバグを生み出す経験は、String で識別子を扱っていれば誰しもあります。Rust では newtype で別の型に分けるだけで、コンパイラに止めてもらえます。さらに PhantomData を組み合わせれば、「JPY と USD を足し算する」のような単位ミスも型エラーにできます。 ランタイムコストはゼロ。型情報はコンパイル後に消えます。 newtype の基本 newtype は「struct でラップして、別の型として扱う」だけのパターンです。 #[derive(Debug, Clone, PartialEq, Eq, Hash)]… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fsyu-m-5151.hatenablog.com%2Fentry%2F2026%2F05%2F06%2F111448" title="newtype と `PhantomData` で「混ぜたら型エラー」を作る - じゃあ、おうちで学べる " class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2026-05-06 11:14:48 rich https://syu-m-5151.hatenablog.com/entry/2026/05/06/111448 1.0 100%