use std::error::Error;

#[EnumConvesions(
    Error: Box<dyn Error + 'static>,
    |e| e.to_string().into()
)]
enum Enum<U> {
    F1(RefCell<U>),
    #[DeriveTryFrom]
    F2(bool),
}

限制和注意事项

这些应该在宏中进行验证，或者将导致编译器错误。对于前者，它们可以在 enum-conversion-derive 内部的单元测试中找到。后者可以在 /tests 目录下的 uncompilable_examples 子目录中找到。

枚举变体必须包含无歧义的类型。

以下类型的枚举变体在每个变体中都没有明确的类型

enum Enum {
    NamedFields{a: bool, b: i32},
    UnnamedField(bool, i32),
    Unit,
}

如果枚举中包含这些中的任何一个，宏将会引发恐慌。

任何类型都不能在多个变体中存在。

无法实现 TryFrom<bool> for bool，其中

enum Enum {
    F1(bool),
    F2(bool),
}

应该选择第一个或第二个变体吗？如果类型不能明确对应于单个字段，则宏将引发恐慌或Rust编译器将报错存在多个实现。

这个现象的更复杂例子是

enum Enum<'a, 'b, U, T> {
    Ref1(&'a U),
    Ref2(&'b T),
}

任何对TryFrom特质的通用实现也应该在特化类型 Enum<'a, 'a, bool, bool> 上工作，这是由于上述原因。在这种情况下，宏不会引发恐慌，但编译器会指出存在多个实现并报错。

在外国类型上实现外国特质。

Rust对外国特质的实现有严格的规则，请参阅错误代码E0210。

特别是，不允许在外国类型上实现外国特质。由于TryFrom是一个外国特质，因此不能像这样为泛型参数推导

#[EnumConversion]
#[DeriveTryFrom]
enum Enum<U> {
    F1(RefCell<U>),
    F2(bool),
}

这就是为什么TryFrom默认不实现，并且为什么它可以全局推导或仅针对特定变体推导。特质的TryTo不是外国特质，可以用作TryInto的替代品。