[타입스크립트] 타입별칭 인터섹션에 의한 확장

위와 같이 세개의 타입별칭을 두었다.

이를 토대로 여러가지 실험을 해볼 것이다.

 

타입 별칭은 extends라는 명령어가 없고 인터섹션(&)를 이용해 확장한다.

type TreeNode = {
  value: string;
};

type LeafNode = TreeNode & {
  isLeaf: true;
};

type InnerNode = TreeNode & {
  children: [TreeNode] | [TreeNode, TreeNode];
};

1.

let a: TreeNode = { value: "a" }; //통과
let a1: TreeNode = { value: "a" , isLeaf: true};
                                  ~~~~~~~~~~~~~

2.

let b: LeafNode = { value: "b", isLeaf: true }; //통과
let b_test1: LeafNode = {isLeaf: true };
    ~~~~~~~
let b_test2: LeafNode = { value: "b"};
    ~~~~~~~
let b_test3: LeafNode = { value: "b", isLeaf: true, children: [b] };
                                                    ~~~~~~~~~~~~~

 

3.

let c_test1: InnerNode = { value: "c", children: [b] };
let c_test2: InnerNode = { value: "c" };
    ~~~~~~~
let c_test3: InnerNode = { children: [b] };
    ~~~~~~~
let c_test4: InnerNode = { value: "c", children: [b], isLeaf: true };
                                                      ~~~~~~~~~~~~

 

<가능한 것 모음>

type TreeNode = {
  value: string;
};

type LeafNode = TreeNode & {
  isLeaf: true;
};

type InnerNode = TreeNode & {
  children: [TreeNode] | [TreeNode, TreeNode];
};

let a: TreeNode = { value: "a" }; //통과
let b: LeafNode = { value: "b", isLeaf: true }; //통과
let c: InnerNode = { value: "c", children: [b] }; //통과