Symbol

새로운 원시 심볼을 생성하려면 Symbol()을 호출합니다. 선택적으로 설명 문자열을 제공할 수 있습니다.

const sym1 = Symbol();
const sym2 = Symbol("foo");
const sym3 = Symbol("foo");

위 코드는 세 개의 새로운 심볼을 생성합니다. Symbol("foo")는 문자열 "foo"를 심볼로 변환하는 것이 아니라는 점을 주의하세요. 매번 호출마다 새로운 심볼이 생성됩니다.

Symbol("foo") === Symbol("foo"); // false

new 연산자를 사용하면 TypeError가 발생합니다.

const sym = new Symbol(); // TypeError

따라서 개발자가 새로운 심볼 값을 만드는 대신 명시적으로 Symbol 래퍼 객체를 생성하는 걸 방지하는데, 일반적으로 다른 원시 데이터 타입들의 래퍼 객체(new Boolean, new String, new Number)는 생성할 수 있다는 점을 생각하면 예상하지 못한 동작일 수도 있습니다.

정말로 Symbol 래퍼 객체를 생성해야 하면 Object() 함수를 사용할 수 있습니다.

const sym = Symbol("foo");
typeof sym; // "symbol"
const symObj = Object(sym);
typeof symObj; // "object"

심볼은 유일하게 참조 동일성(같은 심볼을 두 번 만들 수 없음)을 가지는 원시 데이터 타입이므로 객체와 비슷하게 동작하는 면이 있습니다. 예를 들어, 심볼은 가비지 컬렉션 대상이며 따라서 WeakMap, WeakSet, WeakRef (en-US), FinalizationRegistry (en-US) 객체에 저장할 수 있습니다.

위에서 살펴봤던 Symbol() 함수 구문은 프로그램이 종료될 때까지 고유한 채 남는 심볼을 생성합니다. 여러 파일에 걸쳐, 혹은 각자 별도의 전역 스코프를 갖는 렐름까지도 걸쳐서 사용 가능한 심볼을 생성하려면 Symbol.for() 메서드와 Symbol.keyFor() 메서드를 사용하여 전역 심볼 레지스트리에 심볼을 설정하고 가져올 수 있습니다.

참고로, "전역 심볼 레지스트리"는 설명을 위한 상상의 개념이며 JavaScript 엔진 내의 실제 데이터 구조와는 일치하지 않을 수 있습니다. 이런 레지스트리가 엔진에 존재한다고 해도, 그 내용은 for()와 keyFor() 메서드를 제외한 다른 JavaScript 코드에서 접근할 수 없습니다.

Symbol.for(tokenString) 메서드는 문자열 키를 받아 레지스트리에서 심볼 값을 반환합니다. 반대로 Symbol.keyFor(symbolValue) 메서드는 심볼 값을 받아 대응하는 문자열 키를 반환합니다. 서로 반대되는 메서드이므로 아래 코드는 true입니다.

Symbol.keyFor(Symbol.for("tokenString")) === "tokenString"; // true

등록된 심볼은 아무데서나 임의로 생성될 수 있으므로, 대응되는 문자열 키와 거의 동일하게 동작합니다. 따라서 가비지 컬렉션 대상이 아니며, WeakMap, WeakSet, WeakRef (en-US), FinalizationRegistry (en-US) 객체에도 사용할 수 없습니다.

Symbol 생성자의 정적 속성은 모두 스스로가 심볼이며, 그 값은 렐름에 걸쳐 동일합니다. 이 심볼들을 '잘 알려진 심볼'이라고 부르며, JavaScript 내장 작업에서 일종의 "프로토콜"로서 동작합니다. 사용자는 이 심볼들로 언어 동작을 바꿀 수 있습니다. 예를 들어, 생성자 함수에 Symbol.hasInstance가 이름인 메서드가 있으면, instanceof 연산자는 동작 시 이 메서드를 사용합니다.

