7

Документация тайпскрипта

Under strictFunctionTypes function type parameter positions are checked contravariantly instead of bivariantly. For some background on what variance means for function types check out What are covariance and contravariance?.

Прочитал и это тоже, но не понял что же такое контрвариантность?

0

1 ответ 1

7

Ковариантность и контравариантность обобщенных интерфейсов:

Понятия ковариантности и контравариантности связаны с возможностью использовать в приложении вместо некоторого типа другой тип, который находится ниже или выше в иерархии наследования.

  • Ковариантность позволяет использовать более конкретный тип, чем заданный изначально.
  • Контравариантность позволяет использовать более универсальный тип, чем заданный изначально.

Таким образом, если мы создадим тип данных животные и его подтип собаки или кошки, то в наших функциональных типах разные параметры будут по разному реагировать на значение другого типа:

  • ковариантный (covariant) позволяет передать ему собак или кошек вместо животных, назначенных изначально;
  • контрвариантный (contravariant) примет животных вместо собак, но не наоборот;
  • бивариантный (bivariant) позволит оба варианта;
  • инвариантный (invariant) не допустит подмен, только предписанный тип данных.

Обычно параметры в тайпскрипте позволяют инвариантность, а со strictFunctionTypes параметр потребует контрвариантности. Поэтому если, например:

type Animal = 'cat1' | 'cat2' | 'dog1' | 'dog2' | 'elephant1' | 'elephant2';
type Dog = 'dog1' | 'dog2';

declare let f1: (x: Animal) => void;
declare let f2: (x: Dog) => void;

то для обычного параметра оба присвоения годятся (песочница):

f1 = f2; // Ok without --strictFunctionTypes
f2 = f1; // Ok

а cо strictFunctionTypes первое вызовет сообщение об ошибке (песочница):

f1 = f2; // Error with --strictFunctionTypes
f2 = f1; // Ok

Если же добавить третий подтип

type Cat = 'cat1' | 'cat2';

declare let f3: (x: Cat) => void;

то третье присвоение вызовет ошибку в обоих случаях — и со strictFunctionTypes, и без него:

f2 = f3; // Error

Интерфейсы

Для интерфейсов важно, есть ли между ними структурное отличие, просто факта наследования недостаточно.

Type Compatibility:

TypeScript’s structural type system was designed based on how JavaScript code is typically written. Because JavaScript widely uses anonymous objects like function expressions and object literals, it’s much more natural to represent the kinds of relationships found in JavaScript libraries with a structural type system instead of a nominal one.

Вот такой код не покажет ошибок (песочница):

interface Animal{}
interface Dog extends Animal{}
interface Cat extends Animal{}

declare let f1: (x: Animal) => void;
declare let f2: (x: Dog) => void;
declare let f3: (x: Cat) => void;

f1 = f2;
f2 = f1;
f2 = f3;

А вот в таком коде будет одна ошибка без strictFunctionTypes или две ошибки, если этот параметр включён в настройках:

interface Animal{}
interface Dog extends Animal{
    breed: string;
}
interface Cat extends Animal{
    name: string;
}

declare let f1: (x: Animal) => void;
declare let f2: (x: Dog) => void;
declare let f3: (x: Cat) => void;

f1 = f2; // Error with --strictFunctionTypes
f2 = f1; // Ok
f2 = f3; // Error

И текст ошибки:

Type 'Animal' is not assignable to type 'Dog'.

6
  • Добавь ссылку на typescriptlang.org/play с примером. Либо объяснение не совсем корректное или неполное, либо все по другому работает.
    – Grundy
    28 ноя 2021 в 13:22
  • @Grundy Сымитировал ситуацию в песочнице, добавил ссылки. Буду признателен за критику, если имитация некорректна. 28 ноя 2021 в 14:36
  • @GlebKemarsky спасибо за ответ (+1) и замените, пожалуйста, elefant на elephant
    – Randall
    28 ноя 2021 в 15:05
  • @GlebKemarsky, с interface почему-то не работает
    – Grundy
    28 ноя 2021 в 15:07
  • @Grundy Спасибо за пример. Добавил пояснение про сопоставление интерфейсов. 28 ноя 2021 в 15:50

Ваш ответ

Нажимая на кнопку «Отправить ответ», вы соглашаетесь с нашими условиями использования и подтверждаете, что прочитали и поняли наши политику конфиденциальности и нормы поведения.

Всё ещё ищете ответ? Посмотрите другие вопросы с метками или задайте свой вопрос.