qnighy https://blog.hatena.ne.jp/qnighy/ 簡潔なQ https://qnighy.hatenablog.com/ Rust 概要: Rustの impl が定義できる型にはコヒーレンスと呼ばれる制限がある。これについて説明する。なお、この記事では特殊化がない前提で説明する。 コヒーレンス初心者のための概説 以下のように impl が重複していたり、自分のところ以外の型の impl を定義しようとするとエラーになる場合がある。これをコヒーレンスという。 struct A; // overlap rule 違反 impl A { fn f(x: i32) {} } impl A { fn f(x: i8) {} } // orphan rule 違反 impl Option<A> { } コヒーレンスの目的 コヒーレン… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fqnighy.hatenablog.com%2Fentry%2F2017%2F07%2F20%2F220000" title="Rustのコヒーレンス - 簡潔なQ" 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 2017-07-20 22:00:00 rich https://qnighy.hatenablog.com/entry/2017/07/20/220000 1.0 100%