Чем не устраивает T[number]?

Выше описано, что к чему. Короче, для ясности имеется тип type LastOf = { <T>(arr: T[]): T | undefined; <T>(arr: T[]): T; }; const lastOf: LastOf = ... const result = lastOf([1, 2]) // result is number | undefined необходимо чтобы при указании конкретного типа result был только этого типа без undefined const result = lastOf<number>([1, 2]) // result is number

0

25.09.2023

Евгений Автор вопроса

Eugene
Выше описано, что к чему. Короче, для ясности имее...

https://www.typescriptlang.org/play?#code/C4TwDgpgBAMghgZ2AHgCpQgD2BAdgEwSgCcI58B7XAGxCgFdcBrXCgd1wG0BdAPigC8AKChR0WHASKlyVWlE4A6ZYxbsu3ADRQAlrgBmEYlABK3EaKgB+UxdEAuMZ1z0AtgCMj3KAB8GBCH09CHwhIXwIAGNqOFIofUZI4B0qKBikAHl9ZEiqJDEMbDxCEjJKGjpVVg4eXgAKWOJHVABKR3gkNF4w9OAsus4ARm0AJm4WoV7+xgig3BCAQihEKBcPIx4Jqf06mcDg-CWVziRiPQBzbTXPYnGhIA

0

25.09.2023

Sergei Vakhrushev

Eugene
Выше описано, что к чему. Короче, для ясности имее...

так вы же сами написали <T>(arr: T[]): T | undefined;

0

25.09.2023

rnamod1

Евгений
https://www.typescriptlang.org/play?#code/C4TwDgpg...

что значит lastOf(undefined! as number[])? то же самое что и lastOf(undefined as unknown as number[]) ? и что значит const вот тут? declare function lastOf<const T extends readonly unknown[]>(arr: T): Last<T> . в первый раз вижу const

0

25.09.2023

Евгений Автор вопроса

rnamod1
что значит lastOf(undefined! as number[])? то же с...

undefined! это простой способ создать never

0

25.09.2023

Eugene

Евгений
https://www.typescriptlang.org/play?#code/C4TwDgpg...

Близко к тому, что нужно , только по умолчанию мне наоборот нужно ? T[number] | undefined : R; a он ругается Exported type alias 'Last' has or is using private name 'R'

0

25.09.2023

rnamod1

Евгений
undefined! это простой способ создать never

почему нет разницы между lastOf(undefined as unknown as number[]) и lastOf(undefined as never as number[]) ? крч, мне надо почитать а то казалось, что never и unknown находятся на разных полюсах

0

25.09.2023

Евгений Автор вопроса

rnamod1
почему нет разницы между lastOf(undefined as unk...

Это просто принцип работы приведения типов. По факту ничего не мешает кастовать любой тип в любой, но ребята в тс решили что если типы совсем не совместимы то это с большей вероятностью ошибка, поэтому тс не даёт так делать. Это как запрет на лишние свойства в объектах. Совместимость проверяется в любую из сторон, поэтому и unknown и never подходят.

0

25.09.2023

Eugene

Евгений
https://www.typescriptlang.org/play?#code/C4TwDgpg...

А подобное для первого элемента или для n-ого элемента?

0

25.09.2023

Евгений Автор вопроса

Eugene
А подобное для первого элемента или для n-ого элем...

можно

0

25.09.2023