TypeScript 與組合式 API ​

這一章假設你已經閱讀了搭配 TypeScript 使用 Vue 的概覽。

為組件的 props 標註類型 ​

使用 <script setup> ​

當使用 <script setup> 時，defineProps() 宏函數支持從它的參數中推導類型：

<script setup lang="ts">
const props = defineProps({
  foo: { type: String, required: true },
  bar: Number
})

props.foo // string
props.bar // number | undefined
</script>

這被稱之為“運行時聲明”，因為傳遞給 defineProps() 的參數會作為運行時的 props 選項使用。

然而，通過泛型參數來定義 props 的類型通常更直接：

<script setup lang="ts">
const props = defineProps<{
  foo: string
  bar?: number
}>()
</script>

這被稱之為“基於類型的聲明”。編譯器會盡可能地嘗試根據類型參數推導出等價的運行時選項。在這種場景下，我們第二個例子中編譯出的運行時選項和第一個是完全一致的。

基於類型的聲明或者運行時聲明可以擇一使用，但是不能同時使用。

我們也可以將 props 的類型移入一個單獨的接口中：

<script setup lang="ts">
interface Props {
  foo: string
  bar?: number
}

const props = defineProps<Props>()
</script>

這同樣適用於 Props 從另一個源文件中導入的情況。該功能要求 TypeScript 作為 Vue 的一個 peer dependency。

<script setup lang="ts">
import type { Props } from './foo'

const props = defineProps<Props>()
</script>

語法限制 ​

在 3.2 及以下版本中，defineProps() 的泛型類型參數僅限於類型文字或對本地接口的引用。

這個限制在 3.3 中得到了解決。最新版本的 Vue 支持在類型參數位置引用導入和有限的複雜類型。但是，由於類型到運行時轉換仍然基於 AST，一些需要實際類型分析的複雜類型，例如條件類型，還未支持。您可以使用條件類型來指定單個 prop 的類型，但不能用於整個 props 對象的類型。

Props 解構默認值 ​

當使用基於類型的聲明時，我們失去了為 props 聲明默認值的能力。這可以通過 withDefaults 編譯器宏解決：

export interface Props {
  msg?: string
  labels?: string[]
}

const props = withDefaults(defineProps<Props>(), {
  msg: 'hello',
  labels: () => ['one', 'two']
})

這將被編譯為等效的運行時 props default 選項。此外，withDefaults 幫助程序為默認值提供類型檢查，並確保返回的 props 類型刪除了已聲明默認值的屬性的可選標誌。

非 <script setup> 場景下 ​

如果沒有使用 <script setup>，那麼為了開啟 props 的類型推導，必須使用 defineComponent()。傳入 setup() 的 props 對象類型是從 props 選項中推導而來。

import { defineComponent } from 'vue'

export default defineComponent({
  props: {
    message: String
  },
  setup(props) {
    props.message // <-- 類型：string
  }
})

複雜的 prop 類型 ​

通過基於類型的聲明，一個 prop 可以像使用其他任何類型一樣使用一個複雜類型：

<script setup lang="ts">
interface Book {
  title: string
  author: string
  year: number
}

const props = defineProps<{
  book: Book
}>()
</script>

對於運行時聲明，我們可以使用 PropType 工具類型：

import type { PropType } from 'vue'

const props = defineProps({
  book: Object as PropType<Book>
})

其工作方式與直接指定 props 選項基本相同：

import { defineComponent } from 'vue'
import type { PropType } from 'vue'

export default defineComponent({
  props: {
    book: Object as PropType<Book>
  }
})

props 選項通常用於 Options API，因此你會在選項式 API 與 TypeScript 指南中找到更詳細的例子。這些例子中展示的技術也適用於使用 defineProps() 的運行時聲明。

為組件的 emits 標註類型 ​

在 <script setup> 中，emit 函數的類型標註也可以通過運行時聲明或是類型聲明進行：

<script setup lang="ts">
// 運行時
const emit = defineEmits(['change', 'update'])

// 基於選項
const emit = defineEmits({
  change: (id: number) => {
    // 返回 `true` 或 `false`
    // 表明驗證通過或失敗
  },
  update: (value: string) => {
    // 返回 `true` 或 `false`
    // 表明驗證通過或失敗
  }
})

// 基於類型
const emit = defineEmits<{
  (e: 'change', id: number): void
  (e: 'update', value: string): void
}>()

// 3.3+: 可選的、更簡潔的語法
const emit = defineEmits<{
  change: [id: number]
  update: [value: string]
}>()
</script>

類型參數可以是以下的一種：

1. 一個可調用的函數類型，但是寫作一個包含調用簽名的類型字面量。它將被用作返回的 emit 函數的類型。
2. 一個類型字面量，其中鍵是事件名稱，值是數組或元組類型，表示事件的附加接受參數。上面的示例使用了具名元組，因此每個參數都可以有一個顯式的名稱。

我們可以看到，基於類型的聲明使我們可以對所觸發事件的類型進行更細粒度的控制。

若沒有使用 <script setup>，defineComponent() 也可以根據 emits 選項推導暴露在 setup 上下文中的 emit 函數的類型：

import { defineComponent } from 'vue'

export default defineComponent({
  emits: ['change'],
  setup(props, { emit }) {
    emit('change') // <-- 類型檢查 / 自動補全
  }
})

為 ref() 標註類型 ​

ref 會根據初始化時的值推導其類型：

import { ref } from 'vue'

// 推導出的類型：Ref<number>
const year = ref(2020)

