Rust库中类型可见性与类型命名能力的相关疑问

先明确你的场景：库内部模块foo未设为公共，里面的Foo类型也没对外暴露路径，但公共函数baz返回了Foo实例，二进制里能拿到实例还能调用它的方法。下面逐个解答你的疑问：

1. 为什么Rust允许这种情况？ #

Rust的可见性规则是**“路径可见性”和“实例可用性”分离**的：

• 你不能直接写lib::foo::Foo来命名这个类型，是因为这个路径对外部不可见；但当你通过公共函数baz拿到Foo的实例后，你已经拥有了这个类型的实例，只要实例的方法是pub的，就可以直接调用——Rust不会限制你使用已经获取到的实例的公共方法。
• 这种设计的核心是支持封装：库作者可以隐藏类型的具体定义位置和内部结构，只通过公共接口提供实例和操作方法，避免用户依赖内部实现细节，方便后续迭代修改内部逻辑而不破坏对外API。

2. 编译为dylib时，会导出所有公共符号还是仅间接暴露的符号？ #

默认情况下，rustc会对动态库做符号修剪，只导出那些被公共API间接引用到的符号：

• 比如Foo类型因为被公共函数baz返回，所以它的相关符号（比如方法、布局信息）会被导出；但如果某个内部pub类型完全没被公共API用到，它的符号不会出现在动态库的符号表里。
• 如果你强制要导出某个符号，可以用#[no_mangle]或者#[export_name]属性，但这属于特殊场景，常规库开发不需要这么做。

3. 这种“能使用但无法命名”的类型有实用用途吗？ #

当然有，这是Rust里实现封装和API稳定性的常用技巧：

• 隐藏实现细节：你可以把Foo的内部结构完全藏起来，用户只能通过你提供的公共方法操作它，就算后续你修改Foo的字段、甚至把它换成另一个类型，只要公共方法的签名不变，用户的代码就不用改。
• 简化公共API：不用把内部类型放到公共命名空间里，避免公共API变得臃肿，只暴露必要的操作函数/方法即可。
• 实现句柄模式：比如数据库连接、文件句柄这类场景，用户拿到的是一个不透明的实例，只能通过库提供的方法来操作，不用担心误操作内部状态。

内容的提问来源于stack exchange，提问作者mb-lang