4

現在ironフレームワークを用いたWebプログラミングを勉強しています。
その中でセッション周りの実装の際に、ironが提供するトレイトを実装している型をキーにしていろいろやり取りをするのですが、以下のようにわかりやすく実装しなおそうと思っています。(説明が長くなりますすみません...)


セッションを扱うには、自身で定義した2つのstruct(Session, SessionKeyとします)に対し、ironクレートによって提供されているtypemap::Keyトレイトを次のように適用します。

struct Session; // セッションデータとして扱う構造体(自分はHashMapを1つ持つタプル構造体にしています)
struct SessionKey; // 関数を呼ぶ際、扱う型を決定するのに使用します
                   // 例)get_ref::<SessionKey>() -> &Sessionが返される

impl typemap::Key for SessionKey {
    type Value = Session;
}

このようにimplすることで、上の例のようにSessionKeyをキーにしてSession構造体をやり取りします。

わかりやすさのために、typemap::Key, Valueではなく次のような名前で扱おうと考えています。

trait SessionType {
    type SessionData;
}

という名前で定義したトレイトと関連型を、

impl SessionType for SessionKey {
    type SessionData = Session;
}

同じようにimplします。
これによって、typemap::Keyのimplは内部に隠しつつ、わかりやすい名前で扱えないかと考えています。
なので次のように実装しました。

extern crate iron;
use iron::typemap;

struct Session;
struct SessionKey;

// こっちを使いたい
trait SessionType {
    type SessionData;
}
// このように実装したい(見える部分)
impl SessionType for SessionKey {
    type SessionData = Session;
}

// こちらを追加(見えない部分)
impl<S: SessionType> typemap::Key for S {
    type Value = <S as SessionType>::SessionData;
}

fn main(){
    // ...
}

 

impl<S: SessionType> typemap::Key for S {
    type Value = <S as SessionType>::SessionData;
}

これは、SessionTypeトレイトを実装している全ての構造体に対し、typemap::Keyを実装します。またその構造体にSessionTypeトレイトを実装した際のtype Sessionに指定した型<S as SessionType>::SessionDataValueに指定します。こうすることでtypemap::Keyの実装を見える部分で行う必要がなくなると考えました。
しかしエラーになります。

error[E0210]: type parameter `S` must be used as the type parameter for some local type (e.g. `MyStruct<T>`);
only traits defined in the current crate can be implemented for a type parameter
  --> src\main.rs:17:1
   |
17 | / impl<S: SessionType> Key for S {
18 | |     type Value = <S as SessionType>::Session;
19 | | }
   | |_^

このエラーの原因がわかりません。
ちなみに

trait Key {
    type = Value;
}

というトレイトを自分で定義し、typemap::Keyと同じように書いた場合はエラーが出ませんでした。(しかしironの関数を利用するにはtypemap::Keyの実装が必要...)
これはtypemap::Keyが外部で定義されているから無理ということなのでしょうか?しかしエラー文からはそのように読み取れないので理由がわかりません。

長文になってしまい申し訳ありません。
このエラーの原因と回避の仕方がわかる方いらっしゃいませんか?

1 件の回答 1

5

これはtypemap::Keyが外部で定義されているから無理ということなのでしょうか?

概ねそのような理由です。具体的にはOrphan Rule(孤児規則)と呼ばれる制約に引っかかっています。自分で定義していないトレイトを自分で定義していない型に対して(今回はジェネリクスなので定義していない型も含んでいます)実装できるとすると、複数人が同じことをした場合に実装が複数存在して一貫性がなくなります。エラーメッセージに出ているように rustc --explain E0210 で詳しく解説されています。

日本語記事だと下記があるようです。
参考: Rustのコヒーレンス - 簡潔なQ
https://qnighy.hatenablog.com/entry/2017/07/20/220000

1
  • 一番最後の『不可知なトレイト制約の扱い』が全く以て一緒でしたね。確かにこんな実装が許されてしまったら影響が大きすぎですね。こんなに詳しく説明されているサイトを紹介していただきありがとうございます。
    – glaceef
    Commented 2018年10月3日 1:33

この質問に回答するには、ログインする必要があります。

求めていた回答ではありませんか? のタグが付いた他の質問を参照する。