Rust: присвойте Enum самому себе со специализацией Generics
Я использую специализацию дженериков, чтобы иметь собственный тип времени компиляции в некоторой структуре данных перечисления:
pub trait MyEnumState{}
// All state are Zero Sized Type
pub struct State1; impl MyEnumState for State1{};
pub struct State2; impl MyEnumState for State2{};
// Note : I don't know is there is a PhantomData<S> for an enum
pub enum MyEnum<S: MyEnumState> {
A,
B,
C(i32), // Can also have some data
// ... long enum
}
Теперь я хотел бы иметь возможность их разыгрывать: одно и то же значение, другой тип.
// How to avoid this mess ???
impl MyEnum<State1> {
pub fn to_state2(self) -> MyEnum<State2> {
match self {
MyEnum::A => MyEnum::A,
MyEnum::B => MyEnum::B,
MyEnum::C(v) => MyEnum::C(v),
}
}
}
// I can proably make a generic function
// ```
// fn cast
// <StateBegin : MyEnumState, StateEnd : MyEnumState>
// (val MyEnum<StateBegin>) -> MyEnum<StateEnd> { ... }
// ```
// to avoid repetition but I still have at least 1 giant match to implement
impl MyEnum<State2> { ... }
impl<S : MyEnumState> MyEnum<S>
{
pub fn to_state<NewState : MyEnumState>(self) -> MyEnum<NewState>
{
// how ?!
}
}
Это всего лишь простой пример. Цель состоит в том, чтобы иметь 0 операторов сопоставления, чтобы избежать совпадений для всех существующих вариантов перечисления.
Потому что вы можете реализовать другую функцию, если у вас есть MyEnum<State1> или MyEnum<State2>. impl MyEnum<State1>{ fn foo(&self) {} }impl MyEnum<State2>{ fn bar(&self) {} } Вы можете поискать в Интернете по запросу «машина состояния ржавчины», чтобы увидеть потрясающее использование нулевого типа :)
@trueequalsfalse это называется шаблоном состояния типа, и State1, поскольку он другого типа, чем State2, может включать другую обработку MyEnum<State1> и MyEnum<State2>, очевидно, его можно использовать только во время компиляции, поскольку после этого информация о типе больше не доступна.
Ответы 1
Один из способов — поместить поле PhantomData за пределы перечисления в структуру-оболочку:
use core::marker::PhantomData;
pub enum MyEnum {
A,
B,
C(i32),
}
pub struct EnumWithState<S: MyEnumState> {
data: MyEnum,
_state: PhantomData<S>,
}
Затем вы можете реализовать функцию приведения типов на EnumWithState:
impl<S: MyEnumState> EnumWithState<S> {
fn to_state<S2: MyEnumState>(self) -> EnumWithState<S2> {
EnumWithState {
data: self.data,
_state: PhantomData,
}
}
}
Как например
State1состояние, когда оно ничего не содержит?