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是类窗口小部件的参数,它是窗口类型的?
谢谢!!!
1 回答
'a option
类型的值有两种形式:其中
x
是'a
类型的值 .例如,这里有两个类型为
int option
的值:这可能是显而易见的,但想法是类型表示可能存在或可能不存在的值 . 值
None
表示缺少值 .是的,符号
(w: window)
表示类widget
的参数是窗口 . 创建窗口小部件时,它看起来像这样: