TypeScript中的Symbol，确实唯一。。。

Symbol

自动推断

let命令声明的变量，推断类型为 symbol。

// let定义symbol推断为symbol
let sym = Symbol(); //symbol

但是，const命令声明的变量，如果赋值为另一个 symbol 类型的变量，则推断类型为 symbol。

// let声明的symbol一定是symbol,然后复制给另一个const也是symbol
let sym03 = Symbol(); //symbol
// 类型为 symbol
const sym04 = sym03; // const sym04=symbol()

let命令声明的变量，如果赋值为另一个 unique symbol 类型的变量，则推断类型还是 symbol。

// 这里推断一定是US,赋值给let也是symbol
const sym05 = Symbol();
// 类型为 symbol
let sym06 = sym05;

`symbol`

Symbol 是 ES2015 新引入的一种原始类型的值。它类似于字符串，但是每一个 Symbol 值都是独一无二的，与其他任何值都不相等。

Symbol 值通过Symbol()函数生成。在 TypeScript 里面，Symbol 的类型使用symbol表示。

let x:symbol = Symbol();
let y:symbol = Symbol();x === y // false

上面示例中，变量x和y的类型都是symbol，且都用Symbol()生成，但是它们是不相等的。

`unique symbol`

symbol类型包含所有的 Symbol 值，但是无法表示某一个具体的 Symbol 值。

但是比如，6是一个具体的数值，就用6这个字面量来表示，这也是它的值类型。但是，Symbol 值不存在字面量，必须通过变量来引用，所以写不出只包含单个 Symbol 值的那种值类型。

为了解决这个问题，TypeScript 设计了symbol的一个子类型unique symbol，它表示单个的、某个具体的 Symbol 值。

因为**unique symbol表示单个值，所以这个类型的变量是不能修改值的，只能用const命令声明，不能用let**声明。

// 正确
const x:unique symbol = Symbol();// 报错
let y:unique symbol = Symbol();

上面示例中， **let命令声明的变量，不能是unique symbol**类型，会报错。

因为unique symbol表示单个值，所以这个类型的变量是不能修改值的，只能用const命令声明，不能用let声明。

const x:unique symbol = Symbol();
// 等同于
const x = Symbol();

每个声明为unique symbol类型的变量，它们的值都是不一样的，其实属于两个值类型。

const sym07:unique symbol = Symbol();
const sym08:unique symbol = Symbol();sym07 === sym08 // 报错
sym08 === sym07 // 报错

上面示例中，变量a和变量b的类型虽然都是unique symbol，但其实是两个值类型。不同类型的值肯定是不相等的，所以最后一行就报错了。

const命令为变量赋值 Symbol 值时，变量类型默认就是unique symbol，所以类型可以省略不写。

const x:unique symbol = Symbol();
// 等同于
const x = Symbol();

不过我们知道，相同参数的Symbol.for()方法会返回相同的 Symbol 值。TypeScript 目前无法识别这种情况，所以可能出现多个 unique symbol 类型的变量，等于同一个 Symbol 值的情况。

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

unique symbol 类型的一个作用，就是用作属性名，这可以保证不会跟其他属性名冲突。如果要把某一个特定的 Symbol 值当作属性名，那么它的类型只能是 unique symbol，不能是 symbol。

const x:unique symbol = Symbol();
const y:symbol = Symbol();interface Foo {[x]: string; // 正确[y]: string; // 报错
}

上面示例中，变量y当作属性名，但是y的类型是 symbol，不是固定不变的值，导致报错。

unique symbol类型也可以用作类（class）的属性值，但只能赋值给类的readonly static属性。

class C {static readonly foo:unique symbol = Symbol();
}

上面示例中，静态只读属性foo的类型就是unique symbol。注意，这时static和readonly两个限定符缺一不可，这是为了保证这个属性是固定不变的。

区别

在 TypeScript 中，Symbol 类型本身已经是唯一的标识符，这意味着每次调用 Symbol() 都会创建一个唯一的符号。然而，TypeScript 引入了 unique symbol 类型来进一步加强类型系统的能力，特别是在涉及常量和类型安全的场景中。

Symbol 和 unique symbol 的区别

Symbol:
- 每次调用 Symbol() 创建的符号是唯一的，但它们没有类型区分。
- 符号本身无法用于声明独特的常量类型。
unique symbol:
- unique symbol 是一种具备类型层面唯一性的符号，通常与 const 结合使用。
- 可以用作常量标识符，以确保唯一性，并且这种唯一性反映在类型系统中。

为什么需要 unique symbol？

常量标识符的类型安全:
- unique symbol 允许创建具有类型唯一性的常量标识符，确保类型检查期间的唯一性。例如，在定义常量时，使用 unique symbol 可以确保每个常量都有一个唯一的类型。
类型系统中的唯一性:
- 在复杂的类型系统中，尤其是涉及到映射、键值对等场景时，unique symbol 可以作为键，以确保类型安全和唯一性。

以下是一些示例，展示了 unique symbol 的使用场景及其优势：

常量标识符的类型安全

// 使用 unique symbol 创建常量标识符
const UNIQUE_KEY: unique symbol = Symbol("unique_key");// 定义一个包含 unique symbol 作为键的对象类型
interface MyObject {[UNIQUE_KEY]: string;
}// 创建对象并赋值
const obj: MyObject = {[UNIQUE_KEY]: "This is a unique value"
};// 尝试访问键值
console.log(obj[UNIQUE_KEY]); // 输出: This is a unique value

在上述示例中，UNIQUE_KEY 是一个具有唯一类型的常量标识符。这确保了在类型系统中，该键是唯一的，并且不会与其他符号混淆。

类型系统中的唯一性

const KEY1: unique symbol = Symbol("key1");
const KEY2: unique symbol = Symbol("key2");interface MyMap {[KEY1]: number;[KEY2]: string;
}const myMap: MyMap = {[KEY1]: 123,[KEY2]: "abc"
};console.log(myMap[KEY1]); // 输出: 123
console.log(myMap[KEY2]); // 输出: abc