Внимание: Данный ответ является переводом ответа
(приведенные тут ссылки могут не работать)
Сначала давайте добавим пару скобок
export type Equals<X, Y> =
(
(<T>() => (T extends /*1st*/ X ? 1 : 2)) extends /*2nd*/
(<T>() => (T extends /*3rd*/ Y ? 1 : 2))
)
? true
: false;
Теперь, когда вы подставите некоторые типы вместо "X" и "Y", следующее ключевое слово "extends" как бы задает вопрос: "Является ли переменная типом <T>() => (T extends X ? 1 : 2)
присваиваеваемым переменной типа (<T>() => (T extends Y ? 1 : 2))
?
Другими словами мы проверяем x и y
declare let x: <T>() => (T extends /*1st*/ X ? 1 : 2) // Substitute an actual type for X
declare let y: <T>() => (T extends /*3rd*/ Y ? 1 : 2) // Substitute an actual type for Y
y = x // Будет ли это ошибкой или нет?
Автор предоставленного вами комментария говорит, что
Правило присваиваемости для условных типов <...> требует чтобы тип после extends
был "идентичным" это определяется проверкой типов
Здесь говорится о первом (/1st/) и третьем (/3rd/) extends
. Средство проверки позволит присваивание x
на y
только в том случае, если типы после них, называемые как X
и Y
, идентичны.
Если вы подствите number
для обоих:
declare let x: <T>() => (T extends number ? 1 : 2)
declare let y: <T>() => (T extends number ? 1 : 2)
y = x // Should this be an error or not?
Конечно, тут не будет ошибки, потому что есть 2 переменные одного типа.
Но если вы замените "number" на "X" и "string" на "Y":
declare let x: <T>() => (T extends number ? 1 : 2)
declare let y: <T>() => (T extends string ? 1 : 2)
y = x // Should this be an error or not?
То типы после extends
не будут идентичны, поэтому возникнет ошибка.
Давайте посмотрим, почему типы после extends
обязаны быть идентичными, чтобы переменные можно было назначать. Если они идентичны, то понятно, потому что у вас просто есть 2 переменные одного типа, они всегда будут переприсваиваться друг другу. Что касается другого случая, рассмотрим последнюю ситуацию, которую я описал, с "Equal<number, string>". Представим что если бы это не было ошибкой.
declare let x: <T>() => (T extends number ? 1 : 2)
declare let y: <T>() => (T extends string ? 1 : 2)
y = x // Imagine this is fine
Рассмотрим этот фрагмент кода:
declare let x: <T>() => (T extends number ? 1 : 2)
declare let y: <T>() => (T extends string ? 1 : 2)
const a = x<string>() // "a" это тип "2" потому что строка не расширяет число
const b = x<number>() // "b" это тип "1"
const c = y<string>() // "c" это тип "1" потому что строка расширяет строку
const d = y<number>() // "d" это тип "2"
y = x
// В соответствии с объявлением типа "y" мы знаем, что "e" должно быть типом "1"
// Но мы только что присвоили x y, и мы знаем, что "x" возвращает "2" в этом сценарии
// Это не валидно
const e = y<string>()
// То же самое здесь, согласно типу "y", это должно быть "2", но так как "y" теперь "x",
// это на самом деле "1"
const f = y<number>()
Похоже на то, если типы не "строка" и "число", которые не имеют ничего общего, а нечто более сложное. Давайте попробуем {foo: string, bar: number}
для X
и {foo: string}
для Y
. Обратите внимание, что здесь "X" фактически присваивается "Y"
declare let x: <T>() => (T extends {foo: string, bar: number} ? 1 : 2)
declare let y: <T>() => (T extends {foo: string} ? 1 : 2)
// "a" имеет тип "2", потому что {foo: string} не расширяет {foo: string, bar: number}
const a = x<{foo: string}>()
// "b" is of type "1"
const b = y<{foo: string}>()
y = x
// В соответствии с объявлением типа "y" это должно быть типом "1", но мы просто
// присвоили значение x для y, и "x" возвращает "1" в этом сценарии
const c = y<{foo: string}>()
Если вы переключите типы и попробуете {foo: строка}
для X
и {foo: строка, строка: число}
для Y
, то снова возникнет проблема с вызовом
y<{foo: string}>()
. Вы можете увидеть, что всегда что-то не так.
Чтобы быть более точным, если X
и "Y" не идентичны, всегда будет какой-то тип, который расширяет один из них и не расширяет другой. И если вы попытаетесь использовать этот тип для "Т", вы получите бессмыслицу. На самом деле, если вы попытаетесь назначить y = x
, компилятор выдаст вам такую ошибку:
Тип '<T>() => T extends number ? 1 : 2' is не может быть присвоен типу '<T>() => T extends string ? 1 : 2'.
Тип 'T extends number ? 1 : 2' is не может быть присвоен типу 'T extends string ? 1 : 2'.
Тип '1 | 2' is не может быть присвоен типу 'T extends string ? 1 : 2'.
Тип '1' is не может быть присвоен типу 'T extends string ? 1 : 2'.
Поскольку всегда существует тип, который может быть присвоен одному из "X" и "Y", а не другому, он вынужден рассматривать возвращаемый тип "x" как "1/2", который не может быть присвоен "T расширяет ...
? 1 : 2", потому что "T" может расширить это ...
- или не может.
Это в основном то, к чему сводится этот тип "Равных", надеюсь, более или менее понятно, как это работает.
ОБНОВЛЕНО:
Поговорим о том, почему "Equal<{x: 1} & {y: 2}, {x: 1, y: 2}>" является "ложным"
tl;dr Насколько я понимаю, это деталь реализации (не уверен, следует ли мне называть это ошибкой, может быть так задумано)
Теоретически, конечно, это должно быть "правдой". Как я описал выше, "Equal" возвращает "ложь" (теоретически) тогда и только тогда, когда существует тип "C", такой, что "C" может быть присвоен одному из "X" и "Y", но не другому. В этом случае в приведенном выше примере, если вы сделаете x = y
и вставите его (x<C>()
и y<C>()
), вы получите неправильные типы. Здесь, однако, это не так, все, что может быть присвоено "{x: 1} & {y: 2}`, может быть присвоено "{x: 1, y: 2}", поэтому теоретически "Equal" должно возвращать "истину".
На практике, однако, похоже, что реализация typescript использует более ленивый подход при принятии решения о том, идентичны ли типы. Я должен отметить, что это немного предположение, я никогда не участвовал в typescript и не знаю его исходного кода, но вот что я нашел за последние 10 минут, я мог полностью пропустить некоторые детали, но идея должна быть правильной.
Файл, который выполняет проверку типа в репозитории ts, называется checker.ts (ссылка ведет на версию файла между ts 4.4 и 4.5, в будущем это может измениться). Здесь строка "19130" кажется местом, где буква "Т" расширяет X? 1 : 2и
T расширяет Y? сравниваются части 1 : 2`. Вот соответствующие части:
// строка 19130
// Два условных типа 'T1 расширяет U1 ? X1 : Y1' и 'T2 расширяет U2 ? X2 : Y2' связаны, если
// один из T1 и T2 связан с другим, U1 и U2 являются идентичными типами, X1 связан с X2,
// и Y1 связан с Y2.
// ...
let sourceExtends = (source as ConditionalType).extendsType;
// ...
// Line 19143
if (isTypeIdenticalTo(sourceExtends, (target as ConditionalType).extendsType) && /* ... */) {
// ...
}
В комментарии говорится, что эти типы связаны, если, помимо прочих условий, "U1" и "U2", в нашем случае "X" и "Y", идентичны, это именно то, что мы пытаемся проверить. В строке "19143" вы можете увидеть типы после сравнения "extends", что приводит к функции "Istypeidenticalto", которая, в свою очередь, вызывает "isTypeRelatedTo(источник, цель, идентификация)".:
function isTypeRelatedTo(source: Type, target: Type, relation: /* ... */) {
// ...
if (source === target) {
return true;
}
if (relation !== identityRelation) {
// ...
}
else {
if (source.flags !== target.flags) return false;
if (source.flags & TypeFlags.Singleton) return true;
}
// ...
}
Вы можете видеть, что сначала он проверяет, являются ли они строго одного и того же типа ( "{x: 1} & {y: 2}" и "{x: 1, y: 2}" не относятся к реализации ts), затем сравнивает их "флаги". Если вы посмотрите на определение типа "Тип" here вы обнаружите, что "флаги" имеют тип "TypeFlags", который определен here обратите внимание на это: у пересечения есть свой собственный флаг. Таким образом, "{x: 1} & {y: 2}" имеет флаг "Пересечение", "{x: 1, y: 2}" нет, поэтому они не связаны, поэтому "Equal" возвращает "ложь", хотя теоретически это должно быть иначе.
1 extends 1
- нет, он будет выглядеть не такEquals
work in typescript?T
никак не устанавливается, это просто generic тип.