TypeScript报错TS2722：已定义的只读函数为何提示可能未定义？

为什么会报错？ #

TypeScript的类型检查基于你声明的类型定义，而非实例的实际赋值内容。哪怕你创建john时明确给getName赋了值，但Author类型里把getName标记成了可选属性（带?），编译器就只会依据这个类型判断——它认为所有Author类型的变量，getName都有可能是undefined。只读属性只是限制你不能修改它，但不影响类型层面的可选性判断。

不用临时写法的解决办法 #

以下是几种更规范的根源性解决方式：

1. 把可选属性改成必选（最直接）

如果所有Author实例都应该具备getName方法，直接去掉类型定义里的?：

type Author = {
  readonly getName: () => string;
};

const john: Author = {
  getName: () => "John Doe"
};

john.getName(); // 不会报错

2. 让TypeScript自动推导精确类型

不给john显式指定Author类型，让编译器自动推断它的具体类型——此时TS会识别到这个实例的getName是必存在的：

type Author = {
  readonly getName?: () => string;
};

// 不指定类型，TS会自动推断john的类型为 { readonly getName: () => string }
const john = {
  getName: () => "John Doe"
};

john.getName(); // 无错误

3. 拆分类型，区分有无getName的场景

如果确实存在部分Author实例没有getName，可以拆分出更精确的类型：

// 基础作者类型
type BaseAuthor = {
  id: number;
  // 其他通用属性
};

// 带getName方法的作者类型
type AuthorWithName = BaseAuthor & {
  readonly getName: () => string;
};

const john: AuthorWithName = {
  id: 1,
  getName: () => "John Doe"
};

john.getName(); // 不会报错

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