C の型推論により、コンパイラは関数パラメータと戻り値の型を自動的に推論できます。構文は auto func_name(param_list) -> return_type; です。コンパイラは次の導出規則に従います: 1. パラメータの型: 初期化されたパラメータは式から推論され、初期化されていないパラメータはデフォルトで int になります; 2. 戻り値の型: 関数本体内の唯一の初期化された式の型、またはデフォルトは空所。型を明示的に指定すると、型の不一致が防止され、可読性が向上します。
型推論を使用すると、型を明示的に指定せずに、コンパイラーが関数のパラメーターの型と戻り値の型を推論できます。 . .コードが簡素化され、定型コードの作成が減ります。
auto func_name(param_list) -> return_type;
auto
推論する戻り値の型を指定します。 param_list
は関数のパラメータ リストです。型は明示的に指定することも、auto
を使用して推定することもできます。 return_type
は、戻り値の型を明示的に指定する場合はオプションです。それ以外の場合は、コンパイラがそれを推測します。 次の関数を考えてみましょう:
// 求两个整数的最大值 auto max(int a, int b) -> int;
コンパイラは、関数のパラメータの型が max
であると推論します。 、戻り値の型も整数です。
コンパイラは、型推論に関して次のルールに従います:
パラメータ型の場合:
int
になります。 戻り値の型の場合:
void
になります。 自動導出を使用するよりも、型を明示的に指定する方が望ましい場合があります。例:
// 确保参数和返回值始终为 int int max(int a, int b) -> int;
これは、型の不一致を防ぎ、コードの可読性を向上させるのに役立ちます。
以上がC++ 関数の型推論はどのように機能しますか?の詳細内容です。詳細については、PHP 中国語 Web サイトの他の関連記事を参照してください。