Почему во vue 3 нет ошибок несмотря на разные типы данных при асинхронном запросе?

Question

[QWERTY01]

1. Файл с интерфейсом

export interface CategoriesInterface {
  base: number,
  date: string,
  rates: {
    [key: string]: number
  },
  success: boolean,
  timestamp: number
}

2. фай с присвоением.
Здесь переменной currency.value присваивается результат асинхронного запроса

<script lang="ts">
 import { ref, onMounted } from 'vue'
import { CategoriesInterface } from '@/interface/currency-interface'

 export default {
   name: 'Home',
   const currency = ref<CategoriesInterface | null>(null)
  
    onMounted(async () => {
      currency.value = await store.dispatch('fetchCurrency')
    })
}
</script>

3. с запроса приходит следующий объект
то есть в интерфейсе у поля base задан тип number, а приходит строка (base: 'EUR') и никакой ошибки нет в консоли.

{
        base: 'EUR',
        date: '2022-03-27',
        rates: {
          EUR: 1,
          RUB: 112,
          USD: 1
        },
        success: true,
        timestamp: 1648371543
      }

4. файл vuex где происходит запрос

********
actions: {
    async fetchCurrency() {
      const { data } = await axios(`http://ссылка`)
      return data
    }
  }
************

Пробовал для теста скопировать объект который приходит из запроса и вручную вставить в currency.value, тогда ошибка появляется, а вот если тот же объект приходит через запрос к серверу, то никаких ошибок типизации нет

Answer 1

[wonderingpeanut]

Предполагаю, что return type функции fetchCurrency это any.

Comments

[QWERTY01]

имеет ввиду, что нужно сделать так?

********
actions: {
    async fetchCurrency() {
      const { data } = await axios(`http://ссылка`)
      return data as CategoriesInterface
    }
  }
************

то есть вернуть тип с тем же интерфейсом.
Попробовал, но проблема осталась =(

[wonderingpeanut]

QWERTY01, у тебя тип данных CategoriesInterface, фактически возвращаемые данные отличаются от этого типа, но тайпскрипт об этом не знает и не может знать, потому что он не умеет общаться с сервером, он без понятие, что тебе там приходит.

[QWERTY01]

wonderingpeanut, я просто не так давно начал изучать тайпскрипт. просто я думал, что он как-то перед тем как отрисовать на странице должен проверить что пришло.
Как же тогда правильно обрабатывать такие кейсы, когда с сервера может что-то придти другого типа, чем ты ожидаешь?
Можно конечно пройтись циклом по каждому свойству и через if проверить их на правильность типа, но должен же быть какой-то более лаконичный способ решения у тайпскрипт?

[wonderingpeanut]

QWERTY01, если с сервера может прийти ответ другого типа, то нужно через if проверять тип. Болеее лаконичного способа решения в ТС нет.

[QWERTY01]

wonderingpeanut, понял вас, спасибо

[wonderingpeanut]

QWERTY01, если нужна проверка типов во время выполнения кода (например для тайпчекинга ответа сервера), есть либа io-ts, но я не пользовался ей и не знаю, как там что работает)