如何用单一TypeScript接口初始化Pinia Store，避免重复定义类型？

问题背景 #

我是JavaScript初学者，正在同步Pinia Store对象与Python REST API，希望只声明一次类型，不用在Store里重复定义。尝试通过展开Ticket接口初始化Store状态时，出现错误：
Uncaught SyntaxError: The requested module '/src/types/ticket.ts' does not provide an export named 'Ticket'

现有Pinia Store代码：

export const useTicketStore = defineStore('ticket', {
  state: () => ({
    id: null,
    status: "",
    subject: "",
    email: "",
    department: null,
    ticketType: nulll, // 注意此处拼写错误，应为null
  }),
  actions: {
    save() {
      const action = this.id ? axios.patch : axios.post
      const url = this.id ? `/api/tickets/${this.id}` : "/api/tickets"
      action(url, this).then((response) => {
        this.$patch(response.data)
      })
    }
  }
})

全局Ticket接口代码：

interface Ticket {
    id: number | null,
    status: string,
    subject: string,
    email: string,
    department: number | null,
    ticketType: number | null,
}

尝试的错误写法：

export const useTicketStore = defineStore('ticket', {
  state: () => ({
    ...Ticket
  }),
  actions: {
    // ...
  }
})

错误原因 #

1. TypeScript接口仅存在于编译阶段：接口是类型校验工具，编译后会被完全移除，无法在运行时通过...Ticket语法展开使用。
2. 接口未导出：原Ticket接口没有添加export关键字，导致导入时找不到对应的导出项。

解决方案 #

步骤1：导出接口并创建运行时默认值

修改/src/types/ticket.ts，导出接口的同时创建一个符合接口类型的空对象（用于初始化Store状态）：

export interface Ticket {
    id: number | null,
    status: string,
    subject: string,
    email: string,
    department: number | null,
    ticketType: number | null,
}

// 创建符合Ticket类型的默认空对象，供运行时使用
export const emptyTicket: Ticket = {
    id: null,
    status: "",
    subject: "",
    email: "",
    department: null,
    ticketType: null,
}

步骤2：在Pinia Store中导入默认值初始化状态

修改Store代码，导入emptyTicket并展开它来初始化state：

import { defineStore } from 'pinia'
import axios from 'axios'
import { emptyTicket } from '@/src/types/ticket.ts'

export const useTicketStore = defineStore('ticket', {
  state: () => ({
    ...emptyTicket
  }),
  actions: {
    save() {
      const action = this.id ? axios.patch : axios.post
      const url = this.id ? `/api/tickets/${this.id}` : "/api/tickets"
      action(url, this).then((response) => {
        this.$patch(response.data)
      })
    }
  }
})

说明 #

• 类型仅在Ticket接口中定义一次，emptyTicket自动继承接口的类型约束，保证Store状态与接口类型一致。
• 借助运行时存在的emptyTicket对象，解决了无法直接使用接口初始化状态的问题。

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