tsc · ビルドと型
メッセージ
error TS7006: Parameter 'req' implicitly has an 'any' type.
何を意味するか
引数に型が書かれておらず、tsc が推論する手がかりも無かったため暗黙に any になったという意味で、noImplicitAny が有効ならそれを誤りとみなします。JavaScript から移したファイルや、コールバックを別の変数に取り出したときに出ます。逆に items.map(x => ...) のように文脈のある場所では tsc が推論するので、これは出ません。そこに型を書くのが答えです。any と明示して通すこともできますが、それはその引数について検査を完全に切る選択です — 何か分からないときは unknown のほうが正直で、使う前に絞ることを強制します。
直しかた
一行の命令では終わりません。何を見るべきかを説明に書いてあります。
- 出す道具
- tsc
- ビルドと型
- 10
ビルドの誤りは実行前に道具が拒んだものなので、その場で何かを壊すわけではありません。代わりに二つを問います — 型や経路を実際の形に合わせて直すのか、それとも as any や抑制のコメント一つでその行だけ通すのか。そして大文字小文字や拡張子、環境変数のように自分の環境でだけ正しいものは、ここで初めて姿を見せます。
エラーメッセージの読み方
- 一行目から読みます。下に行くほど道具の内部の話で、原因はたいてい一番上に書かれています。
- ファイル名と行番号があればそこが出発点です — スタックの最上段ではなく、自分が書いたファイルが出てくる一番上の行です。
- 文句はそのまま検索します。ただし自分のパスや変数名は消します — その部分が検索を邪魔します。
- 同じ事情が道具の版ごとに違う言い方で出ます。結果が合わないときは版番号も入れてみます。
- 直す命令を貼る前に、その命令が何を捨てるかを確かめます。取り消せないものが混ざっています。
よくある質問
Q. error TS7006: Parameter 'req' implicitly has an 'any' type. はどういう意味ですか。
引数に型が書かれておらず、tsc が推論する手がかりも無かったため暗黙に any になったという意味で、noImplicitAny が有効ならそれを誤りとみなします。JavaScript から移したファイルや、コールバックを別の変数に取り出したときに出ます。逆に items.map(x => ...) のように文脈のある場所では tsc が推論するので、これは出ません。そこに型を書くのが答えです。any と明示して通すこともできますが、それはその引数について検査を完全に切る選択です — 何か分からないときは unknown のほうが正直で、使う前に絞ることを強制します。
Q. どう直しますか。
一行の命令では終わりません。何を見るべきかを上の説明に書いてあります。
Q. どの道具が出すエラーですか。
tsc です。ビルドと型の仲間で、文句は9語です。