«не присваивается параметру типа» ошибка с литералом объекта - PullRequest
Новая
       7

«не присваивается параметру типа» ошибка с литералом объекта

0 голосов
/ 23 ноября 2018

Существует проблема с литералом объекта. 

interface OptionalFoo {
  foo?: number;
}

interface Bar {}

function foobarFn(foobar: OptionalFoo & Bar) {}

foobarFn({ bar: 1 }); // error

foobarFn({ bar: 1 } as { bar: number }); // ok

foobarFn({ bar: 1 } as { bar: 1 }); // ok!

Литерал объекта с логическим типом вызывает ошибку типа:

Аргумент типа '{bar: number;} 'нельзя присвоить параметру типа' OptionalFoo & Bar '

Но проблема не в самом выводе: 

const bar = { bar: 1 }; // inferred { bar: number; }
foobarFn(bar); // ok!?

Та же проблема с синтаксисом расширения против Object.assign: 

foobarFn({...{ bar: 1 }}); // error

foobarFn(Object.assign({}, { bar: 1 })); // ok!?

Есть ли способ добиться поведения с выведенным литеральным типом объекта (проверка избыточного свойства) без литерала объекта на месте, например, с помощью переменной bar или вызова функции, подобного Object.assign({ bar: 1 })?

1 Ответ

0 голосов
/ 23 ноября 2018

Просто, чтобы прояснить ситуацию, речь идет не только о лишних проверках собственности.Избыточные проверки свойств вступают в игру, когда мы присваиваем литерал объекта непосредственно местоположению.В вашем случае все более удивительное поведение происходит при косвенном назначении объекта, что обычно разрешается при избыточных проверках свойств. 

function foo(o: { bar: number }) { }
foo({ bar: 0, foo: "" }) // error direct assignment
foo({ bar:0, foo: ""} as { bar:0, foo: "" }) // ok indirect

Удивительной частью, по крайней мере для меня, является другая проверка (слабый типпроверьте) не ловит эту ошибку.При слабых проверках типов (как описано здесь ), если тип имеет только необязательные свойства, и мы пытаемся назначить тип, который не имеет общих с ним свойств, мы должны получить ошибку: 

function foo(o: { bar?: number }) { }
foo({ foo: "" }) // error under excess properties:  Object literal may only specify known properties, and 'foo' does not exist in type
foo({ foo: ""} as { foo: "" }) // error under weak types: Type '{ foo: ""; }' has no properties in common with type '{ bar?: number; }'.

Я думаю, что это дыра (я не решаюсь сказать, что ошибка не уверена, если это было задумано или нет) в слабых проверках типов.Слабый тип (в соответствии с этим PR ):

  1. Типы объектов с хотя бы одним свойством
  2. Где все свойства являются необязательными
  3. И которые не имеют сигнатуры строкового индекса, сигнатуры индекса номера, сигнатуры вызова или конструкции.

Однако при реализации проверки слабых типов для пересечений все типыпересечение должно быть слабым типом, чтобы пересечение было слабым типом.Из кода компилятора (комментарии добавлены): 

function isWeakType(type: Type): boolean {
    if (type.flags & TypeFlags.Object) {
       // ....
    }
    if (type.flags & TypeFlags.Intersection) {
        /// All intersection members have to be weak
        return every((<IntersectionType>type).types, isWeakType); 
    }
    return false;
}

Поскольку interface Bar {} не является слабым типом (согласно первому правилу, он не имеет свойств), любое пересечение с ним не будет слабым типом и будетне выбрасывайте слабые ошибки проверки типов.Удаление Bar с пересечения приведет к появлению ошибок везде, где вы назначаете объект, который не имеет ничего общего с целью.

...