Function EQUAL

Function EQUAL

構文

equal x y => generalized-boolean

引数と戻り値

x - オブジェクト
y - オブジェクト
generalized-boolean - generalized-boolean

定義

もしxとyが構造的に似たオブジェクト（同一構造）ならtrueを返却します。オブジェクトはequalによって下記のように扱われます。

シンボル、数、文字
- 2つのオブジェクトが、シンボルのときはeqで、数のときはeqlで、文字のときはeqlで比較し、等しいときはequalがtrueです。
コンス
- コンスのequalは、 2つのcarがequalであり、かつ、2つのcdrがequalのときのように、再帰的に定義されます。
配列
- 2つの配列のequalは、ただeqであるかどうかだけですが、ただ例外があり、文字列とビット配列は各要素をeqlによって比較します。もしxかyいずれかがfill-pointerをもつときは、 equalによる検査では、 fill-pointerが要素数を制限します。
パス名
- 2つのパス名のequalは、ただ全ての対応する要素が（ホスト、デバイス、など）等しいかどうか比較します。しかし各要素内に現れる文字列の比較において大文字と小文字が等しいかどうかは実装依存です。パス名がequalで等しいのであれば、機能的にも等しくなるようにしなければなりません。
その他（構造体、ハッシュテーブル、インスタンス、など）
- 2つのそれ以外のオブジェクトのequalは、ただeqによって比較されます。

equalは、上記で明確に指定されたもの以外のどんなオブジェクトにも降りては行きません。次の図は、前のリストを要約した情報です。加えて、図にはequalのふるまいの優先順位を載せており、上に記載されているものの方が下のものより優先順位は高くなります。

型	ふるまい
number	`eql`を使用
character	`eql`を使用
cons	降りて行く
bit vector	降りて行く
string	降りて行く
pathname	機能的に同等
structure	`eq`を使用
他のarray	`eq`を使用
hash table	`eq`を使用
他のobject	`eq`を使用

Figure 5-12. equalのふるまいの要約と優先順位

どのような2つのオブジェクトも、 eqlが成り立つなら、 equalもまた成り立ちます。

equalは、xとyが循環しているときは、おそらく終了に失敗します。

例文

(equal 'a 'b) =>  false
(equal 'a 'a) =>  true
(equal 3 3) =>  true
(equal 3 3.0) =>  false
(equal 3.0 3.0) =>  true
(equal #c(3 -4) #c(3 -4)) =>  true
(equal #c(3 -4.0) #c(3 -4)) =>  false
(equal (cons 'a 'b) (cons 'a 'c)) =>  false
(equal (cons 'a 'b) (cons 'a 'b)) =>  true
(equal #\A #\A) =>  true
(equal #\A #\a) =>  false
(equal "Foo" "Foo") =>  true
(equal "Foo" (copy-seq "Foo")) =>  true
(equal "FOO" "foo") =>  false
(equal "This-string" "This-string") =>  true
(equal "This-string" "this-string") =>  false

副作用

なし。

影響

なし。

例外

なし。

参考

eq, eql, equalp, =, string=, string-equal, char=, char-equal, tree-equal

備考

オブジェクトの同一性は、正しいアルゴリズムによって決められる一意性といった考え方はありません。この同一性の関数が適切に使われる場合というのは、ただ特定のプログラムで必要になったときの文脈でのみ判断できます。これらの関数はどんな型の引数でも取れますし、それらの関数名は非常に一般的に聞こえますが、 equalとequalpは全てのアプリケーションにおいて適切に使えるものではありません。

だいたいの考え方として、2つのオブジェクトがequalであるとは、ただ印字されたものが同じ表現であるときのみです。

TOP, Github