TypeScript判别联合工厂函数类型错误问题求助

尝试用判别联合实现一个工厂函数来创建类实例，需求如下：

• 支持三种传入platform的方式：额外参数、data对象的属性、泛型指定
• 创建实例后，智能感知能正确识别实例类型（区分Telegram或WhatsApp实例，显示对应属性）

当前代码出现类型错误：

Type 'TelegramUser' is not assignable to type 'SchemaFor<T>'.
  Type 'TelegramUser' is not assignable to type 'never'.
    The intersection 'ITelegramUser & IWhatsappUser' was reduced to 'never' because property 'platform' has conflicting types in some constituents.

原实现中SchemaFor<T>的类型逻辑错误，当T为联合类型时，会被转为交叉类型，而不同平台的platform属性类型冲突，最终导致类型收缩为never，无法匹配具体的实例类型。

通过类型映射表+函数重载实现符合需求的工厂函数，让TypeScript能正确推断实例类型：

1. 定义基础接口与类 #

// 平台用户接口（判别联合）
interface ITelegramUser {
  platform: 'telegram';
  telegramId: string;
}

interface IWhatsappUser {
  platform: 'whatsapp';
  whatsappNumber: string;
}

type User = ITelegramUser | IWhatsappUser;

// 实例类
class TelegramUser implements ITelegramUser {
  platform: 'telegram' = 'telegram';
  constructor(public telegramId: string) {}
}

class WhatsappUser implements IWhatsappUser {
  platform: 'whatsapp' = 'whatsapp';
  constructor(public whatsappNumber: string) {}
}

2. 定义类型映射与工厂函数 #

// 建立平台与实例类型的映射关系
type PlatformInstanceMap = {
  telegram: TelegramUser;
  whatsapp: WhatsappUser;
};

// 函数重载：覆盖三种传入场景
function createUser<T extends keyof PlatformInstanceMap>(platform: T): PlatformInstanceMap[T];
function createUser<T extends User>(data: T): PlatformInstanceMap[T['platform']];
function createUser<T extends keyof PlatformInstanceMap>(data: Omit<User, 'platform'>, platform: T): PlatformInstanceMap[T];

// 工厂函数实现
function createUser(dataOrPlatform: any, platform?: keyof PlatformInstanceMap) {
  // 场景1：直接传入platform参数
  if (typeof dataOrPlatform === 'string') {
    throw new Error(`Missing required data for ${dataOrPlatform} user`);
  }

  // 确定目标平台
  const targetPlatform = platform || dataOrPlatform.platform;

  // 创建对应实例
  if (targetPlatform === 'telegram') {
    return new TelegramUser(dataOrPlatform.telegramId);
  } else if (targetPlatform === 'whatsapp') {
    return new WhatsappUser(dataOrPlatform.whatsappNumber);
  }

  throw new Error('Unsupported platform');
}

3. 测试使用场景 #

// 场景1：通过额外参数传入platform
const user1 = createUser({ telegramId: 'tg_123' }, 'telegram');
// 智能感知：user1 类型为TelegramUser，可访问telegramId属性

// 场景2：通过data对象的platform属性传入
const user2 = createUser({ platform: 'whatsapp', whatsappNumber: '+123456' });
// 智能感知：user2 类型为WhatsappUser，可访问whatsappNumber属性

// 场景3：通过泛型指定平台（需配合参数）
const user3 = createUser<'telegram'>('telegram');
// 运行时会抛出错误，提示缺少telegramId，符合预期

• 用PlatformInstanceMap明确平台与实例的对应关系，避免联合类型交叉冲突
• 函数重载覆盖三种传入方式，让TypeScript能根据参数自动推断实例类型
• 简化工厂函数逻辑，优先处理不同参数类型，确保类型推断准确

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