잘 알려진 심볼 전의 JavaScript는 일부 내장 작업에 일반적인 속성을 사용했습니다. 예컨대 JSON.stringify 함수는 객체의 toJSON() 메서드를 사용하고, String (en-US) 함수는 객체의 toString()과 valueOf() 메서드를 사용합니다. 하지만, 언어가 포함하는 작업의 수가 점점 늘어감에 따라, 각각의 작업을 "마법 속성"으로 지정하면 하위 호환성을 깨뜨리고 언어의 동작을 추론하기 어렵게 만들 수 있습니다. 잘 알려진 심볼 덕분에, 보통 문자열 속성만 접근하는 일반적인 코드 입장에서 언어 동작 사용자 지정은 "보이지 않게" 됐습니다.

잘 알려진 심볼은 MDN을 포함한 여러 출처에서 이름 앞에 @@를 붙여 구분합니다. 예를 들어 Symbol.hasInstance는 @@hasInstance처럼 씁니다. 심볼에는 리터럴 형태가 존재하지 않기도 하고, 그렇다고 Symbol.hasInstance를 쓰면 다른 별칭으로 같은 심볼을 가리킬 수 있다는 점이 드러나지 않기 때문입니다. Function.name과 "Function"의 차이와 비슷합니다.

잘 알려진 심볼에는 가비지 컬렉션 가능 여부라는 개념부터가 존재하지 않습니다. 이 심볼들은 Array.prototype 등의 내재된 객체처럼 고정된 수가 프로그램의 수명 내내 고유하게 유지되기 때문입니다. 따라서 잘 알려진 심볼들을 WeakMap, WeakSet, WeakRef (en-US), and FinalizationRegistry (en-US) 객체에 사용할 수 있습니다.

Object.getOwnPropertySymbols() 메서드는 심볼 배열을 반환하며, 주어진 객체의 심볼 속성을 찾을 때 사용할 수 있습니다. 참고로 모든 객체는 초기화 시 자체 심볼 속성을 갖지 않으므로, 나중에 심볼 속성을 추가하지 않는 이상 이 메서드가 반환하는 배열은 비어있습니다.

Symbol()

새로운 Symbol 객체를 생성합니다. new Symbol()처럼 쓸 수 없고 함수로만 사용해야 하므로 일반적인 생성자와는 다릅니다.

정적 속성들은 잘 알려진 심볼입니다. 각각의 설명에서는 "Symbol.hasInstance는 ... 하는 메서드입니다"와 같은 말을 사용하겠지만, 이건 어떤 객체가 해당 심볼을 이름으로 하는 메서드를 소유하고 있을 때를 의미하는 것이지, 심볼 자체의 값을 설명하는 것이 아님을 주의해 주세요.

Symbol.asyncIterator (en-US)

객체의 기본 AsyncIterator를 반환하는 메서드입니다. for await...of에서 사용합니다.

Symbol.hasInstance

생성자 객체가 어떤 객체를 자신의 인스턴스로 인지하는지 판별하는 메서드입니다. instanceof에서 사용합니다.

Symbol.isConcatSpreadable

객체를 배열 요소로 평탄화할 수 있는지 나타내는 불리언 값입니다. Array.prototype.concat()에서 사용합니다.

Symbol.iterator

객체의 기본 순회기를 반환하는 메서드입니다. for...of에서 사용합니다.

Symbol.match (en-US)

문자열에 일치 판별을 수행하는 메서드입니다. 객체를 정규표현식으로써 사용할 수 있는지 판별할 때도 쓰입니다. String.prototype.match()에서 사용합니다.

Symbol.matchAll (en-US)

문자열에 대한 정규표현식 일치 결과를 순회하는 순회기를 반환하는 메서드입니다. String.prototype.matchAll() (en-US)에서 사용합니다.

Symbol.replace (en-US)

문자열에서 일치한 하위 문자열을 대치하는 메서드입니다. String.prototype.replace() (en-US)에서 사용합니다.

Symbol.search

문자열에서 정규표현식과 일치한 인덱스를 반환하는 메서드입니다. String.prototype.search() (en-US)를 반환합니다.

Symbol.species (en-US)

파생 객체를 생성할 때 쓰이는 생성자 함수입니다.

Symbol.split

정규표현식이 일치한 인덱스에서 문자열을 분할하는 메서드입니다. String.prototype.split()에서 사용합니다.

