概要
TypeScript にて、タプル風([T, T])の配列のコレクションがあり、これの中身をユニークにしたい場面があった。
Setを経由すれば重複排除できると思ったが、見た目上同じオブジェクトの重複は排除されなかった。
結論
JavaScript における配列の同値比較がfalseになるため。
厳密にユニークなコレクションを作成する場合は、deepEqual 相当の確認が必要そう。
実行環境
| 実行環境 | バージョン |
|---|---|
| node | v16.15.0 |
| python3 | Python 3.10.4 |
JavaScript の挙動と Python との比較
タプル風の配列リテラルをaddすると、重複した値がそれぞれが追加されてしまう。
const unique = new Set();
unique.add(["hoge", "huga"]);
// Set(1) { [ 'hoge', 'huga' ] }
unique.add(["hoge", "huga"]);
// Set(2) { [ 'hoge', 'huga' ], [ 'hoge', 'huga' ] }
Python ではできた気がしたので確認する。
(なお["hoge", "huga"]はHashableでないためsetには追加できない)
unique = set()
unique.add(("hoge", "huga"))
# {('hoge', 'huga')}
unique.add(("hoge", "huga"))
# {('hoge', 'huga')}
リテラルのタプルに対して重複排除ができている。
JavaScript でも、オブジェクトが同一になるため、下記では意図した通りに重複が排除される。
const unique = new Set();
const tuple = ["hoge", "huga"];
unique.add(tuple);
// Set(1) { [ 'hoge', 'huga' ] }
unique.add(tuple);
// Set(1) { [ 'hoge', 'huga' ] }
JavaScript では Python におけるタプル相当のデータ型がないため、上記コードでは実際にはミュータブルな配列となる。
Object.freeze()でイミュータブルにしてみたが、結果は変わらなかった。
const unique = new Set();
unique.add(Object.freeze(["hoge", "huga"]));
// Set(1) { [ 'hoge', 'huga' ] }
unique.add(Object.freeze(["hoge", "huga"]));
// Set(2) { [ 'hoge', 'huga' ], [ 'hoge', 'huga' ] }
仕様の確認
MDN のSetのページを見ると、-0と+0について触れられている。
See "Key equality for -0 and 0" in the browser compatibility table for details.
Set - JavaScript | MDN (developer.mozilla.org)
等価比較のページを見ると、
SameValueZero: used by %TypedArray% and ArrayBuffer constructors, as well as Map and Set operations, and also String.prototype.includes and Array.prototype.includes since ES2016
Equality comparisons and sameness - JavaScript | MDN (developer.mozilla.org)
SameValueZeroの TC39 へリンクされていたのでこちらも確認。
SameValueZero differs from SameValue only in that it treats +0𝔽 and -0𝔽 as equivalent.
SameValueZero | ECMAScript® 2023 Language Specification (tc39.es)
SameValueと+0と-0の比較結果のみ異なるとあるため、SameValueを確認すると、
If Type(x) is different from Type(y), return false.
If Type(x) is Number, then
a. Return Number::sameValue(x, y).
If Type(x) is BigInt, then
a. Return BigInt::sameValue(x, y).
Return SameValueNonNumeric(x, y).
とのことなのでSameValueNonNumericを確認。
Assert: Type(x) is the same as Type(y).
If Type(x) is Undefined, return true.
If Type(x) is Null, return true.
If Type(x) is String, then
a. If x and y are exactly the same sequence of code units (same length and same code units at corresponding indices), return true; otherwise, return false.
If Type(x) is Boolean, then
a. If x and y are both true or both false, return true; otherwise, return false.
If Type(x) is Symbol, then
a. If x and y are both the same Symbol value, return true; otherwise, return false.
If x and y are the same Object value, return true. Otherwise, return false.
タプルの場合7にて評価されると思われ、same Object valueではないということになるようだ。
same Object value とは
TC39にはこれ以上のリンクがなかったが、deepEqual相当の比較を行うことで重複の確認はできそう。
修正 PR いただけるとありがたいです。