microsoft / microsoft/TypeScript
Support for both public and protected constructor overload signatures
まだ誰も着手していません。
- 主要言語
- Go
- スター
- 111k
- フォーク
- 14.4k
- 平均マージ
- 1日 19時間
- マージ済み PR(30日)
- 117
説明
Suggestion
TypeScript already supports abstract class, which cannot be instantiated (of course, I know they can — it's just the compiler that disallow that). Non–abstract classes, on the other hand, can be instantiated using any constructor overload they provide.
There are cases, however, when you may want to allow creation of a class using only one constructor overload and provide another one for subclasses to use. The latter is what I would call “protected constructor,” which could be defined with the addition of the modifier protected. However, it looks like TypeScript currently doesn't support overloads with different access modifiers; I wonder why, as signature matching is merely a static check and doesn't change the way the method is actually invoked. If different overload signatures were allowed to support different access modifiers, the scenario with a protected constructor and a public one I described would be permitted.
🔍 Search Terms
protected constructor
abstract constructor
✅ Viability Checklist
My suggestion meets these guidelines:
- This wouldn't be a breaking change in existing TypeScript/JavaScript code
- This wouldn't change the runtime behavior of existing JavaScript code
- This could be implemented without emitting different JS based on the types of the expressions
- This isn't a runtime feature (e.g. library functionality, non-ECMAScript syntax with JavaScript output, new syntax sugar for JS, etc.)
- This feature would agree with the rest of TypeScript's Design Goals.
⭐ Suggestion
Just allow having different access modifiers for different overload signatures. There's no need I can see to disallow that and it wouldn't be difficult at all to implement.
📃 Motivating Example
Suppose I want to use the composition pattern and provide default sub–instances in the public constructor but still allow subclasses to pass their own sub–instances, as follows:
class Controller {}
class View {
constructor();
protected constructor(controller: Controller);
constructor(readonly controller: Controller = new Controller()) {}
}
class CustomController extends Controller {}
class CustomView extends View {
constructor() {
super(new CustomController());
}
}
💻 Use Cases
Additionally to the “protected constructor” use case I described above, since such a feature requires, as previously mentioned, allowing different access modifiers across overload signatures, this change would also permit a lot of other things. I suppose you all can understand that having protected signatures for a subclass and exposing only public signatures for other sites may turn useful.
コントリビューションガイド
はじめの一歩
- issue を最後まで読み、次にプロジェクトのコントリビューションガイドを読みます。
- 着手することを issue にコメントします — 二人が同じ作業をするのを防げます。
- リポジトリをフォークし、ブランチを切って変更します。
- issue 番号を参照したプルリクエストを送ります。
調査の方向性
まず、TypeScript におけるコンストラクターのオーバーロードシグネチャとアクセス修飾子の扱いを確認します。public なコンストラクターオーバーロードと、サブクラス向けの protected なオーバーロードを使った動機付けの例を検証します。例が型チェックに通り、protected シグネチャを使用する呼び出しが無関係なコードからは引き続き利用できないことを確認できれば完了です。
索引モデルが issue の本文から書いたものです。
評価
- 技術スタック
- typescript
- 領域
- compilers
- issue の種類
- 機能追加
- 難易度
- 5/5
- 見積もり時間
- 1週間以上
- 活発さ
- 停滞
- 明瞭さ
- おおむね明確
- 初心者へのやさしさ
- 35/100