25、Eiffel的创建与初始化

Eiffel的创建与初始化

1. 对象创建的基本概念

Eiffel作为一种面向对象编程语言，其核心在于类和对象的创建与初始化。对象创建是Eiffel编程中的一个重要环节，它不仅涉及到对象的生成，还包括对象的初始化过程，以确保对象在创建时处于有效状态。创建对象时，程序员需要确保对象的所有属性都得到了正确的初始化，从而避免潜在的运行时错误。

1.1 创建对象的语法

在Eiffel中，创建对象的基本语法如下：

create object.create

这里， object 是目标对象， create 是创建程序的名称。创建程序是类中的一个特殊方法，用于初始化对象的状态。创建程序的名称可以是任意合法的标识符，但通常使用 create 作为默认名称。

1.2 创建程序的作用

创建程序在对象创建过程中起到了至关重要的作用。它负责初始化对象的各个属性，确保对象在创建完成后处于一个有效的初始状态。创建程序可以包含多个步骤，例如设置默认值、分配资源、初始化子对象等。

创建程序还可以调用其他方法来完成复杂的初始化任务。例如，以下代码展示了一个类 ACCOUNT 的创建程序：

class ACCOUNT
feature
    create
        do
            balance := 0