Есть ли способ создать псевдоним значения перечисления?

Question

Есть ли способ сделать что-то подобное?

enum MyType { 
    Left, 
    Right, 

    #[cfg(universe = "normal")] 
    Port = Left, 
    #[cfg(universe = "normal")] 
    Starboard = Right, 

    #[cfg(universe = "mirror")] 
    Port = Right, 
    #[cfg(universe = "mirror")] 
    Starboard = Left, 

} 

Если вы на самом деле попробовать, вы получите эту ошибку (я должен был добавить MyType::):

error[E0080]: constant evaluation error 
--> <anon>:9:12 
    | 
9 |  Port = MyType::Left, 
    |   ^^^^^^^^^^^^ unimplemented constant expression: enum variants 

Here где запускается эта ошибка.

Answer 1

Ваша реализация не имеет никакого смысла. Посмотрите на более простой версии:

enum MyType { 
    One, 
    Two = One, 
} 

Или сказал другому:

enum MyType { 
    One = 1, 
    Two = 1, 
} 

Вы просите компилятор создать два варианта перечисления, которые являются одинаковыми. Но весь смысл перечислений состоит в том, что они являются эксклюзивными друг друга.

Вместо этого, просто создать константу:

enum MyType { 
    One, 
} 

const TWO: MyType = MyType::One; 

Answer 2

Нет, насколько я знаю.

Перечисления в ржавчине - это не «пучок постоянных значений», как в C. Существует поддержка связывания числовых значений с константами, но это все. Конечно, вы могли бы создавать константы любого имени, но они не позволяли бы шаблону сопоставлять значение перечисления.

В известном смысле псевдоним в варианте перечисления немного напоминает псевдоним в поле типа. Я никогда не видел появления одного поля, идентифицированного двумя именами; Интересно, есть ли какой-нибудь язык, который его поддерживает.

---

Решение, которое я хотел бы предложить его стиснуть зубы и создать два отдельных перечислений с конверсией между ними:

use std::convert::From; 

enum Side { 
    Left, 
    Right, 
} 

enum PortSide { 
    Port, 
    Starboard, 
} 

#[cfg(not(universe = "mirror"))] 
impl From<Side> for PortSide { 
    fn from(s: Side) -> PortSide { 
     match s { 
      Side::Left => PortSide::Port, 
      Side::Right => PortSide::Starboard, 
     } 
    } 
} 

#[cfg(universe = "mirror")] 
impl From<Side> for PortSide { 
    fn from(s: Side) -> PortSide { 
     match s { 
      Side::Left => PortSide::Starboard, 
      Side::Right => PortSide::Port, 
     } 
    } 
} 

Кроме того, я бы посоветовал вам не требуется возможность быть определены , но вместо этого разрешить поведение по умолчанию при отсутствии этой функции. В вашем случае «нормальный» кажется, что это должно быть поведение по умолчанию.