超级会员免费看
深入探索面向对象编程与开发环境搭建
1. 析构函数与程序构建
在编程中，析构函数起着释放资源的重要作用。以下是一段析构函数的汇编代码：
# Destructors
movq LCL_CAT(%rbp), %rdi
call cat_destroy
movq LCL_DOG(%rbp), %rdi
call dog_destroy
leave
ret
要将相关代码构建成可执行程序，可使用以下命令（需在同一行输入）：
gcc -static -o vtable vtable_main.s vtable_dothings.s vtable_animal.s vtable_dog.s vtable_cat.s
构建完成后，运行程序只需执行
./vtable
命令。
2. 面向对象编程中的继承
继承是面向对象编程的重要特性之一，它允许定义与原类基本相同，但可添加或替换现有方法、添加数据字段的新类。以
ScreechyCat
类为例，它继承自
Cat
类，但发出的声音不同，不是 “Meow” 而是 “Screech!”。
以下是
ScreechyCat
类的代码：
vtable_screechy.s
## ScreechyCat Class
.globl screechy_cat_new, screechy_cat_speak, screechy_cat_destroy
.section .data
speak_text:
.ascii "Screech!\n\0"
.section .text
.equ SCREECHY_CAT_SIZE, 128
screechy_cat_new:
enter $0, $0
movq $SCREECHY_CAT_SIZE, %rdi
call malloc
leave
ret
screechy_cat_speak:
enter $0, $0
movq stdout, %rdi
movq $speak_text, %rsi
call fprintf
leave
ret
screechy_cat_destroy:
enter $0, $0
call free
leave
ret
需要注意以下两点：
-
内存分配
：
ScreechyCat
类分配的内存比
Cat
类多。可以分配相同或更多的内存，但不能更少，因为从
Cat
类继承的方法认为它们知道数据的布局。因此，可以添加更多字段（原方法会忽略这些字段，因为它们不知道这些字段的存在），但不能更改基类的布局。
-
方法继承
：
ScreechyCat
类没有实现
eat
方法，因为它继承了该方法。可以添加一个常量，如
.equ screechy_cat_eat, cat_eat
，使代码更易理解，但这不是必需的。
ScreechyCat
类的
Animal
虚表如下：
vtable_screechy_animal.s
screechy_cat_vtable_animal:
.quad screechy_cat_speak
.quad cat_eat
由于
eat
方法在两个类中相同，
cat_eat
地址直接放入虚表。在面向对象编程中，未被重写的函数会直接复制到虚表中。
不过，当前实现机制存在一个问题：如果从基类调用同一类中被重写的方法，可能无法找到被重写的方法，而是调用基类（未重写）的方法。为支持这种行为，需要为每个类创建包含其所有方法的虚表，并在每次调用类的方法时传递该虚表。但这需要对系统进行重大改写，此处未展示具体实现。
3. 运行时类型信息
在编程中，程序常常需要关于所处理对象的额外信息，如对象所属的具体类、支持的接口等，这就是运行时类型信息（Runtime Type Information）。大多数面向对象语言都提供了这一常见功能。
实现运行时类型信息的常见方式有两种：
- 在对象的第一个字段添加指向该数据的指针，这样即使不知道对象的类型，也能轻松找到该信息。
- 将获取该信息的函数作为每个虚表记录的第一个条目。
特定类的运行时类型数据通常称为类的元类。元类有时只是定义了一些函数的结构体，有时则实现为完整的类，自身也有元类和虚表。
4. 鸭子类型
鸭子类型是实现面向对象编程的另一种方式，其理念源于 “如果它走路像鸭子，叫声像鸭子，那它就是鸭子”。在鸭子类型中，不依赖于类型和接口，允许尝试在任何对象上调用任何方法名。
在这种机制下，代码只需为函数提供一个标识符，每个函数名对应一个特定的数字。对象将其所有方法指针存储为标识符/指针对。调用函数时，代码会遍历函数列表，查找匹配的标识符，找到匹配的标识符后就调用相应的函数。
每次函数调用都需要更多代码，因为每次调用都需要遍历函数列表。在某些语言中，这个过程会分多个阶段进行，先在当前类中查找实现，若未找到则在父类中查找，以此类推。在某些语言中，如果未找到方法，类有机会在运行时创建该方法，这使得可以根据数据库中的字段自动创建数据库访问方法。
5. 面向对象编程的总体考虑
面向对象编程使程序员能够以高度动态的方式实现软件，将功能与实现分离。但用汇编语言手动编写面向对象代码往往很繁琐。而通过编程语言生成的面向对象代码，能产生易于编写、阅读和理解的灵活程序。因此，汇编语言程序员较少采用面向对象的编程方式。不过，构建面向对象编程语言需要深入了解汇编语言，即使最终由编译器生成代码。
以下是相关知识点的总结表格：
| 知识点 | 描述 |
| ---- | ---- |
| 析构函数 | 释放资源，通过汇编代码实现特定对象的销毁 |
| 继承 | 允许创建与原类相似但有差异的新类，可添加或替换方法、添加字段 |
| 运行时类型信息 | 提供对象的额外信息，通过指针或虚表条目实现 |
| 鸭子类型 | 不依赖类型和接口，通过标识符查找方法 |
| 面向对象编程 | 分离功能与实现，汇编编写繁琐，语言生成代码灵活 |
下面是一个简单的流程图，展示了鸭子类型中方法调用的流程：
graph TD;
A[调用方法] --> B[获取方法标识符];
B --> C[遍历对象方法列表];
C --> D{找到匹配标识符?};
D -- 是 --> E[调用对应函数];
D -- 否 --> F{是否有父类};
F -- 是 --> C;
F -- 否 --> G[结束查找];
6. 开发环境搭建：Docker
Docker 是一款强大的工具，可在系统上同时运行多个容器。容器类似于在计算机内运行的虚拟机，但没有完整虚拟机的大部分开销。它还能让用户快速轻松地下载第三方机器镜像，并在本地计算机上运行。即使在 Mac 或 Windows 计算机上，也能通过 Docker 运行 Linux 镜像，不过要求计算机具备 x86 - 64 处理器。
6.1 Docker 容器使用注意事项
Docker 容器本质上是基于命令行的。若不熟悉命令行，可参考相关资料学习。在 Docker 容器内编辑文件，基本只能使用命令行工具。而且，一旦退出容器，容器就会停止运行。虽然可以找到旧的运行容器并重新启动，但这超出了本文的讨论范围。因此，我们重点关注运行 Docker 容器，并将数据文件存储在主机计算机上与容器共享的目录中，这样所有更改都会保存在主计算机上，可在任何容器中访问，还能使用主机计算机上喜欢的编辑器进行编辑，更改会立即在 Docker 容器中生效。
6.2 启动 Docker 镜像的步骤
假设 Docker 已成功安装并运行，要启动特定的 Docker 镜像，可按以下步骤操作：
1. 在硬盘上选择一个目录来存储代码。
2. 进入自己机器（即 “主机” 机器）的命令行。
3. 在命令行中，切换到步骤 1 中选择的目录。
4. 根据不同的操作系统，执行相应的命令：
-
Mac 或 Linux 计算机
：运行以下命令（需在同一行输入）：
docker run -it --rm --mount "type=bind,src=`pwd`,target=/my-code" johnnyb61820/linux–assembly
注意，
pwd
要用反引号（
）包裹，这会告诉计算机运行
pwd
命令并将结果替换到相应位置。
- **Windows 计算机（传统命令提示符）**：将
pwd
替换为
%cd%`（无需反引号），命令如下：
docker run -it --rm --mount "type=bind,src=%cd%,target=/my-code" johnnyb61820/linux–assembly
- **Windows 计算机（PowerShell）**：将 `pwd` 替换为 `$pwd`（无需反引号），命令如下：
docker run -it --rm --mount "type=bind,src=$pwd,target=/my-code" johnnyb61820/linux–assembly
若不确定使用的是传统命令提示符还是 PowerShell，可假设使用传统命令提示符。
首次运行该命令时，若需要，Docker 会下载指定的镜像，这可能需要一些时间，具体取决于网络连接速度。下载完成后，会在新容器中为你提供一个交互式 Linux 终端，该容器配备了所需的所有工具。在容器中，目录名为
/my-code
，但实际上挂载的是主机计算机上的目录。对容器或主机上的文件所做的任何更改都会立即反映在另一方，因为它们共享该目录。
以下是命令各部分的详细解释：
| 命令部分 | 描述 |
| ---- | ---- |
|
docker run
| 告诉 Docker 运行一个新容器 |
|
-it
| 允许 Docker 实例作为控制台使用 |
|
--rm
| 当退出容器时，让 Docker 删除该容器 |
|
--mount
| 告诉 Docker 将主机机器上的目录挂载到新容器上 |
|
johnnyb61820/linux - assembly
| 要运行的镜像名称 |
要验证是否在容器内运行，可执行
as --version
命令。该命令应打印出关于工具（GNU 汇编器）的信息，包括其构建目标系统，目标信息应包含
x86_64 - linux - gnu
。如果显示命令未找到或目标是
x86_64 - apple - darwin
，则表示不在容器内。
7. 命令行的重要性
命令行曾经是人们操作计算机的主要方式，在 Mac 和 Windows 出现之前，从销售人员到秘书、经理再到程序员，大家都通过命令行与计算机交互。如今，操作系统开发者将命令行隐藏在计算机的角落里，很少有人了解它。但对于计算机程序员来说，熟悉命令行至关重要。
命令行可看作是与计算机的无过滤对话，现代计算机的图形工具大多是为了过滤与计算机的交互，菜单和按钮限制了用户的操作。对于普通用户来说，这种限制是有益的，能防止他们做错事。但对于程序员而言，编程的目的往往是让计算机完成原开发者未预料到的任务，这些限制反而会阻碍开发。
在以网络为导向的世界中，命令行提供了访问远程计算机最直接的方式。虽然本文未涉及远程登录计算机的内容，但可以肯定的是，掌握命令行对于远程管理和调试计算机至关重要。
综上所述，无论是面向对象编程的各种概念，还是 Docker 开发环境的搭建以及命令行的使用，都是编程学习和实践中不可或缺的重要部分，希望这些内容能帮助大家更好地进行编程开发。
深入探索面向对象编程与开发环境搭建
8. 面向对象编程练习
为了更好地掌握面向对象编程的知识，我们可以通过一些练习来巩固。以下是两个具体的练习：
8.1 创建形状类和接口
创建
Triangle
和
Rectangle
类，每个类都包含对象的底和高。然后创建一个名为
findArea
的方法，用于计算每个对象的面积。再创建一个
Shape
接口，该接口包含
findArea
方法，并为其编码虚表。
以下是一个简单的思路示例：
; 假设的 Triangle 类的 findArea 方法
triangle_findArea:
; 实现计算三角形面积的逻辑
; 这里只是示例，具体代码需要根据数据布局和计算逻辑实现
ret
; 假设的 Rectangle 类的 findArea 方法
rectangle_findArea:
; 实现计算矩形面积的逻辑
; 这里只是示例，具体代码需要根据数据布局和计算逻辑实现
ret
; Shape 接口的虚表
shape_vtable:
.quad triangle_findArea
.quad rectangle_findArea
在实际实现中，需要根据具体的汇编语言规则和数据布局来完善代码。
8.2 使用鸭子类型重新实现 Cat 和 Dog 类
使用鸭子类型重新实现
Cat
和
Dog
类，需要为每个方法名分配一个唯一的数字。创建一个名为
call_method
的函数，该函数接受对象和方法编号，查找对象的函数并调用它。这要求对象的第一个字段是指向该方法查找表的指针。
以下是一个简单的示例代码框架：
; 假设的方法编号定义
.equ CAT_SPEAK_METHOD, 1
.equ CAT_EAT_METHOD, 2
.equ DOG_SPEAK_METHOD, 3
.equ DOG_EAT_METHOD, 4
; 假设的方法查找表结构
; 这里只是示例，实际结构需要根据具体需求设计
.method_lookup_table:
.quad cat_speak
.quad cat_eat
.quad dog_speak
.quad dog_eat
; call_method 函数
call_method:
enter $0, $0
; 获取对象指针和方法编号
; 根据方法编号在方法查找表中查找对应的函数指针
; 调用对应的函数
leave
ret
同样，实际代码需要根据具体的汇编语言和数据结构进行完善。
9. 总结与回顾
通过前面的学习，我们深入了解了面向对象编程的多个重要概念，包括析构函数、继承、运行时类型信息、鸭子类型等。同时，也掌握了使用 Docker 搭建开发环境以及命令行的重要性。
下面通过一个表格来总结面向对象编程各概念的特点和应用场景：
| 概念 | 特点 | 应用场景 |
| ---- | ---- | ---- |
| 析构函数 | 释放资源，确保对象占用的资源被正确清理 | 当对象生命周期结束时，需要释放内存、关闭文件等操作 |
| 继承 | 允许创建新类，继承原类的方法和属性，可添加或替换方法、添加字段 | 当需要创建与现有类相似但有部分差异的新类时 |
| 运行时类型信息 | 提供对象的额外信息，帮助程序在运行时了解对象的具体类型和支持的接口 | 当程序需要根据对象的具体类型进行不同处理时 |
| 鸭子类型 | 不依赖类型和接口，通过标识符查找方法，增加了代码的灵活性 | 当需要在不同对象上调用相同名称的方法，但对象类型不同时 |
再通过一个流程图来展示面向对象编程中对象创建和方法调用的整体流程：
graph TD;
A[创建对象] --> B[分配内存];
B --> C[初始化对象];
C --> D[调用方法];
D --> E[查找虚表或方法查找表];
E --> F{找到方法?};
F -- 是 --> G[调用方法];
F -- 否 --> H[处理未找到方法的情况];
G --> I[释放资源（析构函数）];
H --> I;
10. 面向未来的思考
虽然汇编语言在实现面向对象编程时较为繁琐，但它为理解高级编程语言的底层实现提供了重要的基础。随着技术的发展，高级编程语言在面向对象编程方面提供了更便捷的语法和工具，但了解底层原理能让我们更好地优化代码、解决问题。
在开发环境方面，Docker 等容器技术的出现，使得开发和部署变得更加高效和灵活。未来，我们可以期待更多类似的技术出现，进一步简化开发流程。
对于命令行，它作为与计算机最直接的交互方式，将继续在编程和系统管理中发挥重要作用。随着自动化工具的发展，命令行的使用可能会更加高效和智能化。
总之，掌握面向对象编程的概念、搭建合适的开发环境以及熟练使用命令行，将为我们的编程之路打下坚实的基础，让我们能够更好地应对未来的挑战。
扫一扫
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
