TypeScript函数共享实例化的规范化类型定义方法问询

针对你遇到的两类问题，我们可以通过显式指定方法的this类型和优化泛型约束逻辑，实现类型安全且保留完整类型信息的对象扩展：

1. 修复indexableMethods中的this类型报错 #

给valueAt方法添加this参数，明确指定this的类型为包含array属性的对象，让TypeScript能正确识别this.array的结构：

const indexableMethods = {
  valueAt<T>(this: { array: T[] }, index: number): T {
    return this.array[index];
  },
};

这里的this: { array: T[] }是TypeScript专属语法，用于定义方法执行时this的预期类型；泛型T则用于捕获数组元素的具体类型，确保返回值类型和数组元素完全匹配。

2. 优化asIndexable函数，保留完整类型推断 #

调整泛型参数逻辑，让函数既能约束输入对象的结构，又能自动捕获数组元素类型，同时通过交叉类型合并原对象与扩展方法的类型：

function asIndexable<T>(object: { array: T[] }): typeof object & typeof indexableMethods {
  return Object.assign(object, indexableMethods);
}

完整可运行示例 #

const indexableMethods = {
  valueAt<T>(this: { array: T[] }, index: number): T {
    return this.array[index];
  },
};

function asIndexable<T>(object: { array: T[] }): typeof object & typeof indexableMethods {
  return Object.assign(object, indexableMethods);
}

// 测试数字数组
const foo = asIndexable({ array: [1, 2, 3] });
console.log(foo.valueAt(1)); // 类型自动推断为number，值为2

// 测试字符串数组+额外属性
const bar = asIndexable({ array: ["a", "b", "c"], name: "test" });
console.log(bar.valueAt(0)); // 类型自动推断为string，值为"a"
console.log(bar.name); // 保留原对象的name属性类型

关键逻辑说明 #

• 指定this类型：通过方法的this参数消除类型歧义，解决this.array的报错问题。
• 泛型捕获元素类型：用泛型T动态捕获数组元素类型，避免返回值被推断为unknown。
• 交叉类型合并：返回类型typeof object & typeof indexableMethods确保原对象的所有属性和扩展方法都能被TypeScript正确识别。

内容的提问来源于stack exchange，提问作者Adam B.