如何定义可包含自身类型属性的TypeScript类型/接口？

嘿，我来帮你搞定这个递归类型的问题！你想要的是一个能嵌套自身的结构，TypeScript对递归类型的支持其实很友好，不管是用interface还是type别名都能轻松实现。先梳理下你的核心需求：创建一个可以无限嵌套的结构，其中controls的属性值既可以是单纯的消息对象，也可以是另一个包含controls的分组对象。

正确的递归接口实现 #

我们可以直接在TGroupMessages的controls属性里引用自身，TypeScript允许接口的递归引用，完全不需要额外的技巧：

// 基础的键值对消息格式，用于存储具体的提示文本
type TMessagesFormat = { [key: string]: string };

// 单纯的消息对象，只包含一组提示文本
interface TMessages {
  messages: TMessagesFormat;
}

// 可嵌套的分组消息，核心是在controls中递归引用自身
interface TGroupMessages {
  // 可选的顶层提示文本，不是必须的
  messages?: TMessagesFormat;
  // controls的属性值可以是TMessages，也可以是另一个TGroupMessages
  controls: { [key: string]: TMessages | TGroupMessages };
}

验证使用示例 #

现在你可以创建任意深度的嵌套结构，TypeScript会全程做严格的类型校验：

// 单层嵌套的简单示例
const basicGroup: TGroupMessages = {
  controls: {
    username: {
      messages: { required: 'Username required' }
    }
  }
};

// 多层嵌套的复杂示例（完全符合类型要求）
const deepNestedGroup: TGroupMessages = {
  messages: { formTitle: 'User Registration Form' },
  controls: {
    userInfo: {
      controls: {
        username: { messages: { required: 'Username required', minLength: 'At least 3 characters' } },
        email: { messages: { required: 'Email required', invalid: 'Invalid email format' } }
      }
    },
    passwordGroup: {
      messages: { passwordTip: 'Password must contain letters and numbers' },
      controls: {
        password: { messages: { required: 'Password required', minLength: 'At least 8 characters' } },
        confirmPassword: { messages: required: 'Confirm your password', mismatch: 'Passwords do not match' } }
      }
    }
  }
};

用Type别名实现递归（另一种可选方案） #

如果你更喜欢用type而不是interface，写法会更紧凑，效果完全一致：

type TMessagesFormat = { [key: string]: string };

type TMessages = {
  messages: TMessagesFormat;
};

type TGroupMessages = {
  messages?: TMessagesFormat;
  controls: { [key: string]: TMessages | TGroupMessages };
};

几个注意事项 #

• 递归的核心逻辑：只要在类型定义中直接引用自身，TypeScript编译器就能正确识别递归关系，不会抛出错误。
• 避免命名混淆：你原来的代码里把TGroupMessages类型的变量命名为messages，这容易和TMessages接口混淆，建议用更清晰的变量名，比如formControls或者nestedMessageGroup。
• 可选属性的使用：TGroupMessages里的messages是可选属性，所以你可以只提供controls属性，也可以同时添加顶层提示文本。

这样你的递归对象类型就可以完美工作了，不管是简单的单层结构还是复杂的多层嵌套，TypeScript都会帮你做严格的类型校验。

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