// => TS Error: Type 'string' is not assignable to type 'number'.
year.value = '2020'

有時我們可能想為 ref 內的值指定一個更復雜的類型，可以通過使用 Ref 這個類型：

import { ref } from 'vue'
import type { Ref } from 'vue'

const year: Ref<string | number> = ref('2020')

year.value = 2020 // 成功！

或者，在調用 ref() 時傳入一個泛型參數，來覆蓋默認的推導行為：

// 得到的類型：Ref<string | number>
const year = ref<string | number>('2020')

year.value = 2020 // 成功！

如果你指定了一個泛型參數但沒有給出初始值，那麼最後得到的就將是一個包含 undefined 的聯合類型：

// 推導得到的類型：Ref<number | undefined>
const n = ref<number>()

為 reactive() 標註類型 ​

reactive() 也會隱式地從它的參數中推導類型：

import { reactive } from 'vue'

// 推導得到的類型：{ title: string }
const book = reactive({ title: 'Vue 3 指引' })

要顯式地標註一個 reactive 變量的類型，我們可以使用接口：

import { reactive } from 'vue'

interface Book {
  title: string
  year?: number
}

const book: Book = reactive({ title: 'Vue 3 指引' })

為 computed() 標註類型 ​

computed() 會自動從其計算函數的返回值上推導出類型：

import { ref, computed } from 'vue'

const count = ref(0)

// 推導得到的類型：ComputedRef<number>
const double = computed(() => count.value * 2)

// => TS Error: Property 'split' does not exist on type 'number'
const result = double.value.split('')

你還可以通過泛型參數顯式指定類型：

const double = computed<number>(() => {
  // 若返回值不是 number 類型則會報錯
})

為事件處理函數標註類型 ​

在處理原生 DOM 事件時，應該為我們傳遞給事件處理函數的參數正確地標註類型。讓我們看一下這個例子：

<script setup lang="ts">
function handleChange(event) {
  // `event` 隱式地標註為 `any` 類型
  console.log(event.target.value)
}
</script>

<template>
  <input type="text" @change="handleChange" />
</template>

沒有類型標註時，這個 event 參數會隱式地標註為 any 類型。這也會在 tsconfig.json 中配置了 "strict": true 或 "noImplicitAny": true 時報出一個 TS 錯誤。因此，建議顯式地為事件處理函數的參數標註類型。此外，你在訪問 event 上的屬性時可能需要使用類型斷言：

function handleChange(event: Event) {
  console.log((event.target as HTMLInputElement).value)
}

為 provide / inject 標註類型 ​

provide 和 inject 通常會在不同的組件中運行。要正確地為注入的值標記類型，Vue 提供了一個 InjectionKey 接口，它是一個繼承自 Symbol 的泛型類型，可以用來在提供者和消費者之間同步注入值的類型：

import { provide, inject } from 'vue'
import type { InjectionKey } from 'vue'

const key = Symbol() as InjectionKey<string>

provide(key, 'foo') // 若提供的是非字符串值會導致錯誤

const foo = inject(key) // foo 的類型：string | undefined

建議將注入 key 的類型放在一個單獨的文件中，這樣它就可以被多個組件導入。

當使用字符串注入 key 時，注入值的類型是 unknown，需要通過泛型參數顯式聲明：

const foo = inject<string>('foo') // 類型：string | undefined

注意注入的值仍然可以是 undefined，因為無法保證提供者一定會在運行時 provide 這個值。

當提供了一個默認值後，這個 undefined 類型就可以被移除：

const foo = inject<string>('foo', 'bar') // 類型：string

如果你確定該值將始終被提供，則還可以強制轉換該值：

const foo = inject('foo') as string

為模板引用標註類型 ​

模板引用需要通過一個顯式指定的泛型參數和一個初始值 null 來創建：

<script setup lang="ts">
import { ref, onMounted } from 'vue'

const el = ref<HTMLInputElement | null>(null)

onMounted(() => {
  el.value?.focus()
})
</script>

<template>
  <input ref="el" />
</template>

可以通過類似於 MDN 的頁面來獲取正確的 DOM 接口。

注意為了嚴格的類型安全，有必要在訪問 el.value 時使用可選鏈或類型守衛。這是因為直到組件被掛載前，這個 ref 的值都是初始的 null，並且在由於 v-if 的行為將引用的元素卸載時也可以被設置為 null。

為組件模板引用標註類型 ​

有時，你可能需要為一個子組件添加一個模板引用，以便調用它公開的方法。舉例來說，我們有一個 MyModal 子組件，它有一個打開模態框的方法：

<!-- MyModal.vue -->
<script setup lang="ts">
import { ref } from 'vue'

const isContentShown = ref(false)
const open = () => (isContentShown.value = true)

defineExpose({
  open
})
</script>

為了獲取 MyModal 的類型，我們首先需要通過 typeof 得到其類型，再使用 TypeScript 內置的 InstanceType 工具類型來獲取其實例類型：

<!-- App.vue -->
<script setup lang="ts">
import MyModal from './MyModal.vue'

const modal = ref<InstanceType<typeof MyModal> | null>(null)

const openModal = () => {
  modal.value?.open()
}
</script>

如果組件的具體類型無法獲得，或者你並不關心組件的具體類型，那麼可以使用 ComponentPublicInstance。這只會包含所有組件都共享的屬性，例如 $el。

import { ref } from 'vue'
import type { ComponentPublicInstance } from 'vue'

const child = ref<ComponentPublicInstance | null>(null)