Guile Scheme 之 GOOPS

Question

本帖最后由 Lispor 于 2010-11-29 22:39 编辑

GOOPS(Guile Object-Oriented Programming System)
Guile 的一个面向对象系统扩展模块, 类似于 CLOS(Common Lisp Object System), 适用于 scheme 环境.

GOOPS文档: goops manual

Answer 1

本帖最后由 Lispor 于 2010-11-30 23:39 编辑

加载 goops 模块:

1. guile> (use-modules (oop goops))

复制代码让我们先看几个例子:

1. 重载 + 函数, 以使字符串可以相加, 结果为字符串的顺序组合:

1. guile> (define-method (+ (x <string>) (y <string>))
2. ...        (string-append x y))
3. guile> (+ "abc" "def")
4. "abcdef"
5. guile> (+ "abc" "123" "def")
6. "abc123def"

复制代码2. 类型定义

1. guile> (define-class <2d-vector> ()
2. ...        (x #:init-value 0 #:accessor x #:init-keyword #:x)
3. ...        (y #:init-value 0 #:accessor y #:init-keyword #:y))

复制代码这样我们就定义了一个数学中二维向量, 其中有两个属性: x 和 y.

3. 对象生成
可以用 make 来创建一个二维向量:

1. guile> (define v1 (make <2d-vector>))               ; x, y 被设为默认值 (0, 0)
2. guile> (define v2 (make <2d-vector> #:x 1 #:y 2))   ; x, y 被设为 (1, 2)
3. guile> v1
4. #<<2d-vector> b75fe9e0>
5. guile> v2
6. #<<2d-vector> b75fde80>

复制代码4. 对象属性
可以访问和改变对象的 x 和 y 的值:

1. guile> (x v1)
2. 0
3. guile> (y v1)
4. 0
5. guile> (x v2)
6. 1
7. guile> (y v2)
8. 2
9. guile> (set! (x v1) 3)
10. guile> (set! (y v1) 4)
11. guile> (x v1)
12. 3
13. guile> (y v1)
14. 4

复制代码5. 重载函数
可以重载 +, 以使向量相加:

1. guile> (define-method (+ (v1 <2d-vector>) (v2 <2d-vector>))
2. ...        (make <2d-vector>
3. ...              #:x (+ (x v1) (x v2))
4. ...              #:y (+ (y v1) (y v2))))
6. guile> (define v3 (+ v1 v2))
7. guile> (x v3)
8. 4
9. guile> (y v3)
10. 6

复制代码6. 判断类型
可以得到一个对象的类型, 或者判断一个对象是否属于某个类型:

1. guile> (class-of v1)
2. #<<class> <2d-vector> b75fdc30>
3. guile> (class-of 1)
4. #<<class> <integer> b760ec30>
5. guile> (is-a? v1 <2d-vector>)
6. #t

复制代码