0

У меня есть простой код

class A<T extends Object[]> {
  public B: T = [{ a: 1 }, { b: 2 }];
}

Но выходит ошибка

Тип "({ a: number; } | { b: number; })[]" не может быть назначен для типа "T". "({ a: number; } | { b: number; })[]" может быть назначен ограничению типа "T", но можно > создать экземпляр "T" с другим подтипом ограничения "Object".ts(2322)

Как это исправить?

2
  • не использовать такой вид, а использовать более конкретный
    – Grundy
    19 фев 2022 в 15:18
  • например, делаешь new A<{c:string}[]> - и сразу возникает ошибка, потому что ты не можешь присвоить массив [{ a: 1 }, { b: 2 }] переменной с типом {c:string}[]
    – Grundy
    19 фев 2022 в 15:19

1 ответ 1

0

Потому что у класса есть универсальный параметр, который будет установлен при инициализации экземпляра. И соответственно тип T, станет тем, чем его назначил пользователь. А ты решил самовольно определить структуру(пока неизвестного) объекта.

Это означает, что если пользователь создаст такой класс:

class A<T extends object[]> {
  public B: T = [{ a: 1 }, { b: 2 }]
}

const foo = new A<{foo: 'bar'}[]>()

... то тип {foo: 'bar'} конфликтует с твоим { a: 1 }|{ b: 2 } самовольным определением.

Такой пример может выглядеть примерно так:

type TItem = {
  a: number
  b: number
}
class A<T extends TItem & object> {
  public B: Pick<T, 'a' | 'b'>[] = [ { a: 1 ,  b: 2 }, { a: 3, b: 3 }]
}

// Теперь пользователь обязан передать тип который может использовать класс:
const foo = new A<TItem & {foo: 'bar'}>()

// Но свойство конкретно возвращает выборку свойств:
foo.B
// => {a: number, b: number}[]
2
  • не уверен что есть смысл в & object
    – Grundy
    19 фев 2022 в 20:43
  • @Grundy А его и нет, TItem и так object. Я глядя на пример оставил, случайно :( 19 фев 2022 в 21:23

Ваш ответ

By clicking “Отправить ответ”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.

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