如何让TypeScript对可能存在的嵌套方法给出准确提示？

问题场景 #

我在开发一个由父应用加载的类聊天微件时遇到了严重Bug，本可通过TypeScript配置提前发现：

微件初始化代码如下：

type TParamsRoot = {
  print: () => void;
}
type TParams = {
  root?: TParamsRoot;
}

const init = (params: TParams = {}) => {
  params.root ??= {
    print: () => console.log('hello')
  }
}

设计逻辑是父应用传入params，未传入则赋予默认值。但在组件hook中调用params.root.print()时，组件会在父应用调用init前渲染，且父应用可能传入root但未携带print，导致运行时错误。

最初TypeScript未提示params.root可能为undefined，开启strict: true后改用params.root?.print()，但仍未收到print可能不存在的提示，最终需要改成params.root?.print?.()才解决问题。

我的需求是：让TypeScript提示print可能未定义，但不想将TParamsRoot中的print设为可选类型（因为设计上root存在时print必须存在）。

解决方案 #

1. 确保开启严格TypeScript配置 #

在tsconfig.json中启用严格模式，这是类型检查的基础：

{
  "compilerOptions": {
    "strict": true, // 包含所有严格检查选项
    "noImplicitAny": true, // 禁止隐式any类型
    "strictNullChecks": true // 严格检查null/undefined（已包含在strict中）
  }
}

开启后，TypeScript会严格校验变量的null/undefined状态，以及类型的完整性。

2. 区分外部输入与内部使用的类型 #

将外部传入的参数类型和内部初始化后的类型分开定义，明确外部输入的不确定性：

// 外部传入的参数类型：root可选，且root的属性可能不全
type TExternalParams = {
  root?: Partial<TParamsRoot>;
};

// 内部使用的参数类型：root必存在，且print必存在
type TInternalParams = {
  root: TParamsRoot;
};

// 内部存储初始化后的参数
let internalParams: TInternalParams;

const init = (params: TExternalParams = {}) => {
  // 补全默认值，确保root和print都存在
  const root = {
    print: () => console.log('hello'),
    ...params.root
  };
  internalParams = { root };
};

这样：

• 外部传入的params被标记为可能缺失print，TypeScript会在直接使用params.root.print时提示风险；
• 内部使用internalParams时，TypeScript会确认print必存在，无需额外可选链。

3. 运行时类型校验（可选但推荐） #

为了彻底避免父应用传入不符合预期的参数，可在init中添加运行时校验：

const init = (params: TExternalParams = {}) => {
  const providedRoot = params.root || {};
  // 校验print是否为函数，不是则使用默认值
  const print = typeof providedRoot.print === 'function' 
    ? providedRoot.print 
    : () => console.log('hello');
  
  internalParams = { root: { print } };
};

关键逻辑说明 #

• 严格模式下，TypeScript会强制校验类型的完整性，避免隐式的undefined风险；
• 拆分外部/内部类型，既保留了"root存在时print必存在"的设计语义，又能正确识别外部输入的不确定性；
• 运行时校验作为最后一道防线，确保即使父应用传入非法参数，微件也能正常运行。

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