2

我似乎找不到关于为什么这不起作用的参考：

- (2000,1)<(2000,1);    
stdIn:18.1-18.18 Error: operator and operand don't agree [overload]
  operator domain: 'Z * 'Z
  operand:         (int * int) * (int * int)
  in expression:
    (2000,1) < (2000,1)

标准 ML 是否支持结构比较？

4

1 回答 1

6

简短的回答：只为了平等。

顶级环境中的严格小于运算符 (<) 与其他比较运算符一样有点“特殊”。它们是“特殊的”，因为它们（作为唯一的）重载以同时处理整数、实数等。此外，这种重载有点特别的是，如果无法推断类型，则使用整数（例如，推断出多态类型'a）。

对于整数的情况，Int.<使用该函数，它只接受两个整数作为参数

- Int.<;
val it = fn : int * int -> bool

但是对于相等，情况有点不同，从相等运算符的类型可以看出

- op=;
val it = fn : ''a * ''a -> bool

这里的多态类型被视为 bee ''a，请注意双 plings。这是因为它只能实例化为相等类型（例如，int、string、int'string 等）。请注意，real 不是相等类型！

更新

我通常做的事情是为我创建的每个（数据）类型创建一个比较函数。这样我就可以完全控制发生的事情。比较函数的思想是返回一个订单

datatype order = LESS | EQUAL | GREATER

有了这个，您可以轻松地制作一个案例表达式并做适当的事情，而不是if .. < .. then .. else ..

更新1

下面的代码来自 Andreas Rossberg 的评论。为了便于阅读，我已将其包含在此处

fun comparePair compareA compareB ((a1, b1), (a2, b2)) =
    case compareA (a1, a2) of
      EQUAL => compareB (b1, b2)
    | other => other

以及一些使用示例

- comparePair Int.compare String.compare ((2, "foo"), (3, "bar"));
val it = LESS : order
- comparePair Int.compare String.compare ((3, "bar"), (3, "bar"));
val it = EQUAL : order
于 2013-01-18T21:31:56.910 回答