Почему свойства типа объекта с запечатанным потоком не проверяются в условных выражениях

Question

Почему свойства типа объекта с запечатанным потоком не проверяются в условных выражениях

1

В чем причина того, что свойства закрытого объекта не проверяются в условных выражениях?

Например:

// Create a sealed object type
const o = {
  Foo: 'Foo',
};

// Access a non-existent property
// Reports an Error
const fooz = o.Fooz;

// Conditional with non-existent property
// Does not report an error
if (o.Fooz === undefined) {}

Просто уточнить - это объект, запечатанный потоком

Kevan Stannard 06 дек. 2017, в 04:06

Источник

1

Это не запечатанный объект. Вы хотите const o = Object.seal({Foo: 'Foo'}); или, возможно, Object.freeze...
Jared Smith 06 дек. 2017, в 03:11
0

Спасибо @JaredSmith, я должен уточнить - я считаю, что это запечатанный объект с точки зрения Flow. Глядя на документы ( flow.org/en/docs/types/objects/#toc-sealed-objects ), он читает «Когда вы создаете объект со своими свойствами, вы создаете тип закрытого объекта в Flow».
Kevan Stannard 06 дек. 2017, в 03:14
1

К сожалению, они выбрали этот термин, поскольку он уже имеет другое значение в JavaScript. Что касается вашего вопроса, я не могу найти ничего по этому поводу в документации Flow. Возможные возможности: статический анализ высокодинамичного языка затруднен, и компилятор не может разрешить этот случай за разумное время или вообще, или это уступает популярности этого шаблона в существующем коде, или ...
Jared Smith 06 дек. 2017, в 12:27

Показать ещё 1 комментарий

Теги:

javascript

flowtype

1 ответ

Ещё вопросы

Это не запечатанный объект. Вы хотите const o = Object.seal({Foo: 'Foo'}); или, возможно, Object.freeze...
Спасибо @JaredSmith, я должен уточнить - я считаю, что это запечатанный объект с точки зрения Flow. Глядя на документы ( flow.org/en/docs/types/objects/#toc-sealed-objects ), он читает «Когда вы создаете объект со своими свойствами, вы создаете тип закрытого объекта в Flow».
К сожалению, они выбрали этот термин, поскольку он уже имеет другое значение в JavaScript. Что касается вашего вопроса, я не могу найти ничего по этому поводу в документации Flow. Возможные возможности: статический анализ высокодинамичного языка затруднен, и компилятор не может разрешить этот случай за разумное время или вообще, или это уступает популярности этого шаблона в существующем коде, или ...

Kevan Stannard · Accepted Answer · 2017-12-14T18-27-00.000Z

Я разместил этот вопрос как проблему потока. Я получил ответ:

Несоблюдение не является ошибкой в условном выражении. См. Комментарий от источника.

Исходный комментарий гласит:

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