中級

readonly配列にpushしようとするとdoes not exist on typeになる理由

readonly number[]のように宣言した配列型には、push・pop・splice等の破壊的（要素を変更する）メソッドがそもそも型として存在しません。呼び出そうとした時点で「そのメソッドは無い」というエラーになります。

エラーメッセージの読み方

main.ts(2,9): error TS2339: Property 'push' does not exist on type 'readonly number[]'.

main.ts

ファイル名

2

行番号

9

列番号 — この位置でtscが検査に失敗しました

TS2339

エラーコード — 検索するとTypeScriptの解説が見つかります

Property 'push' does not exist on type 'readonly number[]'.

内容 — 期待していたもの、または受け付けられなかったもの

このエラーが出る典型パターン

 1  function printAll(items: readonly number[]): void {
 2    items.push  (4);
               ^
 3    console.log(items);
 4  }
 5  printAll([1, 2, 3]);

 1  function clearAll(items: readonly string[]): void {
 2    items.splice(0, items.length);
               ^
 3    console.log(items);
 4  }
 5  clearAll(["a", "b"]);

 1  function reverseAll(items: readonly number[]): void {
 2    items.reverse();
               ^
 3    console.log(items);
 4  }
 5  reverseAll([1, 2, 3]);

よくある誤解

「readonlyは実行時に書き換えを禁止する機能」だと誤解されがちですが、実際にはコンパイル時の型チェックだけの仕組みです。破壊的メソッド自体が型定義から除外されているため、呼び出しコードの時点でエラーになります。

まとめ

readonly配列にpushしようとするとdoes not exist on typeになる理由は中級でつまずきやすい項目です。上の3パターンを実際に手で直すと、エラーメッセージのどこを読めばよいかが掴めます。

演習をはじめる

関連するエラー

• Property does not exist on type の原因と直し方型に定義されていないプロパティ名でアクセスしようとしたときに出るエラーです。
• 変数経由なら余分なプロパティが通る理由オブジェクトリテラルを直接関数に渡すと余分なプロパティはエラーになりますが、いったん変数に代入してから渡すとエラーになりません。