假设我们已经有啤酒与威士忌两个模块:
module Beer = struct
type t = BEER
let pour () =
let () = Printf.printf "... a nice head ... " in BEER
let consume t =Printf.printf "Ha! Nothing like a good beer to quench the thirst\n"
end
module Whisky = struct
type t = WHISKY
let pour () =
let () = Printf.printf "... 2 fingers of this ...." in WHISKY
let consume _ = Printf.printf "... Ha! Piss of the Gods!\n"
end
如果现在想实现一个酒鬼模块, 这个酒鬼有时喜欢啤酒,有时又喜欢威士忌. 注意: 啤酒与威士忌模块实现了一样的函数(pour/consume). 所以我们可以定义一个如下的"模块类型":
module type Beverage = sig
type t
val pour :unit -> t
val consume : t ->unit
end
然后,使用 functor建一个酒鬼模块:
module Alkie =functor (B:Beverage) -> struct
let rec another = function
| 0 -> ()
| i -> let b = B.pour () in
let () = B.consume b in
another (i-1)
end
使用:
let menu = Hashtbl.create 3
let () = Hashtbl.add menu "Beer" (module Beer : Beverage)
let () = Hashtbl.add menu "Whisky" (module Whisky : Beverage)
let () = let favourite =ref "Whisky" in
let () = Arg.parse
[("--beverage", Arg.Set_string favourite,Printf.sprintf "which beverage to use (%s)" !favourite)]
(fun s -> raise (Arg.Bad s))
("usage:")
in
let module B = (val (Hashtbl.find menu !favourite) : Beverage)in
let module AlkieB = Alkie(B) in
let () = AlkieB.another 3 in ();;
将上面代码存入文件a.ml,然后:
>ocamlc a.ml
>./a.out
... 2 fingers of this ....... Ha! Piss of the Gods!
... 2 fingers of this ....... Ha! Piss of the Gods!
... 2 fingers of this ....... Ha! Piss of the Gods!
>./a.out --beverage Beer
... a nice head ... Ha! Nothing like a good beer to quench the thirst
... a nice head ... Ha! Nothing like a good beer to quench the thirst
... a nice head ... Ha! Nothing like a good beer to quench the thirst
当然你也可以用类来实现, 只需将啤酒与威士忌对象注入酒鬼就可以了. 附代码:
classtype beverage = object
method consume : unit -> unit
end
class beer = object (self :#beverage)
method consume () = Printf.printf "...drank beer\n"
end
let make_beer () =
let () = Printf.printf "pouring beer\n" in
let b = new beer in
(b :> beverage) (*b是beverage的子对象,函数返回的类型是beverage *)
class whisky = object(self :#beverage)
method consume () = Printf.printf "...drank whisky\n"
end
let make_whisky () =
let () = Printf.printf "pouring whisky\n" in
let b = new whisky in
(b :> beverage)
class alkie p = object (self)
method another n =
if n = 0
then ()
else
let b = p () in
let () = b#consume ()in
self#another (n-1)
end
let menu = Hashtbl.create 3
let () = Hashtbl.add menu "Beer" make_beer
let () = Hashtbl.add menu "Whisky" make_whisky
let () =
let favourite = ref "Whisky" in
let () = Arg.parse
[("--beverage", Arg.Set_string favourite,Printf.sprintf "which beverage to use (%s)" !favourite)]
(fun s -> raise (Arg.Bad s))
("usage:")
in
let p = Hashtbl.find menu !favouritein
let a = new alkie pin (* 注入对象 *)
a#another 3 ;;
引用网址:http://blog.csdn.net/sw2wolf/article/details/7006930