私はSleep
という特性を持っています:
pub trait Sleep {
fn sleep(&self);
}
構造体ごとに異なるスリープの実装を提供することもできますが、ほとんどの人は非常に少数の方法でしかスリープしないことがわかりました。あなたはベッドで眠ることができます:
pub trait HasBed {
fn sleep_in_bed(&self);
fn jump_on_bed(&self);
}
impl Sleep for HasBed {
fn sleep(&self) {
self.sleep_in_bed()
}
}
キャンプしている場合は、テントで寝ることができます。
pub trait HasTent {
fn sleep_in_tent(&self);
fn hide_in_tent(&self);
}
impl Sleep for HasTent {
fn sleep(&self) {
self.sleep_in_tent()
}
}
いくつかの奇妙なケースがあります。私は壁に立てかけて寝ることができる友人がいますが、ほとんどの人は、ほとんどの場合、単純なケースに陥ります。
いくつかの構造体を定義し、それらをスリープさせます。
struct Jim;
impl HasBed for Jim {
fn sleep_in_bed(&self) {}
fn jump_on_bed(&self) {}
}
struct Jane;
impl HasTent for Jane {
fn sleep_in_tent(&self) {}
fn hide_in_tent(&self) {}
}
fn main() {
use Sleep;
let jim = Jim;
jim.sleep();
let jane = Jane;
jane.sleep();
}
ええとああ!コンパイルエラー:
error[E0599]: no method named `sleep` found for type `Jim` in the current scope
--> src/main.rs:44:9
|
27 | struct Jim;
| ----------- method `sleep` not found for this
...
44 | jim.sleep();
| ^^^^^
|
= help: items from traits can only be used if the trait is implemented and in scope
= note: the following trait defines an item `sleep`, perhaps you need to implement it:
candidate #1: `Sleep`
error[E0599]: no method named `sleep` found for type `Jane` in the current scope
--> src/main.rs:47:10
|
34 | struct Jane;
| ------------ method `sleep` not found for this
...
47 | jane.sleep();
| ^^^^^
|
= help: items from traits can only be used if the trait is implemented and in scope
= note: the following trait defines an item `sleep`, perhaps you need to implement it:
candidate #1: `Sleep`
このコンパイラエラーは奇妙です。別のトレイトを実装するトレイトに何か問題があった場合、結果を使用しようとしたときにプログラムの最下部ではなく、それを実行したときにそれについてずっと前から聞いていたはずです。
この例では、2つの構造体と2つのスリープ方法しかありませんが、一般的なケースでは、多くの構造体といくつかのスリープ方法があります(ただし、構造体ほど多くの方法はありません)。
Bed
は主にSleep
の実装ですが、一般的な場合、Bed
には多くの用途があり、多くのものを実装できます。
すぐにわかる唯一のアプローチは、impl Sleep for...
を、それ自体が使用する構造体のマクロに変換することですが、これはハッキーで恐ろしいようです。
最初の特性を実装するオブジェクトの2番目の特性を実装する必要があります:
impl<T> Sleep for T
where
T: HasBed,
{
fn sleep(&self) {
self.sleep_in_bed()
}
}
以前は、特性のタイプにSleep
を実装していましたが、dyn HasBed
としてより適切に表現されていました。詳細は 「dyn」はタイプで何を意味するか? を参照してください。
ただし、これは、2番目の包括的な実装を追加するとすぐに壊れます。
impl<T> Sleep for T
where
T: HasTent,
{
fn sleep(&self) {
self.sleep_in_tent()
}
}
と
error[E0119]: conflicting implementations of trait `Sleep`:
--> src/main.rs:24:1
|
10 | / impl<T> Sleep for T
11 | | where
12 | | T: HasBed,
13 | | {
... |
16 | | }
17 | | }
| |_- first implementation here
...
24 | / impl<T> Sleep for T
25 | | where
26 | | T: HasTent,
27 | | {
... |
30 | | }
31 | | }
| |_^ conflicting implementation
何かを実装することは可能ですbothHasBed
とHasTent
。両方を実装したものが表示された場合、コードはあいまいになります。これの回避策はspecializationですが、まだ安定した実装はありません。
どのようにして目標を達成しますか?私はあなたがすでに現在の最善の解決策を提案していると思います-マクロを書いてください。 独自の派生マクロを書く もできます。マクロはそれほど悪くはありませんが、書くのが面倒な場合があります。
例として選択した名前に完全に基づいている可能性があるもう1つのことは、単純に構造体を他の構造体に埋め込んで、オプションでそれらをパブリックにすることです。 Sleep
の実装は基本的にベッド/テントにのみ依存するため、これを実行しても機能は失われません。もちろん、一部の人々はそれがカプセル化を壊すと感じるかもしれません。並べ替えの委譲を実装するマクロを再度作成できます。
trait Sleep {
fn sleep(&self);
}
struct Bed;
impl Bed {
fn jump(&self) {}
}
impl Sleep for Bed {
fn sleep(&self) {}
}
struct Tent;
impl Tent {
fn hide(&self) {}
}
impl Sleep for Tent {
fn sleep(&self) {}
}
struct Jim {
bed: Bed,
}
struct Jane {
tent: Tent,
}
fn main() {
let jim = Jim { bed: Bed };
jim.bed.sleep();
}
ここで関連アイテムを使用できます。
pub trait Sleep: Sized {
type Env: SleepEnv;
fn sleep(&self, env: &Self::Env) {
env.do_sleep(self);
}
fn get_name(&self) -> &'static str;
}
pub trait SleepEnv {
fn do_sleep<T: Sleep>(&self, &T);
}
次に、2つの異なるスリープ環境を実装します。
struct Bed;
struct Tent;
impl SleepEnv for Bed {
fn do_sleep<T: Sleep>(&self, person: &T) {
println!("{} is sleeping in bed", person.get_name());
}
}
impl SleepEnv for Tent {
fn do_sleep<T: Sleep>(&self, person: &T) {
println!("{} is sleeping in tent", person.get_name());
}
}
最後の部分はそれらの具体的な実装です。
struct Jim;
struct Jane;
impl Sleep for Jim {
type Env = Bed;
fn get_name(&self) -> &'static str {
"Jim"
}
}
impl Sleep for Jane {
type Env = Tent;
fn get_name(&self) -> &'static str {
"Jane"
}
}
テストコード:
fn main() {
let bed = Bed;
let tent = Tent;
let jim = Jim;
let jane = Jane;
jim.sleep(&bed);
jane.sleep(&tent);
}