c语言中EQ函数是什么意思,函数式编程 – 在Scheme中eq？,eqv？,equal？和=之间有什么区别？...

我会逐步回答这个问题。让我们从=等价谓词开始。 =谓词用于检查两个数字是否相等。如果你提供其他任何东西，但一个数字，那么它会引发一个错误：

(= 2 3) => #f

(= 2.5 2.5) => #t

(= '() '()) => error

等式？谓词用于检查其两个参数是否表示内存中的相同对象。例如：

(define x '(2 3))

(define y '(2 3))

(eq? x y) => #f

(define y x)

(eq? x y) => #t

注意，在内存中只有一个空列表()(实际上，空列表不存在于内存中，但是指向内存位置0的指针被认为是空列表)。因此，当比较空列表eq？将总是返回#t(因为它们表示内存中的相同对象)：

(define x '())

(define y '())

(eq? x y) => #t

现在取决于实现eq？可能或可能不返回原始值(如数字，字符串等)的#t。例如：

(eq? 2 2) => depends upon the implementation

(eq? "a" "a") => depends upon the implementation

这是eqv？谓词进入图片。等式是完全相同的eq？谓词，除了它将始终返回相同的原始值的#t。例如：

(eqv? 2 2) => #t

(eqv? "a" "a") => #t

因此eqv？是eq？的超集。在大多数情况下，你应该使用eqv？而不是eq。

最后我们来到平等？谓词。平等？谓词与eqv完全相同？除了它也可以用于测试两个列表，向量等是否具有满足等式1的对应元素。谓词。例如：

(define x '(2 3))

(define y '(2 3))

(equal? x y) => #t

(eqv? x y) => #f

一般来说：

>当你想测试两个数字是否相等时，使用=谓词。>使用eqv？当您希望测试两个非数字值是否相等时，使用谓词。>使用等号？谓词，当你想测试两个列表，向量等是否是等价的。>不要使用eq？谓词，除非你知道你在做什么。