簡介

Symbol 是 ES2015（ES6） 新引入的一種原始類型的值。它類似于字符串，但是每一個(gè) Symbol 值都是獨(dú)一無二的，與其他任何值都不相等。

它主要用于創(chuàng)建對(duì)象的唯一屬性名。在 TypeScript 中，你可以使用symbol類型來確保對(duì)象屬性的唯一性，以及其他與符號(hào)相關(guān)的操作。

與其他原始類型（如number或string）不同，symbol是不可變的且唯一的。

如：

let hiyooo:symbol = Symbol();
let hiyooo1:symbol == Symbel();

hiyooo === hiyooo1  //false
console.log(hiyooo === hiyooo1); // false

unique symbol

symbol類型包含所有的 Symbol 值，但是無法表示某一個(gè)具體的 Symbol 值。

比如，5是一個(gè)具體的數(shù)值，就用5這個(gè)字面量來表示，這也是它的值類型。但是，Symbol 值不存在字面量，必須通過變量來引用，所以寫不出只包含單個(gè) Symbol 值的那種值類型。

為了解決這個(gè)問題，TypeScript 設(shè)計(jì)了symbol的一個(gè)子類型unique symbol，它表示單個(gè)的、某個(gè)具體的 Symbol 值。

因?yàn)?code>unique symbol表示單個(gè)值，所以這個(gè)類型的變量是不能修改值的，只能用const命令聲明，不能用let聲明。

const hiyooo:unique symbol = Symbol();

let hiyooo1:unique symbol = Symbol();//

const命令為變量賦值 Symbol 值時(shí)，變量類型默認(rèn)就是unique symbol，所以類型可以省略不寫。

const x :unique symbol = Symbol();

//等價(jià)于

const x = Symbol();

每個(gè)聲明為unique symbol類型的變量，它們的值都是不一樣的，其實(shí)屬于兩個(gè)值類型。

const x = Symbol();  // const x :unique symbol = Symbol();

const y = Symbol(); 

x === y //error 

不過我們知道，相同參數(shù)的Symbol.for()方法會(huì)返回相同的 Symbol 值。TypeScript 目前無法識(shí)別這種情況，所以可能出現(xiàn)多個(gè) unique symbol 類型的變量，等于同一個(gè) Symbol 值的情況。

const a: unique symbol = Symbol.for("foo");
const b: unique symbol = Symbol.for("foo");

上面示例中，變量a和b是兩個(gè)不同的值類型，但是它們的值其實(shí)是相等的。

unique symbol 類型是 symbol 類型的子類型，所以可以將前者賦值給后者，但是反過來就不行。

const a: unique symbol = Symbol();

const b: symbol = a; // 正確

const c: unique symbol = b; // 報(bào)錯(cuò)

unique symbol 類型的一個(gè)作用，就是用作屬性名，這可以保證不會(huì)跟其他屬性名沖突。如果要把某一個(gè)特定的 Symbol 值當(dāng)作屬性名，那么它的類型只能是 unique symbol，不能是 symbol。

const x: unique symbol = Symbol();
const y: symbol = Symbol();

interface Foo {
  [x]: string; // 正確
  [y]: string; // 報(bào)錯(cuò)
}

類型推斷

如果變量聲明時(shí)沒有給出類型，TypeScript 會(huì)推斷某個(gè) Symbol 值變量的類型。

• let命令聲明的變量，推斷類型為 symbol。
• const命令聲明的變量，推斷類型為 unique symbol。

// 類型為 symbol
let x = Symbol();
// 類型為 unique symbol
const x = Symbol();

但是，const命令聲明的變量，如果賦值為另一個(gè) symbol 類型的變量，則推斷類型為 symbol。

let x = Symbol();

// 類型為 symbol
const y = x;

let命令聲明的變量，如果賦值為另一個(gè) unique symbol 類型的變量，則推斷類型還是 symbol。

const x = Symbol();

// 類型為 symbol
let y = x;

總結(jié)

以上為個(gè)人經(jīng)驗(yàn)，希望能給大家一個(gè)參考，也希望大家多多支持腳本之家。

最新評(píng)論