microsoft / microsoft/TypeScript

Directly setting an object which contains an optional item defined with an interface doesn't bypass `Object is possibly 'null' or 'undefined'.`

オープン
#37,240 コメント 0 件 リアクション 1 件 担当者 0 名 GitHub で見る

まだ誰も着手していません。

Bug Domain: check: Control Flow
主要言語
Go
スター
111k
フォーク
14.4k
平均マージ
1日 19時間
マージ済み PR(30日)
117

説明

TypeScript Version: 3.9.0-dev.20200305

Search Terms:

  • object is possibly 'null' or 'undefined'

Code
https://github.com/mckaysalisbury/typescript-direct-set

// See the above repo for a little more self containment.
// Most notably `"strictNullChecks": true`
interface I {
  optional?: (I | null);
  required: number;
}

let workaround: I;
workaround = {
  optional: { required: 2 },
  required: 1
};

workaround.optional.required;  // This is where the error occurs

Expected behavior:
This code should properly compile without errors, even with "strictNullChecks": true
Actual behavior:
With "strictNullChecks": true, there is a possibly undefined error.

Playground Link:
Typescript Playground

Related Issues:

コントリビューションガイド

コントリビューションガイドを開く

はじめの一歩

  1. issue を最後まで読み、次にプロジェクトのコントリビューションガイドを読みます。
  2. 着手することを issue にコメントします — 二人が同じ作業をするのを防げます。
  3. リポジトリをフォークし、ブランチを切って変更します。
  4. issue 番号を参照したプルリクエストを送ります。

調査の方向性

リンク先の TypeScript Playground で strictNullChecks を有効にして例を再現し、その後、関連する issue を読んでこの動作についての既存の議論を確認してください。直接オブジェクト代入の後にコンパイラーがオプショナルプロパティを絞り込むべきかどうかを判断してください。変更が受け入れられる場合に例をカバーするリグレッションテストが追加され、合意された動作が決まれば完了です。

索引モデルが issue の本文から書いたものです。

評価

技術スタック
typescript
領域
compilers
issue の種類
バグ
難易度
5/5
見積もり時間
1週間以上
活発さ
停滞
明瞭さ
おおむね明確
初心者へのやさしさ
35/100

新しい issue をメールで受け取る

初心者向けの GitHub issue を短くまとめたダイジェスト。