TypeScriptのvoid型について

Question

今携わっているプロジェクトで関数の型をvoid型としているコードがあり、
調べております。
調べた結果、TypeScriptのvoid型について、関数の実行値として何も返さない場合は"undefined"を返すと知り、下記のようなコードを作成しました。

※void型の記事の部分を参考にさせて頂きました。
参考記事

const a = (a:number,b:number):void => {return a + b}
console.log(a)
console.log(a(11,22))

期待値としては、下記を予想しておりました。

undefined
33

しかし、実際は下記のようになりました。

(a, b) => { return a + b; }
33

また、return 文のところに下記のようなエラーが出ておりました。

Type 'number' is not assignable to type 'void'.

Number型はVoid型には入らない、、、、、
void型として型定義する場合は、引数の型をつけることができないのでしょうか？
また、関数の引数に何も値が入っていない状態で関数を実行（私が上記で作成したコード）したときは、関数の実行結果として"undefined"が返ってこないのは
なぜなのでしょうか？

ご教示いただけますと幸いです。

Answer 1

Number型はVoid型には入らない、、、、、

void型として型定義する場合は、引数の型をつけることができないのでしょうか？
また、関数の引数に何も値が入っていない状態で関数を実行（私が上記で作成したコード）したときは、関数の実行結果として"undefined"が返ってこないのは
なぜなのでしょうか？

エラーはreturnにかかっているので、本来voidを返す(=なにも返さない)ところにreturn a + bというNumber型を返しているため発生しているのだと思います。

またundefinedが返ってこないのは関数を実行しているのではなく、関数そのものをconsole.log()で出力しているためです。

const a = (a:number,b:number):void => {return a + b}
console.log(a); // -> これはaという関数そのものをコンソールに出力している
console.log(a()); // -> 関数の結果を表示する場合はこうする。※ただTSなのでこれはエラーになりそうですが・・・

Comments

[takochan1192]

その通りでした。関数そのものを出力しているので、関数そのものが返ってきていたのですね。
ご指摘ありがとうございます。

Answer 2

関数の型をvoid型としているコードがあり、調べております。

void型は、「その値をTypeScriptからは使いません」という宣言です。値としてundefined（設定によってはnullも）を代入することは可能です（TypeScript公式）。

引数として渡すコールバック関数の返り値型としてvoidを書くこともよくありますが、その場合は「何が返されてもその値は元の関数からは使いません」という意味になります（例：Array.prototype.forEach）。他の型を返す関数も渡すことは可能です。

Comments

[maisumakun]

> void型として型定義する場合は、引数の型をつけることができないのでしょうか？

そんな事はありません。

[takochan1192]

>何が返されてもその値は元の関数から使いません。
というのは、関数の戻り値として、void型を指定した場合は、string型やnumber型などのほかの型も関数の結果として返すことができるということでしょうか？

[takochan1192]

例えば、
const a (a:number,b:number) :void => {return "string型を返す"}
のような事もできるのでしょうか？
回答済みにしてしまったのに、質問失礼します。
どうしても引っ掛かてしまいまして。

[maisumakun]

「void型を返す関数」を引数として取る箇所に、他の型を返す関数を渡すことができる、ということです。

void型を返すと宣言した関数では、返り値は実質書けません（いちおう、return undefinedとは書けますがほぼ無意味です）。

[takochan1192]

なるほど、そういうことだったのですね。
コメントありがとうございます。