TypeScript能否实现仅允许直接赋值字符串字面量的类型？

可以实现近似需求，但无法通过纯类型系统严格区分“直接字符串字面量赋值”和“变量引用赋值”——因为TypeScript的类型系统基于值的类型，而非值的来源（是字面量还是变量）。

方案1：只接受字符串字面量类型，拒绝宽泛string类型 #

如果你的核心需求是禁止宽泛的string类型赋值，只允许具体的字符串字面量，那么可以用模板字面量类型定义：

type MagicType = `${string}`;

const A = 'a';
let broadString: string = 'b';

const letter1: MagicType = 'a'; // ✅ 允许：字面量类型符合`${string}`
const letter2: MagicType = A; // ✅ 允许：A的类型是字面量`'a'`，属于`${string}`子类型
const letter3: MagicType = broadString; // ❌ 禁止：宽泛的`string`类型不符合`${string}`
const other: string = letter1; // ✅ 允许：`${string}`是`string`的子类型

方案2：通过品牌类型+辅助函数限制赋值方式 #

如果希望更接近“仅允许直接字面量赋值”的效果，可以结合品牌类型和辅助函数，强制通过函数创建MagicType实例，同时可以配合ESLint规则禁止传入变量：

// 定义品牌类型，标记MagicType
type MagicType = string & { __magicBrand: unique symbol };

// 仅接受字面量参数的辅助函数
function createMagic<T extends string>(t: T): MagicType {
  return t as MagicType;
}

const A = 'a';
const letter1 = createMagic('a'); // ✅ 允许：直接传入字面量
const letter2 = createMagic(A); // ⚠️ 类型层面允许，但可以通过ESLint规则禁止这种写法
const other: string = letter1; // ✅ 允许：品牌类型兼容string

关于严格禁止变量引用的说明 #

如果要完全禁止任何变量（哪怕是字面量类型变量）赋值给MagicType，纯TypeScript类型系统无法做到——因为const A = 'a'的类型和直接写的'a'完全一致，类型系统无法区分两者的来源。这种场景下需要结合代码检查工具（如ESLint）来限制赋值表达式的形式。

内容的提问来源于stack exchange，提问作者Alexandros Diamantonis