TypeScript 「パラメーター 'T' が見つかりません。」

Question

TypeScript初心者なのでそもそも書き方が間違っていたらすみません。
やりたい事としては変数のチェックを行いたくバリデーション用の関数を作成したのですが、添付した画像のように返り値に指定してある型の部分で「パラメーター 'testType' が見つかりません。」とエラーになってしまいました。
調べて書いたので大きく間違っている訳ではないと思っていますが原因を調べてもエラーが出力される理由がわからず...。もし原因がわかる方がいらっしゃったらご教示頂きたいです。
よろしくお願いします。

type testType = {
  id: string,
  name: string,
};

function test(){
  const data = {
    id: "12345",
    name: "test",
  }
  if(validation(data)){
    console.log(`id:${data.id} name:${data.name}`);
  }
}

function validation(data: unknown):testType is testType{
  return typeof data === "object";
}

Comments

[takasima20]

TypeScriptは知らんけど id の後ろにもカンマいるんじゃない?

[hiroki88]

ご指摘ありがとうございます。
おっしゃる通りです、修正しました。

Answer 1

エラーメッセージのとおりです。** is **という関数型は、引数名 is 型名である必要がありますが、testTypeという引数はありません。

Comments

[hiroki88]

ご回答ありがとうございます。
「引数名 is 型名」の引数名とは型引数の認識で合っていますでしょうか？
型引数を追加したソースを添付させて頂いたのですが同じエラーが表示されております。

[maisumakun]

> 引数名 is 型名」の引数名とは型引数の認識で合っていますでしょうか？

違います。関数の引数です。

[hiroki88]

「is」に関する記事を見直したところmaisumakunさんがおっしゃる通り通り引数を指定しないといけませんでした。
ご指摘ありがとうございました！

Answer 2

これが実現したいコードかなと思いました！

type testType = {
  id: string
  name: string,
};

function test(){
  const data = {
    id: "12345",
    name: "test"
  }
  if(validation(data)){
    console.log(`id:${data.id} name:${data.name}`);
  }
}

function validation(data: testType):boolean{
  return typeof data === "object";
}

Comments

[hiroki88]

ご回答ありがとうございます。
自分も当初はこの書き方で良いかと思いましたが「typeof」は使用している関数スコープ内で完結してしまうので呼び出し元のtest関数ではdataがobject型かの絞り込みができておりませんでした。
それを可能にするためisを使用しました。
今回想定しているケースがvalidationに渡されるdataがobjectかチェックしたいので引数のdataの型をunknownにしておりました。