你的核心问题在于原有的create方法泛型设计没有预留自定义类型的扩展入口，导致传入自定义类型映射时无法正确关联类型参数和返回值。下面是几个实用的解决方案：

方案一：利用声明合并扩展基础类型（最简洁） #

把基础的元素类型改成可合并的接口，这样用户可以通过声明合并来扩展支持的类型，无需修改原方法定义就能自动获得正确的类型推导：

1. 重构基础类型定义 #

// 原.d.ts文件中修改
export interface ElementTypeMap {
  ExtensionElements: ExtensionElements;
  Documentation: Documentation;
}

// 定义Element类型，自动从映射中推导
export type Element<T extends keyof ElementTypeMap | string> = 
  T extends keyof ElementTypeMap ? ElementTypeMap[T] : GenericElement;

// 重构create方法
create<T extends keyof ElementTypeMap | string>(type: T): Element<T>;

2. 用户扩展自定义类型 #

用户只需在自己的代码中合并ElementTypeMap接口：

// 用户代码
import type { ElementTypeMap } from './your-module';

// 声明合并扩展类型映射
declare module './your-module' {
  interface ElementTypeMap {
    Other: CustomOtherElement;
  }
}

// 直接调用，自动推导正确类型
const e4 = obj.create('Other'); // 类型为CustomOtherElement
const e1 = obj.create('ExtensionElements'); // 依然保持原类型推导
const e3 = obj.create('Random'); // 类型为GenericElement

这种方式的优势是用户无需额外指定泛型参数，完全自动推导，符合TypeScript的类型系统设计习惯。

方案二：让create方法接受自定义类型映射泛型（更灵活） #

如果需要更灵活的临时扩展（不想全局修改类型映射），可以重构create方法，让它接受一个自定义的类型映射泛型参数：

1. 重构create方法定义 #

// 原.d.ts文件中修改
export type BaseElementType = 'ExtensionElements' | 'Documentation';
export type BaseElement<T> = T extends 'ExtensionElements' ? ExtensionElements : T extends 'Documentation' ? Documentation : never;

// 默认类型映射
type DefaultElementMap = {
  [K in BaseElementType]: BaseElement<K>;
};

// 重构后的create方法，支持传入自定义映射
create<
  CustomTypes extends string = never,
  CustomElementMap extends Record<CustomTypes, any> = Record<CustomTypes, GenericElement>
>(
  type: BaseElementType | CustomTypes
): (DefaultElementMap & CustomElementMap)[typeof type];

2. 用户调用方式 #

用户可以直接指定自定义类型和映射：

// 方式1：自动使用GenericElement作为自定义类型的返回值
const e4 = obj.create<'Other'>('Other'); // 类型为GenericElement

// 方式2：指定自定义类型映射
const e4 = obj.create<'Other', { Other: CustomOtherElement }>('Other'); // 类型为CustomOtherElement

这种方式适合临时扩展特定场景的类型，不需要全局修改基础类型。

原方案失效的原因 #

你之前尝试的obj.create<CustomElementType, CustomElement>('Other')之所以失败，是因为原方法只定义了一个泛型参数T，第二个泛型参数没有和T建立关联关系——TypeScript无法知道CustomElement<T>应该对应传入的T值，因此只能返回所有可能类型的联合结果。

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