Loading article…
コンピュータプログラミングにおいて、サブルーチン（関数とも呼ばれる）は、呼び出し元のコードに計算結果を返すことで、その計算結果を呼び出し元のコードに通知することがよくあります。この値のデータ型は、関数の戻り値型と呼ばれます。
C++プログラミング言語では、関数を宣言する必要があります。C++ 関数の戻り値の型は、その関数を宣言する際に指定されます。[ 1 ] C++11以降で利用可能な構文機能である 末尾戻り値の型は、指定場所が異なる点を除けば、従来の戻り値の型と似ています。[ 2 ] [ 3 ] [ 4 ]
通常の戻り値の型は、関数名の前に指定されます。この従来の C++ コードの例では、戻り値の型は次のようにhasMultipleItems()なりますbool。
std :: vectorを使用します。class MyClass { private : vector <int> items ; public : bool hasMultipleItems ( ) { return items.size ( ) > 1 ; } } ;パラメータリストの後に、以下の->記号に続いて戻り値の型を指定します。
std :: vectorを使用します。class MyClass { private : vector <int> items ; public : auto hasMultipleItems ( ) - > bool { return items.size ( ) > 1 ; } } ;現代のC++では、キーワードの意味はauto文脈によって異なります。
auto x = 11;、キーワードは型推論autoを示します。その変数のデータ型は、初期化から推論されます。関数の戻り値の型は、末尾の戻り値の型を指定せずにを使用することによっても推論できます。例：xautoauto hasMultipleItems ( ) { return items.size ( ) > 1 ; }hasMultipleItems()前のセクションの例では型推論は行われていません。その例では、auto末尾の戻り値型が使用されているため、キーワードは構文要素としてのみ使用されています。以下の汎用版をプログラミングするという課題を考えてみましょう。
int add ( const int & lhs , const int & rhs ) { return lhs + rhs ; }この関数の戻り値の型を正しく表現するには、 `decltype : ` とともに 2 つの仮引数名を使用しますdecltype(lhs + rhs)。ただし、戻り値の型が従来どおり指定されている場合、これらの 2 つの仮引数はまだスコープ内にありません。
したがって、このコードはコンパイルされません。
// これはコンパイルされませんtemplate < typename L , typename R > decltype ( lhs + rhs ) add ( const L & lhs , const R & rhs ) { return lhs + rhs ; }ただし、末尾の戻り値の型が指定されている場合は、仮パラメータがスコープ内になります。
template < typename L , typename R > auto add ( const L & lhs , const R & rhs ) -> decltype ( lhs + rhs ) { return lhs + rhs ; }