TypeScript条件类型报错：属性TestProperty不存在于Test类型的问题咨询

核心问题 #

你遇到的TS2339错误，是因为TypeScript在解析TestProperty条件类型的定义阶段，就会直接检查Test["TestProperty"]的存在性——而此时Test还是空接口，自然找不到该属性。即便后续通过模块声明扩展了Test，也无法回溯修正定义阶段的类型错误。

解决方案 #

1. 修改条件类型写法，规避定义阶段的属性访问 #

把原条件类型改成先检查属性是否存在再取值，就能绕过定义阶段的报错：

// 库中的代码
export interface Test {}

// 改用keyof判断属性是否存在，避免直接访问Test["TestProperty"]
export type TestProperty = "TestProperty" extends keyof Test 
  ? Test["TestProperty"] 
  : { testData: unknown };

或者用infer延迟类型解析：

export type TestProperty = Test extends infer T 
  ? T extends { TestProperty: infer U } 
    ? U 
    : { testData: unknown } 
  : { testData: unknown };

这两种写法都会让TypeScript在使用TestProperty类型时才去解析实际的Test接口结构，此时扩展后的属性已经生效。

2. 确保模块声明文件被正确识别 #

• 扩展用的声明文件必须是.d.ts后缀，比如命名为testmodule-extension.d.ts
• 在tsconfig.json的include数组中添加该文件路径，确保TypeScript能扫描到：

  {
    "compilerOptions": { /* 你的编译配置 */ },
    "include": [
      "src/**/*",
      "./path/to/your/testmodule-extension.d.ts" // 替换为实际路径
    ]
  }
  

• 如果是在另一个项目中扩展这个库，需要确保库的类型已被正确引入：比如在项目的tsconfig.json中添加"types": ["testmodule"]，或者在代码中通过import "testmodule"显式导入。

3. 验证扩展是否生效 #

在任意文件中导入库的类型，测试是否能正确识别扩展后的属性：

import { Test, TestProperty } from "testmodule";

// 此时Test应该包含TestProperty属性
const test: Test = {
  TestProperty: { testingboolean: true }
};

// TestProperty的类型应该是{ testingboolean: boolean }
const prop: TestProperty = { testingboolean: false };

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