Omit return type in async method?

Question

[G F]

https://www.typescriptlang.org/play?#code/JYOwLgpg...

Не совсем понимаю почему return type у метода не валидирует корректно?

interface User {
  username: string
  password: string
  id: number
}

type UserWithoutPassword = Omit<User, 'password'>

class AuthService {
    async validateUser(username: User['username'], password: User['password']): Promise<UserWithoutPassword> {
        const user: User = {
          id: 1,
          username: 'kek',
          password: 'fdsfsd'
        }

        // I want to return all User interface fields exept password
        // if (user?.password === password) {
        //     const { password, ...userInfo } = user

        //     return userInfo
        // }

        return user // why there is no error, if User !== UserWithoutPassword?
    }
}

Comments

[Lynn «Кофеман»]

https://www.typescriptlang.org/docs/handbook/inter...

[G F]

Lynn «Кофеман», спасибо помнил что читал что-то такое. То есть тайпскрипт проверяет у возвращаемого user объекта лишь наличие свойств, и не учитывает лишние? Но тогда почему при такой записи ошибка есть?
return { ...userInfo, password: number }
Ведь после спреда получается тоже самое
{id, usename, password}

[Aetae]

G F, забавно. По идее такой проверки быть не должно, если следовать осторожному отношению typscript'a к объектам(которые благодаря прототпам могут творить разные штуки). Так что вопрос не почему не проверяет в первом случае, а с чего вдруг проверяет во втором.)

[Lynn «Кофеман»]

G F, там есть уточнение что для literal objects проверка более строгая.

Object literals get special treatment and undergo excess property checking when assigning them to other variables, or passing them as arguments. If an object literal has any properties that the “target type” doesn’t have, you’ll get an error:

[G F]

Aetae, Lynn «Кофеман», спасибо за помощь гайз.
Но все же как мне теперь убедиться что из функции не вернётся пароль юзера? Тайп каст тут не поможет, а как заставить тс проверять отсутствие какого-либо поля, не понимаю.
Тут уже проще юнит тест написать и не мучать тс, если в нем нет нормальных способов для такой проверки.

Answer 1

[Lynn «Кофеман»]

Попробуй так:

type UserWithoutPassword = Omit<User, 'password'> & {
    password?: never
}

По-русски: поле password опционально, и имеет тип never. Т.к. ни одно значение не может быть типа never, единственный способ удовлетворить этому типу — не иметь поля password вообще.

Comments

[G F]

Идеально, спасибо)

[Lynn «Кофеман»]

PS: возможно ещё значение undefined подойдёт под эту сигнатуру, с телефона лень проверять. Но в любом случае настоящий пароль (строка) сюда точно не подойдёт.

[G F]

Lynn «Кофеман», да я уже на компе проверил)

[Aetae]

Только это костыль, который может вылезти боком где угодно.

[G F]

Aetae, а как лучше сделать?

[Lynn «Кофеман»]

Aetae, раскрой мысль