多态compare函数可用于实例化OCaml预定义函数(Map.Make、Set.Make等)。在这种情况下,我们只需要知道它的行为就像一个订单,但理解它是如何实际定义的可能是有用的。例如,如何确保以下函数正确计算列表的最大值: let rec max_list = function| h::t -> max (Some h) (max_list t) 我首先认为之前定义的构造函数比后面定义的构造函数要小然而,情况似乎并非如此,因为无论max No
我的实际问题是,当您真正知道这些值是相同的类型时,是否真的有可能比较包含在两个空指针中的值?例如int。"This will not make any sense as this will compare addresses, not values" << endl;}
实际上,我需要比较两个空指针值,而在函数之外,已知类型是int。我不想在函数内部使用int的比较。所以这对我也不适用:if (*(in