使っても問題なく動くので、コピペミスが怖かったりマクロで自動生成したいなどであればそのようにするのが良いかもしれない。一応挙動の理解に参考になりそうなテストも載せておこう。ドキュメントやリファレンスを漁ってほしい。場合と同じであるが、値の作成に失敗する可能性があるため、その場合のエラー処理は追加されている。返すため、エラー型を変換してやる必要がある。トレイト経由で操作するしかない。経由でしか操作が行えないようになっている。(あまりよろしくないが)。表示するメッセージもちゃんと調整する必要がある。他のメソッドを使うことになる。使って書くこともできる。本当はこちらを使う方が望ましいかもしれない。デシリアライズできるようにしよう。骨格はだいたい同じだが、重要な違いは次の2箇所だけである。版というだけなので、これ以上の説明は不要だろう。型情報を受け取って、それに基いて値の作成を行うというものである。呼ばれるという挙動になる。幸いなことに、所有権なしのスライス型の実装とほとんど変わらない。等を実装しておいたおかげである。追加の制約なしの型から。両方を実装することくらいだろうか。トレイトの関連型もそのように設定する。非依存ということである。デシリアライズ後に即座に入力が破棄されても作られた値はそれ以上長く存在できるという、所有権付きの型に当然の性質が表れている。