用Io的时候,不必既操心类又操心对象。只需要和对象打交道,必要的时候把对象复制一下就行。这些被复制的对象就叫做原型。
在原型语言中,每个对象都不是类的复制品,而是一个实实在在的对象。此外Io还能无限接近面向对象的Lisp(我最爱的一个语言)。
在其他语言中,可对某个类调用new创建一个信对象。通过定义类,可以创建一个新的对象种类。
但是对于Io,它不区分类和对象。可以通过复制现有对象创建新的对象。现有对象就是原型:
$ io
Io 20110905
Io> Demo := Object clone
==> Demo_0x11fca10:
type = "Demo"
Object是根对象。我们发送clone消息过去,它会返回一个新的对象。把这个返回的新对象赋值给Demo。这里的Demo不是类,也不是用来创建对象的模板,它只是个对象。
在Java中,类是用来创建对象的模板。比如Apple apple = new Apple()这条语句从Apple类创建一个新的Apple对象。apple和Apple是完全不同的两个实体,一个是对象,一个是类。
在Io中却不是这样。apple := Apple
clone这条语句从Apple原型创建一个名为apple的复制品。apple和Apple都是对象。Apple还是类型,因为它有type槽。而在其他方面,Apple和apple完全相同。
原型编程范式有几条基本原则:
- 所有事物都是对象
- 所有与对象的交互都是消息以最传统”hello world”为例
通过发送print消息给字符串”hello world”,接收者在左边,消息在右边Io> "hello world" print hello world==> hello world
- 你要