【C言語】ポインタ（5）ファンクション型について

どうも。gochaです。

今回は、ファンクション型について説明します。

A function type describes a function with specified return type.

A function type is　characterized by its return type and the number and types of its parameters.

A function type is said to be derived from its return type, and if its return type is T, the function type is sometimes called ‘‘function returning T’’.

The construction of a function type from a return type is called ‘‘function type derivation’’.

参照：http://www.open-std.org/jtc1/sc22/wg14/www/docs/n1256.pdf#page=47

日本語訳は、こんな感じでしょうか。

ファンクション型は、特定のリターン型を持つファンクション（関数）の特徴を説明する。

ファンクション型は、ファンクション型の持つリターン型、および、ファンクション型の持つパラメータ型で、特徴付けられる。

ファンクション型は、ファンクション型の持つリターン型から派生される、また、もしファンクション型のリターン型がTである場合、そのファンクション型は時々、‘‘Tを返すファンクション”と呼ばれる。

リターン型からファンクション型を構築することは、‘‘ファンクション型の派生”と呼ばれる。

凝縮すると、

ファンクション型の特徴は、リターン型と、パラメータ型で決まるが、特にリターン型が重要で、リターン型からファンクション型を構築することを、ファンクション型の派生と呼ぶし、リターン型がTであるファンクションのことをTを返すファンクションと呼ぶ。

もっと凝縮すると、

ファンクション型では、そのリターン型でほぼ特徴が決まる。

ぐらいでいいのかなと考えてます。

今回はここまで。

C言語関連の投稿は、コチラからどうぞ。