Optional fields affecting keyof operator in generic class decorators

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

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

評価

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

調査の方向性

リンクされた Playground のサンプルから始め、keyof、ジェネリッククラス、オプションフィールドに関連するデコレーターエラーを再現します。次に、コンパイラーによるデコレーターの対象型の処理を追跡し、Address と AddressBroken の両方を対象とするリグレッションテストを追加して、報告されたエラーなしに両方の例がコンパイルできることを確認します。

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

説明

Domain: Mapped Types In Discussion Suggestion

TypeScript Version: 3.2.2

Search Terms:
class decorator keyof typescript

Code

function View<T>(name: string, fields: (keyof T)[]) {
  return (target: new(...args: any[]) => T) => {
    // Do something with fields
  };
}

// works
@View('active', ['street1', 'street2'])
class Address {
  street1: string;
  street2: string;
}

// broken
@View('active', ['street1', 'street2'])
class AddressBroken {
  street1: string;
  street2?: string;
}

Expected behavior:
Both scenarios should work above.

Actual behavior:
It appears that optional fields are causing the decorator to create invalid types.

Argument of type 'typeof AddressBroken' is not assignable to parameter of type 'new (...args: any[]) => { street1: any; street2: any; }'.
  Type 'AddressBroken' is not assignable to type '{ street1: any; street2: any; }'.
    Property 'street2' is optional in type 'AddressBroken' but required in type '{ street1: any; street2: any; }'.
1234

Playground Link:
Playground Sample

主要言語
Go
スター
111k
フォーク
14.4k
平均マージ
1日 19時間
マージ済み PR（30日）
117

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

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

はじめの一歩

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

microsoft/TypeScript のほかの issue

microsoft/TypeScript の issue をすべて見る

似ている issue

Go の issue をもっと見る

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

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