为什么打字稿字符串和数字从不显示？

Question

我正在学习 Typescript，但我有些困惑。

type t = number & string // never
type t1 = number & boolean // never
type t2 = number & string[] // number & string[]

为什么看起来不一样？

Answer 1

在 Typescipt 中，两个基本类型的交集 & 永远不会，因为变量不能既是字符串又是数字，但是两个数组/对象的交集被称为 branded object 一个带有原始类型的数组/对象是有效类型，称为branded primitve，那么我们在哪里使用品牌原始类型？ , 参考下面的例子

type SomeUrl = string & {'this is a url': {}};

let x = <SomeUrl>'';