在学习Rust过程中突然想到怎么实现继承,特别是用于代码复用的继承,于是在网上查了查,发现不是那么简单的。

C++的继承

首先看看c++中是如何做的。

例如要做一个场景结点的Node类和一个Sprite类继承它。

定义一个node基类

struct Node {
float x;
float y;
void move_to(float x, float y) {
this->x = x;
this->y = y;
}
virtual void draw() const {
printf("node: x = %f, y = %f\n", x, y);
}
};

再定义一个子类Sprite,重载draw方法:

struct Sprite: public Node {
virtual void draw() const {
printf("sprite: x = %f, y = %f\n", x, y);
}
};

可以把sprite作为一个Node来使用,并且可以重用Node中的move_to函数:

Node* sprite = new Sprite();
sprite->move_to(10, 10);
sprite->draw();

Rust中的继承

现在要用Rust做同样的事。定义一个Node基类:

struct Node {
x: f32,
y: f32,
} impl Node {
fn draw(&self) {
println!("node: x={}, y={}", self.x, self.y)
} fn move_to(&mut self, x: f32, y: f32) {
self.x = x;
self.y = y;
}
}

定义子类的时候我们遇到了麻烦:Rust里struct是不能继承的!

struct Sprite: Node;

这么写会报错:

error: `virtual` structs have been removed from the language

virtual struct是什么东西?原来Rust曾经有一个virtual struct的特性可以使struct继承另一个struct,但是被删掉了:(

RFC在这里。现在Rust的struct是不能继承的了。

使用 trait

Rust 里的 trait 是类似于 java 里 interface,可以继承的。我们把 Node 定义为 trait。

trait Node {
fn move_to(&mut self, x: f32, y: f32);
fn draw(&self);
}

但我们发现没有办法在 Node 中实现 move_to 方法,因为 trait 中不能有成员数据:x, y。

那只好在每个子类中写各自的方法实现,例如我们需要一个空Node类和一个Sprite类:

struct EmptyNode {
x: f32,
y: f32,
} impl Node for EmptyNode {
fn draw(&self) {
println!("node: x={}, y={}", self.x, self.y)
} fn move_to(&mut self, x: f32, y: f32) {
self.x = x;
self.y = y;
}
} struct Sprite {
x: f32,
y: f32,
} impl Node for Sprite {
fn draw(&self) {
println!("sprite: x={}, y={}", self.x, self.y)
} fn move_to(&mut self, x: f32, y: f32) {
self.x = x;
self.y = y;
}
}

是不是觉得有大量代码重复了?Sprite只需要重写 draw方法,但要把所有方法都实现一遍。如果要实现很多种 Node,每种都要实现一遍,那就要写吐血了。

组合

组合是一个代码重用的好方法。要重用代码时,组合而且比继承更能体现“has-a”的关系。我们把 Node 重新定义为之前的 struct 基类,然后把 Node 放在 Sprite 中:

struct Node {
x: f32,
y: f32,
} impl Node {
fn draw(&self) {
println!("node: x={}, y={}", self.x, self.y)
} fn move_to(&mut self, x: f32, y: f32) {
self.x = x;
self.y = y;
}
} struct Sprite {
node: Node
} impl Sprite {
fn draw(&self) {
println!("sprite: x={}, y={}", self.node.x, self.node.y)
} fn move_to(&mut self, x: f32, y: f32) {
self.node.move_to(x, y);
}
}

清爽了不少,美中不足的是还不能省略 move_to 方法,还要手动写一遍,简单调用 Node 中的同名方法。

组合和继承还有一些不同的,比如不能把 Sprite 转型为 Node。

Deref & DerefMut trait

std::ops::Deref 用于重载取值运算符: *。这个重载可以返回其他类型,正好可以解决组合中不能转换类型的问题。

在这个例子中,由于 move_to 的 self 可变的,所以要实现 Deref 和 DerefMut

struct Sprite {
node: Node
} impl Sprite {
fn draw(&self) {
println!("sprite: x={}, y={}", self.node.x, self.node.y)
}
} impl Deref for Sprite {
type Target = Node; fn deref<'a>(&'a self) -> &'a Node {
&self.node
}
} impl DerefMut for Sprite {
fn deref_mut<'a>(&'a mut self) -> &'a mut Node {
&mut self.node
}
}

之后就可以把 &Sprite 转换为 &Node

let mut sprite = Sprite{ node: Node { x: 10.0, y: 20.0 } };
let mut sprite_node: &mut Node = &mut sprite;
sprite_node.move_to(100.0, 100.0);

要注意的是对sprite_node的方法调用重载是不起作用的。如果 sprite_node.draw(),调用的还是Node.draw(),而不是Sprite.draw()。

如果要调用子类的方法,必须有子类类型的变量来调用。

let mut sprite = Sprite{ node: Node { x: 10.0, y: 20.0 } };

// 这个大括号限制 mut borrow 范围
{
let mut sprite_node: &mut Node = &mut sprite;
sprite_node.move_to(100.0, 100.0);
sprite.node.draw(); // 输出 node: x=100, y=100
} sprite.draw(); // 输出 sprite: x=100, y=100

