Rust开发中如何在API中不暴露Rc的前提下实现资源共享？

这类场景的核心设计思路是内部实现封装 + 构造函数隐式转换，完全不需要将Rc/Weak等智能指针暴露给用户，具体实现可以参考以下两种路径：

1. 基础实现：构造函数自动处理智能指针转换 #

直接在对外暴露的构造函数内部完成普通引用到Rc的转换，用户侧完全不需要感知内部实现逻辑，示例代码如下：

use std::rc::{Rc, Weak};

// 假设Vec4已经实现Clone/Copy trait
#[derive(Clone, Copy)]
pub struct Vec4(f32, f32, f32, f32);

// 对外暴露的Point结构，和业务定义完全一致
#[derive(Clone, Copy)]
pub struct Point {
    point: Vec4,
}

impl Point {
    pub fn new(v: Vec4) -> Self {
        Self { point: v }
    }
}

// 内部使用的Line结构，不需要对外暴露
struct Line {
    points: [Rc<Point>; 2],
}

// 对外暴露的Tri结构
pub struct Tri {
    points: [Weak<Point>; 3],
    edges: [Rc<Line>; 3],
}

impl Tri {
    // 对外暴露的构造函数，仅接受普通引用参数
    pub fn new(p0: &Point, p1: &Point, p2: &Point) -> Self {
        // 内部自动完成Rc构造，用户无感知
        let p0_rc = Rc::new(*p0);
        let p1_rc = Rc::new(*p1);
        let p2_rc = Rc::new(*p2);

        // Line的构造逻辑完全隐藏在内部
        let edge0 = Rc::new(Line { points: [p0_rc.clone(), p1_rc.clone()] });
        let edge1 = Rc::new(Line { points: [p1_rc.clone(), p2_rc.clone()] });
        let edge2 = Rc::new(Line { points: [p2_rc.clone(), p0_rc.clone()] });

        Self {
            points: [Rc::downgrade(&p0_rc), Rc::downgrade(&p1_rc), Rc::downgrade(&p2_rc)],
            edges: [edge0, edge1, edge2],
        }
    }
}

该实现可以直接匹配你给出的用户侧用法，不需要用户做任何Rc相关操作。如果需要支持用户修改原Point同步到内部几何元素，只需要给Point的坐标字段套一层RefCell实现内部可变性即可，对外暴露读写接口，用户依然不需要感知智能指针逻辑。

2. 优化实现：引入存储池避免重复拷贝 #

如果你的场景存在大量顶点共享的需求，每次构造都拷贝Point会有额外开销，可以新增一个统一的存储池结构管控所有几何元素的生命周期：

pub struct GeometryStore {
    points: Vec<Rc<Point>>,
}

impl GeometryStore {
    pub fn new() -> Self {
        Self { points: Vec::new() }
    }

    // 所有Point都通过存储池创建，内部自动持有Rc
    pub fn add_point(&mut self, v: Vec4) -> &Point {
        self.points.push(Rc::new(Point::new(v)));
        self.points.last().unwrap()
    }

    // Tri的构造也可以挂载到存储池上，直接用存储池内的Point引用构造
    pub fn new_tri(&self, p0: &Point, p1: &Point, p2: &Point) -> Tri {
        // 此处可以直接从存储池找到对应Rc，不需要再拷贝Point数据
        // 省略查找逻辑，和基础实现的构造逻辑一致
        todo!()
    }
}

这种方案下所有顶点的所有权都被存储池统一持有，Weak引用不会出现悬垂问题，也避免了重复拷贝顶点数据，适合复杂几何模型的场景。

内容的提问来源于stack exchange，提问作者Thor Correia