Q&A
抽象メソッドを宣言するとサブクラスでは抽象メソッド互換の関数の部分型を要求されると思います(言語仕様は確認していません)。その場合、部分型関数の引数は反変、戻り値は共変です。booleanの反変が要求されるなら暗黙的にanyが含まれると思われます。
実現したいこと
「暗黙的に'any'型が含まれる」という現象を解決したいです。
コード(1)のisOnに赤い波線が付き、メッセージが表示されます。
コード自体は問題なく実行されます。
(1)を「public activateSecurity({isOn}: {isOn: boolean}): void { ｝に編集すれば、
エラーは消えてくれますが、同じ箇所で型注釈を２度も記述するのは冗長になってしまいます。
読みやすさを重視したいので、メソッドの定義部分には型注釈を書きたくありません。
他に解決方法はございますでしょうか。
typescript
1 2/** Houseクラス @class */ 3type CtorHouse = { 4 readonly color: string; // @param: 家の色 5 readonly room : number; // @param: 部屋の数 6}; 7 8abstract class absHouse { 9 10 /** セキュリティを作動させるメソッド @method */ 11 abstract activateSecurity({isOn}: {readonly isOn: boolean;}): void; 12 13} // class absDonuts 14 15class House extends absHouse { 16 17 protected color; 18 protected room; 19 20 constructor({color, room}: CtorHouse) { 21 super(); 22 this.color = color; 23 this.room = room; 24 } 25 26 public activateSecurity({isOn}) { // (1) 27 isOn 28 ? console.log(`セキュリティを作動しました`) 29 : console.log(`セキュリティを停止しました`); 30 } 31 32} // class House {} 33 34const house = 35 new House({ 36 color : `黒`, 37 room : 3, 38 }); 39 40 house.activateSecurity({isOn: true}); // セキュリティを作動しました
発生している問題・分からないこと
「実現したいことを教えてください」と同じ。
エラーメッセージ
error
1Visual Studio Codeによる(2)のエラー・メッセージ 2バインド要素 'isOn' には暗黙的に 'any' 型が含まれます。ts(7031) 3(parameter) isOn: any
該当のソースコード
特になし
試したこと・調べたこと
- teratailやGoogle等で検索した
- ソースコードを自分なりに変更した
- 知人に聞いた
- その他
上記の詳細・結果
「実現したいことを教えてください」と同じ。
補足
特になし
回答2件
0
(1) そもそもほとんどの言語では継承関係にあるメソッドの引数の型を省略することなどできない
(2) そもそも普通の感覚なら型をインラインで定義しない
以下コード例
ts
1// Not recommended 2abstract activateSecurity({isOn}: {readonly isOn: boolean;}): void;
ts
1// Better 2type SecurityParams = { 3 readonly isOn: boolean; 4}; 5 6abstract activateSecurity(isOn : SecurityParams): void;
投稿2025/10/26 03:00
総合スコア120
0
ベストアンサー
残念ながら、抽象メソッドの引数の型指定だけで済ませることはできないので、具象クラスに書くしかありません。
抽象メソッドでの型指定は、あくまで「その型の引数は受け取れる」ということを宣言する意味しかないので、具象クラスの側で同じメソッドを実装する場合に、他の型も受け取れるメソッドとすることが可能です。結果、抽象メソッドが存在しても具象メソッドの引数の型は決まりません（参考）。
typescript
1// 別に他の型の引数を取れても問題ない 2public activateSecurity(arg: {readonly isOn: boolean;} | undefined) {} 3 4// JS/TSでは宣言より引数が多くても問題ないので、これでも当該の型の引数付きで呼び出すことは可能 5// https://www.reddit.com/r/typescript/comments/rhnblv/question_about_abstract_methods/ 6public activateSecurity(/* 仮引数なし */) {}
投稿2025/10/22 08:45
総合スコア146853
maisumakun様、いつも返信ありがとうございます。
抽象メソッドに型注釈を宣言出来れば、コードが見栄えよくなると期待したのですが残念です。
あなたの回答
tips
プレビュー
