The Expression Problem and Rust
8 months ago
- #Rust
- #Expression Problem
- #Software Design
- 软件设计中的表达式问题涉及在添加新数据类型和新操作之间保持可扩展性的平衡
- Rust的特征对象初看似乎能避免表达式问题，但实际解决方案并不简单
- Rust中两种常见方案分别是基于枚举（易于添加操作但难添加数据类型）和基于特征（易于添加数据类型但难添加操作）
- 有人提出将单个特征拆分为每个操作对应多个特征的方案，但这会引发新问题，例如在数据类型定义中硬编码操作
- 新提出的解决方案利用泛型允许函数动态指定所需操作或数据类型，从而避免硬编码列表
- 在Rust中实现该方案需要复杂模式（如使用`Unsize`处理特征对象），对多数用例而言可能过度设计
- 文章指出在静态类型语言（如Rust）中，有时坚持明确的设计选择比追求完美的可扩展性更为实际