関数

 

C++

言語

標準ライブラリヘッダ

フリースタンディング処理系とホスト処理系

名前付き要件

言語サポートライブラリ

コンセプトライブラリ (C++20)

診断ライブラリ

ユーティリティライブラリ

文字列ライブラリ

コンテナライブラリ

イテレータライブラリ

範囲ライブラリ (C++20)

アルゴリズムライブラリ

数値演算ライブラリ

ローカライゼーションライブラリ

入出力ライブラリ

ファイルシステムライブラリ (C++17)

正規表現ライブラリ (C++11)

アトミック操作ライブラリ (C++11)

スレッドサポートライブラリ (C++11)

技術仕様書

 

C++言語

一般的なトピック
プリプロセッサ コメント	キーワード エスケープシーケンス
フロー制御
条件付き実行文
if	switch
繰り返し文 (ループ)
for range-for (C++11)	while do-while
ジャンプ文
continue - break	goto - return
関数
関数宣言
ラムダ関数宣言
inline 指定子
例外指定 (C++20未満)
noexcept 指定子 (C++11)
例外
throw 式	try-catch ブロック
名前空間
名前空間宣言	名前空間エイリアス
åž‹
基本型 列挙型 関数型	複合型 共用体型
指定子
decltype (C++11) auto (C++11) alignas (C++11)	const/volatile constexpr (C++11)
記憶域期間指定子
初期化
デフォルト初期化 値初期化 ゼロ初期化 コピー初期化 直接初期化	集成体初期化 リスト初期化 (C++11) 定数初期化 参照初期化

式
値カテゴリ 評価順序	演算子 演算子の優先順位
代替表現
リテラル
ブーリアン - 整数 - 浮動小数点
文字 - 文字列 - nullptr (C++11)
ユーザ定義 (C++11)
ユーティリティ
属性 (C++11)
åž‹
typedef 宣言
型エイリアス宣言 (C++11)
キャスト
暗黙の変換 - 明示的な変換
static_cast - dynamic_cast
const_cast - reinterpret_cast
メモリ確保
new 式	delete 式
クラス
クラス宣言 コンストラクタ this ポインタ	アクセス指定子 friend 指定子
クラス固有の関数特性
仮想関数 override 指定子 (C++11) final 指定子 (C++11)	explicit (C++11) static
特別なメンバ関数
デフォルトコンストラクタ コピーコンストラクタ ムーブコンストラクタ (C++11)	コピー代入 ムーブ代入 (C++11) デストラクタ
テンプレート
クラステンプレート 関数テンプレート	テンプレートの特殊化 パラメータパック (C++11)
その他
インラインアセンブリ	C++ の歴史

 

関数

宣言

関数宣言

仮引数リスト

関数定義

デフォルト引数

可変長引数

inline 指定子

ラムダ式 (C++11)

コルーチン (C++20)

関数呼び出し

実引数依存の名前探索 (ADL)

関数呼び出し演算子

関数オブジェクト

オーバーロード

オーバーロード解決

演算子オーバーロード

オーバーロード集合のアドレス

 

関数は文の並び (関数の本体) を名前およびゼロ個以上の関数の仮引数のリストと紐付ける C++ のエンティティです。

// 関数名「isodd」
// 仮引数リストには名前が「n」で型が int の1個の仮引数があります
// 戻り値の型は bool
bool isodd(int n)
{                      // 関数の本体の始まり
    return n % 2;
}                      // 関数の本体の終わり

関数が呼び出されたとき (例えば関数呼び出し式で)、仮引数は実引数 (呼び出しの場所で提供されるか、デフォルト化されるか、いずれか) から初期化され、関数の本体の文が実行されます。

int main()
{
    for(int arg : {-3, -2, -1, 0, 1, 2, 3})
        std::cout << isodd(arg) << ' '; // isodd が7回呼ばれ、その度に
                                        // n が arg からコピー初期化されます。
}

関数は、戻ることによって、または例外を投げることによって、終了できます。

関数はコルーチンであることもあります。 この場合、後に再開するために実行を中断することができます。

(C++20以上)

関数の宣言は任意のスコープ内に現れることができますが、関数の定義は、名前空間スコープ内、または、クラススコープ内 (メンバ関数およびフレンド関数の場合) にのみ、現れることができます。 クラスの本体の中で friend 指定子なしに宣言された関数は、クラスのメンバ関数です。 そのような関数は追加の性質を多く持ちます。 詳細はメンバ関数を参照してください。

関数はオブジェクトではありません。 関数の配列というものはなく、関数を値渡ししたり他の関数から返したりすることはできません。 関数へのポインタや参照は認められており、関数そのものではできないところで使用することができます。

それぞれの関数は型を持ちます。 これは関数の戻り値の型、すべての仮引数の型 (配列からポインタ、関数からポインタへの変換後 (仮引数リストを参照))、関数が noexcept かどうか (C++17以上)、 cv 修飾子および参照修飾子 (メンバ関数の場合) から構成されます。 関数の型には言語リンケージも含まれます。 cv 修飾された関数型というものはありません (int f() const; のような cv 修飾された関数の型や std::string const f(); のような cv 修飾された型を返す関数と混同しないでください)。

ラムダ式によって名前のない関数を生成できます。

仮引数リストおよび cv/参照修飾 (メンバ関数の場合) が異なる限り、同じスコープ内の複数の関数が同じ名前を持つことができます。 これは関数のオーバーロードと呼ばれます。 戻り値の型および noexcept 指定 (C++17以上)のみが異なる関数の宣言はオーバーロードできません。

関数オブジェクト

関数の左辺値だけでなく、関数呼び出し式は関数へのポインタ、逆参照されたメンバ関数へのポインタ、ラムダ式、および関数呼び出し演算子をオーバーロードするあらゆるクラス型の変数をサポートします。 これらの型はまとめて関数オブジェクトと呼ばれ、 C++ の標準ライブラリの様々なところで使用されます。 例えば、 BinaryPredicate や Compare の用途を参照してください。

標準ライブラリは多くの定義済みの関数オブジェクトのテンプレートや、新しい関数オブジェクトを合成する方法 (std::mem_fn, std::bind, std::function など) も提供しています。