Как связать типы предикатов этих типов с типами их параметров?

Короткий ответ

Не беспокойтесь о создании защиты типа isNotString, потому что она не будет делать то, что вы хотите. Вместо этого проверьте, что isString ложно, и машинописный текст все правильно выведет.

Длинный ответ

@ Ответ Андрея верен, что охранник типа должен подтвердить свой возврат с помощью value is. Я хочу заняться проблемой never. Типовой страж - это _5 _ / _ 6_ проверка. Одна из этих веток проверяется, а другая нелогична, поэтому будет never.

Допустим, это наш охранник типа. Мне лично нравится включать общий тип и утверждать, что value is T & string, а не просто value is string, чтобы никакая информация не терялась, если тип уже известен как конкретное подмножество string.

function isString<T>( value: T ) : value is T & string {
  return typeof value === "string";
}

Теперь мы хотим использовать эту защиту типа в операторе if. Посмотрим, что произойдет, если мы сделаем это с переменной, тип которой уже известен.

const a: string = "something";

if (isString(a)) {
    console.log(a); // `a` here is `string`
} else {
    console.log(a); // `a` here is `never` 
}

У нас не было never в нашем операторе возврата, но мы все равно получаем never в нашем коде, потому что это единственный логический тип, если наша a: string переменная не string.

Определение isNotString typeguard на самом деле не обязательно, потому что вы могли бы с таким же успехом проверить ! isString(). Но если мы захотим это сделать, он вернет never при вызове со строкой. Все остальное не имело бы смысла. Утверждение применяется только тогда, когда функция истинна. Итак, если string не string, тогда что это?

Честно говоря, действительно сложно определить охранник типа, который утверждает отрицательный случай, т. Е. value is not string, потому что охранники типа предназначены для утверждения положительного. Exclude кажется, что он должен работать, но он не может различать объединения, потому что объединение не расширяется string, поэтому оно всегда возвращает never. Я понимаю, почему это нежелательное поведение, которого вы не хотите. Так что просто не делай этого. У вас уже есть охранник, который видит, является ли что-то string, поэтому используйте его, чтобы узнать, не string, и он будет делать то, что вы хотите.

function checkUnion(value: string | number) {
    if (!isString(value)) {
        console.log(value); // `value` is `number`
    }
    if (isString(value)) {
        console.log(value) // `value` is `string`
    }
}

Стоит отметить, что встроенные средства защиты типов в машинописном тексте на самом деле не уточняют тип в отрицательном случае. Это просто показывает, что вы не можете сделать это должным образом, имея дело с неизвестным типом, таким как T.

function checkGeneric<T>(value: T) {
    if ( typeof value !== "string" ) {
        console.log(value); // value is still just T
    }
    if ( typeof value === "string" ) {
        console.log(value); // value is T & string
    }
}

Ссылка на игровую площадку

Вы могли бы сделать это так:

function isNotString<T>(value: T | string): value is T {
    return typeof value !== "string";
}

для проверки строки вы можете просто:

function isString(value: any): value is string {
  return typeof value === "string";

}

Итак, наконец, я пришел к следующему:

function isString<T>( value: T ): value is T & string {
    return typeof value === "string";
}

function isNotString<T>( value: T ): value is Exclude<T, string> {
    return typeof value === "string";
}

площадка.