class window =
object
val mutable top_widget = (None : widget option)
method top_widget = top_widget
end
and widget (w : window) =
object
val window = w
method window = window
end;;
有两件事我不明白:
(无:小部件选项)这是什么意思?另外,一般来说我们如何使用“选项”?
(w:window)这意味着w是类窗口小部件的参数,它是窗口类型吗?
谢谢!!!
答案 0 :(得分:3)
类型'a option
的值有两种形式:
None
Some x
其中x
是'a
类型的值。
例如,此处有两个int option
类型的值:
None
Some 421
这可能是显而易见的,但想法是类型代表可能存在或可能不存在的值。值None
表示缺少值。
是的,符号(w: window)
表示班级widget
的参数是一个窗口。创建窗口小部件时,它看起来像这样:
let mywidget = new widget mywindow in
. . .