Symbol.toPrimitive

객체를 원시 값으로 변환하는 메서드입니다.

Symbol.toStringTag (en-US)

객체의 기본 설명으로 사용되는 문자열 값입니다. Object.prototype.toString()에서 사용합니다.

Symbol.unscopables (en-US)

연관된 객체의 with (en-US) 환경 바인딩에서 제외할 속성의 이름들을 자체 속성과 상속 속성으로 가지는 객체 값입니다.

Symbol.for()

주어진 key를 가진 기존 심볼을 찾아 반환합니다. 그런 심볼이 없으면 새로운 심볼을 생성하고, key를 사용해 전역 심볼 레지스트리에 등록합니다.

Symbol.keyFor()

전역 심볼 레지스트리에서 주어진 심볼의 키를 반환합니다.

이 속성들은 Symbol.prototype에 정의되며 모든 Symbol 인스턴스가 공유합니다.

Symbol.prototype.constructor

인스턴스 객체를 생성했던 생성자 함수입니다. Symbol 인스턴스에서의 초기 값은 Symbol 생성자입니다.

Symbol.prototype.description

심볼 설명을 담은 읽기 전용 문자열입니다.

Symbol.prototype[@@toStringTag]

@@toStringTag (en-US) 속성의 초기 값은 문자열 "Symbol". 이 속성은 Object.prototype.toString()에서 사용합니다. 하지만 Symbol은 자체적으로 toString() 메서드도 소유하므로, 심볼을 thisArg로 지정해서 Object.prototype.toString.call()을 호출하지 않는 이상 이 속성은 사용되지 않습니다.

Symbol.prototype.toString()

심볼 설명을 담은 문자열을 반환합니다. Object.prototype.toString() 메서드를 재정의합니다.

Symbol.prototype.valueOf() (en-US)

심볼을 반환합니다. Object.prototype.valueOf() 메서드를 재정의합니다.

Symbol.prototype[@@toPrimitive]()

심볼을 반환합니다.

typeof 연산자는 심볼을 식별하는데 도움이 될 수 있습니다.

typeof Symbol() === "symbol";
typeof Symbol("foo") === "symbol";
typeof Symbol.iterator === "symbol";

심볼 변환이 필요할 때 주의해야 할 점들입니다.

• 심볼을 숫자로 변환(+sym, sym | 0, ...)하려고 하면 TypeError가 발생합니다.
• 엄격하지 않은 동등 연산 시, Object(sym) == sym은 true입니다.
• Symbol("foo") + "bar"는 TypeError입니다(심볼을 문자열로 변환할 수 없음). 덕분에 심볼에서 새로운 문자열 속성을 만드는 경우를 놓치지 않을 수 있습니다.
• "더 안전한" String(sym) 변환은 Symbol.prototype.toString() 호출과 같습니다. 하지만 new String(sym)은 오류를 던지므로 주의하세요.

심볼은 for...in 순회에 열거되지 않습니다. 이에 더해 Object.getOwnPropertyNames()도 심볼 객체 속성을 반환하지 않습니다. 하지만 Object.getOwnPropertySymbols()를 사용하면 심볼 속성들을 찾을 수 있습니다.

const obj = {};

obj[Symbol("a")] = "a";
obj[Symbol.for("b")] = "b";
obj["c"] = "c";
obj.d = "d";

for (const i in obj) {
  console.log(i);
}
// "c" "d"

JSON.stringify()는 심볼 키 속성을 완전히 무시합니다.

JSON.stringify({ [Symbol("foo")]: "foo" });
// '{}'

더 자세한 내용은 JSON.stringify()를 참고하세요.

심볼 래퍼 객체를 속성 키로 사용하면, 래퍼 객체는 내부 심볼로 변환됩니다.

const sym = Symbol("foo");
const obj = { [sym]: 1 };
obj[sym]; // 1
obj[Object(sym)]; // still 1

• core-js의 Symbol 폴리필
• typeof
• 데이터 타입과 자료구조
• hacks.mozilla.org의 "ES6 In Depth: Symbols"