如何在IntelliSense中折叠字符串字面量联合类型且不使用branded type

我完全懂这种烦恼——当联合类型的成员一多，IntelliSense直接把整个展开的字面量联合怼到你面前，原本简洁的类型定义瞬间变得臃肿不堪，可读性直接拉胯。而且你还不想用品牌类型，毕竟谁也不想每次传个字符串都要额外做类型转换，这个需求太合理了！

看你给出的例子，目前问题出在TypeScript会自动将类型别名展开为它的底层联合类型，尤其是在推断函数返回类型的时候。接下来给你两个实用的解决方案，完全贴合你的需求：

方案一：显式指定函数返回类型（最简单直接） #

既然你希望返回类型里保留Currency别名，那直接在函数定义时显式声明返回类型就行，不用依赖TypeScript的自动推断：

const data = {
  EUR: { name: "Euro" },
  USD: { name: "Dollar" },
  GBP: { name: "British Pound" },
};

export const CURRENCY_CODES = Object.keys(data) as (keyof typeof data)[];
export type Currency = (typeof CURRENCY_CODES)[number];

// 显式指定返回类型，替代TS的自动推断
export const foo = (currency: Currency): { currency: Currency } => ({ currency });

type A = ReturnType<typeof foo>;
// 现在A会显示为：type A = { currency: Currency }

这个方法的好处就是简单粗暴，没有花里胡哨的类型魔法，完全是TS的常规写法，一眼就能看懂，也不会有任何额外的类型负担。

方案二：用“伪品牌类型”保留别名（无需显式指定返回类型） #

如果你不想每次都手动写返回类型，或者需要在更多场景下保留类型别名，可以用一个无侵入的“伪品牌类型”技巧——给你的联合类型加一个可选的、不影响类型兼容性的标记字段。这个字段不会要求你修改传入的字符串值，完全可以直接传"EUR"这类字面量，但TS会在IntelliSense中优先显示你的类型别名：

const data = {
  EUR: { name: "Euro" },
  USD: { name: "Dollar" },
  GBP: { name: "British Pound" },
};

export const CURRENCY_CODES = Object.keys(data) as (keyof typeof data)[];
// 加一个可选的只读标记字段，不影响实际类型兼容性
export type Currency = (typeof CURRENCY_CODES)[number] & { readonly __type?: 'Currency' };

export const foo = (currency: Currency) => ({ currency });

type A = ReturnType<typeof foo>;
// 现在A会显示为：type A = { currency: Currency }

这个技巧的核心是，我们给Currency加了一个可选的__type字段，但因为它是可选的，普通的字符串字面量（比如"EUR"）仍然可以直接赋值给Currency类型的参数——你完全不需要做任何包装或转换，和之前的写法一模一样，但TS会在IntelliSense中优先显示类型别名，再也不会把整个联合类型展开得乱糟糟的了。

最后验证一下：你直接传"EUR"给foo函数，TS不会报错，完全符合你的需求；同时在查看type A的时候，IntelliSense会显示成你想要的简洁形式。

内容来源于stack exchange