最終更新日時(UTC):
が更新

履歴 編集

named requirement
<concepts>

::Callable

概要

Callableは、関数呼び出し可能な型を表す、型の分類、または要件である。ライブラリ機能ではない。

Callableに該当する型

  • 関数ポインタ
  • 関数オブジェクト
  • メンバ関数ポインタ
  • メンバ変数ポインタ

std::functionクラスは、Callableに該当するあらゆる型のオブジェクトを代入できる仕様になっている。

#include <cassert>
#include <functional>

int add(int x) { return x + 1; }

struct X {
  int value = 3;

  int add(int x) const
  { return x + 1; }
};

int main()
{
  // 関数を代入
  std::function<int(int)> f1 = add;
  int result1 = f1(1);
  assert(result1 == 2);

  // 関数オブジェクトを代入
  std::function<int(int)> f2 = [](int x) { return x + 1; };
  int result2 = f2(1);
  assert(result2 == 2);

  X x;

  // メンバ関数ポインタを代入
  std::function<int(const X&, int)> f3 = &X::add;
  int result3 = f3(x, 1);
  assert(result3 == 2);

  // メンバ変数ポインタを代入
  std::function<int(const X&)> f4 = &X::value;
  int result4 = f4(x);
  assert(result4 == 3);
}

出力