在学习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. 套题T7

    P4712 铺瓷砖 时间: 1000ms / 空间: 65536KiB / Java类名: Main   描述

  2. XCODE 出现 The operation couldn't be completed.(LaunchServicesError error 0.)错误修复

    XCODE 出现 The operation couldn't be completed.(LaunchServicesError error 0.)错误修复   XCODE 出现 The opera ...

  3. 【Linux高频命令专题(18)】tail

    概述 tail 命令从指定点开始将文件写到标准输出.使用tail命令的-f选项可以方便的查阅正在改变的日志文件,tail -f filename会把filename里最尾部的内容显示在屏幕上,并且不但 ...

  4. static int和static final int的区别

    1.static变量 按照是否静态的对类成员变量进行分类可分两种:一种是被static修饰的变量,叫静态变量或类变量:另一种是没有被static修饰的变量,叫实例变量.两者的区别是: 对于静态变量在内 ...

  5. Arc Engiene读取文档的属性

    设计界面 创建类 代码如下 using System; using System.Collections.Generic; using System.Linq; using System.Text; ...

  6. android的jni

    一.底层实现: c文件:hardware/libhardware_legacy/power/power.c 以其中set_screen_state(int)函数为例 其Android.mk中添加:   ...

  7. Linux 线程属性函数总结

    1.初始化一个线程对象的属性 int pthread_attr_init(pthread_attr_t *attr); 返回值:若是成功返回0,否则返回错误的编号 形 参: attr 指向一个线程属性 ...

  8. ASCII 字符代码表

  9. zlib代码生成

    1.主页下载zlib-1.2.8的source code的压缩包:F:\Develop Tools\zlib-1.2.8 2.下载安装cmake-2.8.1-win32-x86 3.用cmake生成z ...

  10. topcoder srm 628 div2 250 500

    做了一道题,对了,但是还是掉分了. 第二道题也做了,但是没有交上,不知道对错. 后来交上以后发现少判断了一个条件,改过之后就对了. 第一道题爆搜的,有点麻烦了,其实几行代码就行. 250贴代码: #i ...