条件模块别名

时间:2012-04-22 18:49:49

标签: module ocaml

对于类项目,我正在编写一个程序来评估同一抽象数据结构的不同实现的性能。由于我使用相同的代码来测试它们中的每一个,我希望能够根据用户输入设置模块别名,并通过测试代码运行该模块。

换句话说,我想要这样的东西:

let module M = 
  if model = "tree" then TreeModel else
  if model = "hash" then HashModel else
  ListModel
in ...

我有没有办法让这项工作成功,或者我是否会这么做错了?

2 个答案:

答案 0 :(得分:11)

模块级别没有条件,但您可以使用一流的模块:

let m = match model with
  | "tree" -> (module TreeModel : MODEL)
  | "hash" -> (module HashModel : MODEL)
  | "list" -> (module ListModel : MODEL)
in let module M = (val m : MODEL)
in ...

答案 1 :(得分:0)

作为@Andreas的后续行动,至少在最近的ocaml版本中你也可以写:

let (module M : MODEL) = match model with
  | "tree" -> (module TreeModel : MODEL)
  | "hash" -> (module HashModel : MODEL)
  | "list" -> (module ListModel : MODEL)
in ...