假设我有一个与数据成员密切相关的公共逻辑和一个抽象逻辑,我如何用rust类型来编写它,而不用为每个实现重写相同的代码呢?
这里有一个我用scala编写的小例子,注意抽象类的具体逻辑依赖于数据成员name
和抽象逻辑formatDate()
。
abstract class Greeting(name: String) {
def greet(): Unit = {
println(s"Hello $name\nToday is ${formatDate()}.")
}
def formatDate(): String
}
class UsaGreeting(name: String) extends Greeting {
override def formatDate(): String = {
// somehow get year, month, day
s"$month/$day/$year"
}
}
class UkGreeting(name: String) extends Greeting {
override def formatDate(): String = {
// somehow get year, month, day
s"$day/$month/$year"
}
}
这只是一个玩具例子,但我的真实的生活约束是:
- 我有多个数据成员-而不仅仅是一个(
name
)。 - 每个子类都有相同的复杂方法,这些方法依赖于这些数据成员和特定于子类的抽象函数。
- 对于良好的API设计,实现
struct
继续保持所有这些数据成员和复杂方法是很重要的。
下面是我的一些不太令人满意的想法,可以让这个工作在生 rust :
- 我可能需要一个
get_name()
方法来处理每个实现都需要的trait,但这似乎是不必要的冗长,而且如果getter没有被内联,还可能导致性能下降。 - 我可以完全避免使用rust特性,而是创建一个带有额外数据成员的结构体来实现缺少的抽象逻辑,但这会使抽象逻辑在编译时不可用,并且肯定会导致性能下降。
- 我可以再次完全避免使用rust特性,而是使用泛型创建一个结构体,其关联函数完成抽象逻辑。到目前为止,这是我最好的想法,但使用泛型来填充缺失的逻辑感觉是错误的。
我对这些想法并不完全满意,那么在rust中有没有更好的方法来混合抽象逻辑和依赖于数据成员的具体逻辑呢?
3条答案
按热度按时间xqnpmsa81#
正如您所注意到的,Rust不是围绕类分类原则构建的,因此设计通常是不同的,您不应该试图在Rust中模仿OO语言。
你问了一个非常一般的问题,但有很多具体的情况需要不同的解决方案。
通常,当你想用OO语言定义什么对象是类时,你会使用traits来指定Rust中结构体行为的某些方面。
在您的特定情况下,假设正确的解决方案不涉及参数化或i18n实用程序,我可能会同时使用composition和enum来表示问候:
您的复合实现只需在需要时打开变体。
pcrecxhr2#
您可以添加返回对必填字段的引用的函数,并定义函数的默认实现。这是java或C#中的常用技术(
get; set;
)现在,
Greeting
可以在动态或通用上下文中使用。如果每次实现Greeting
时都必须定义get_name() -> &str
,那么解决方法如下所示:它并没有解决这个问题,而是把它从
Greeting
特征中分离出来。现在你可以使用过程宏(#[derive()]
)来自动生成get_name
。例如,过程宏可能如下所示
然后将
get_name()
添加到struct中就很容易了:您可以在此处阅读有关宏的信息
Procedural Macros
Macros
oknwwptz3#
最通用的解决方案似乎是我最初的第三个要点:而不是一个特征,用一个泛型来创建一个结构,泛型的关联函数完成了功能。
对于最初的玩具
Greeting
的例子,Denys的答案可能是最好的,但是一个更一般的解决主要问题的方法是: