联合类型只能使用字面量类型吗？

不是的。联合类型可以使用任何类型，包括接口、类和枚举。以下是一个示例代码：

interface Circle {
  kind: 'circle';
  radius: number;
}

interface Square {
  kind: 'square';
  sideLength: number;
}

type Shape = Circle | Square;

function getArea(shape: Shape): number {
  switch(shape.kind) {
    case 'circle':
      return Math.PI * shape.radius ** 2;
    case 'square':
      return shape.sideLength ** 2;
  }
}

const circle: Circle = { kind: 'circle', radius: 5 };
const square: Square = { kind: 'square', sideLength: 10 };

console.log(getArea(circle)); // 输出 78.53981633974483
console.log(getArea(square)); // 输出 100

在此示例中，Shape 是一个联合类型，并且它可以是 Circle 或 Square。getArea 函数使用 shape.kind 属性来确定要计算哪种形状的面积。因为 kind 属性是一个字面量类型，所以 TypeScript 可以辨别出每个分支的类型。