首页 文章

OCaml:不太明白'一个选项

提问于
浏览
1
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 回答

  • 3

    'a option 类型的值有两种形式:

    None
    Some x
    

    其中 x'a 类型的值 .

    例如,这里有两个类型为 int option 的值:

    None
    Some 421
    

    这可能是显而易见的,但想法是类型表示可能存在或可能不存在的值 . 值 None 表示缺少值 .

    是的,符号 (w: window) 表示类 widget 的参数是窗口 . 创建窗口小部件时,它看起来像这样:

    let mywidget = new widget mywindow in
    . . .
    

相关问题