Rust 中的继承与代码复用的更多相关文章

  1. C++进阶--代码复用 继承vs组合

    //############################################################################ /* * 代码复用: 继承 vs 组合 * ...

  2. C++的精髓——代码复用、接口复用

    C++的精髓——代码复用.接口复用 在另一篇文章中提到C++三大特点的核心概括,也写在这里吧.封装:信息隐藏继承:代码复用多态:面向对象C++并不是面向对象,它包容多种编程思想,如面向过程,面向对象, ...

  3. Java——代码复用(组合和继承)

    前言 "复用代码是Java众多引人注目的功能之一.但要想成为极具革命性的语言,仅仅能够复制代码并对之加以改变是不够的,它必须还能够做更多的事情." Java解决问题都围绕类展开的, ...

  4. PHP代码的多继承 -》 PHP代码复用新的姿势 trait

    本文参考:  http://php.net/language.oop5.traits 一.什么是trait 从PHP 5.4.0 开始 PHP 实现了一种新的代码复用方式 trait. 二.trait ...

  5. Javascript中的继承与复用

    实现代码复用的方法包括:工厂模式.构造函数模式.原型模式(<高三>6.2章 P144),它们各自的特点归结如下:1.工厂模式虽然使创建对象一定程度上实现了代码复用,但却没有解决对象识别问题 ...

  6. java代码复用(继承,组合以及代理)

    作为一门面向对象开发的语言,代码复用是java引人注意的功能之一.java代码的复用有继承,组合以及代理三种具体的表现形式,下面一一道来. 第一种方式是通过按照现有的类的类型创建新类的方式实现代码的复 ...

  7. Atitit 代码复用的理解attilax总结

    Atitit 代码复用的理解attilax总结 1.1. 继承1 1.1.1. 模式1:原型继承1 1.1.2. 模式2:复制所有属性进行继承 拷贝继承1 1.1.3. 模式3:混合(mix-in)1 ...

  8. Objective-C中的继承和多态

    面向对象编程之所以成为主流的编程思想和他的继承和多态是分不开的,只要是面向对象语言都支持继承和多态,当然不同的OOP语言之间都有其特点.OC中和Java类似,不支持多重继承,但OOP语言C++就支持多 ...

  9. javascript 模式(1)——代码复用

    程序的开发离不开代码的复用,通过代码复用可以减少开发和维护成本,在谈及代码复用的时候,会首先想到继承性,但继承并不是解决代码复用的唯一方式,还有其他的复用模式比如对象组合.本节将会讲解多种继承模式以实 ...

随机推荐

  1. Hibernate中createCriteria即QBC查询的详细用法 .Hibernate中createCriteria即QBC查询的详细用法 .

    现在假设有一个Student类,内有id,name,age属性String hql = "from Student s";按照以前的做法,我们通常是Query query = se ...

  2. javaWEB邮件测试

    新建一个工具类: Mail.java 该类的主要关键点是:1.设置系统属性.也就是你是用什么协议来进行邮件发送的,邮件协议有很多在种,比如impt,smpt,prop等协议, 我现在测试用的是smpt ...

  3. Unix编程之size_t、ssize_t

    http://blog.csdn.net/lalor/article/details/7426184 首先,我非常肯定以 及确定的告诉你ssize_t是有符号整型,在32位机器上等同与int,在64位 ...

  4. TCL语言笔记:TCL练习

    一.关于随机数的练习 1.随机生成一个最大值到最小值之间的整数 proc random {min max} { return [expr round(($max-$min)*rand()+$min)] ...

  5. 转 命令行下玩VC

    说明:(1)转载请注明出处:http://www.cnblogs.com/opangle/p/4298155.html (2)以下以VS2013为例,并假设VC安装路径为%VC_INSTALL_PAT ...

  6. Enabling HierarchyViewer on Rooted Android Devices

    转自http://blog.apkudo.com/2012/07/26/enabling-hierarchyviewer-on-rooted-android-devices/. The Hierarc ...

  7. hdu 4952 Number Transformation (找规律)

    题目链接 题意:给你个x,k次操作,对于第i次操作是:要找个nx,使得nx是>=x的最小值,且能整除i,求k次操作后的数 分析: 经过打表找规律,会发现最后的x/i,这个倍数会趋于一个固定的值, ...

  8. uva 10131 Is Bigger Smarter ? (简单dp 最长上升子序列变形 路径输出)

    题目链接 题意:有好多行,每行两个数字,代表大象的体重和智商,求大象体重越来越大,智商越来越低的最长序列,并输出. 思路:先排一下序,再按照最长上升子序列计算就行. 还有注意输入, 刚开始我是这样输入 ...

  9. 安卓学习之--如何关闭所有的activity

    根据Activity的声明周期 方法1   我们知道Android的窗口类提供了历史栈,我们可以通过stack的原理来巧妙的实现,这里我们在A窗口打开B窗口时在Intent中直接加入标志 Intent ...

  10. Qt之QTableView添加复选框(QAbstractTableModel)

    简述 使用QTableView,经常会遇到复选框,要实现一个好的复选框,除了常规的功能外,还应注意以下几点: 三态:不选/半选/全选 自定义风格(样式) 下面我们介绍一下常见的实现方式: 编辑委托. ...