rust - 如何处理包装在Rc >中的新型枚举的模式匹配？

Question

背景
我正在编写一个库，一些相关的代码如下所示:

pub struct MyStruct1;

pub struct MyStruct2;

pub enum MyEnum {
    Variant1(MyStruct1),
    Variant2(MyStruct2)
}

// out of this crate
fn foo(my_enum: Rc<RefCell<MyEnum>>) {
    match &*my_enum.borrow() {
        Variant1(my_struct1) => { /* do something */ },
        Variant2(my_struct2) => { /* do something */ }
    }
}

目标
始终将 MyEnum包裹在 Rc<RefCell<MyEnum>>中使用。所以我想将其隐藏在 is-it-possible-to-implement-methods-on-type-aliases中描述的新类型结构中:

//make this only public to crate
pub(crate) enum MyEnum;

pub struct ExposedMyEnum(pub(crate) Rc<RefCell<MyEnum>>);

而且我不希望其他使用我的 crate 的人知道 Rc<RefCell<>>的存在。
问题
如果我使用 ExposedMyEnum隐藏烦人的 Rc<RefCell<MyEnum>>，则无法进行模式匹配，因为 foo不在此 crate 中。
不合适的解决方案
将原始代码更改为

struct MyStruct1;
struct MyStruct2;

pub struct ExposedMyStruct1(pub(crate) Rc<RefCell<MyStruct1>>);
pub struct ExposedMyStruct2(pub(crate) Rc<RefCell<MyStruct2>>);

pub enum MyEnum {
    Variant1(ExposedMyStruct1),
    Variant2(ExposedMyStruct1)
}

// out of this crate
fn foo(my_enum: &MyEnum) {
    match &my_enum {
        Variant1(my_struct1) => { /* do something */ },
        Variant2(my_struct2) => { /* do something */ }
    }
}

我需要为每个变体创建newtype结构，这不是很优雅。

Answer 1

解决方案非常简单:可以使用.0，.1等语法引用元组和类似元组的结构的成员，如下所示:

use std::cell::RefCell;
use std::rc::Rc;

pub struct MyStruct1;

pub struct MyStruct2;

pub(crate) enum MyEnum {
    Variant1(MyStruct1),
    Variant2(MyStruct2),
}

pub struct ExposedMyEnum(pub(crate) Rc<RefCell<MyEnum>>);

fn foo(my_enum: ExposedMyEnum) {
    match &*my_enum.0.borrow() {
        MyEnum::Variant1(my_struct1) => { /* do something */ }
        MyEnum::Variant2(my_struct2) => { /* do something */ }
    }
}