- functional[meta header]
- class template[meta id-type]
- std[meta namespace]
- cpp26[meta cpp]
namespace std {
template<class... S>
class function_ref; // 宣言のみ
template<class R, class... ArgTypes>
class function_ref<R(ArgTypes...) /*cv*/ noexcept(/*noex*/)>;
}function_refクラステンプレートは、パラメータの型リストArgTypes...、戻り値の型Rに合致する、あらゆる関数ポインタ、関数オブジェクト、メンバ関数ポインタ、メンバ変数ポインタを参照できるクラスである。
メンバ関数やメンバ変数に対してオブジェクトを束縛、関数ポインタや関数オブジェクトに対して第1引数を束縛した状態で参照することもできる。
下記全ての組み合わせ（4種類）に対して、クラステンプレートの部分特殊化が提供される。
- CV修飾子 cv :
const, CV修飾無し - noexcept例外指定 noex :
true,false
function_refクラステンプレートの特殊化は、copyableのモデルであるトリビアルコピー可能な型となる。
類似機能を提供するfunction, move_only_function, copyable_functionとは異なり、function_refは下記の特徴をもつ。
- 対象の所有権を管理しない軽量ラッパーとして実装される。
- ポインタ2個のオブジェクトサイズで実装可能。
- 構築時に必ず呼び出し対象を指定する必要がある。デフォルト構築不可。
operator boolを提供しない。
- メンバ関数・メンバ変数を参照する場合は、
std::nontypeタグを利用する。- 対象オブジェクトの束縛タイミングは、構築時または呼び出し時のいずれもサポートする。
- ダングリング(dangling)参照を避けるため、左辺値(lvalue)のみを取り扱う。
| 名前 | 説明 | 対応バージョン |
|---|---|---|
(constructor) |
コンストラクタ | C++26 |
(destructor) |
デストラクタ | C++26 |
operator= |
代入演算子 | C++26 |
operator() |
関数呼び出し | C++26 |
| 名前 | 説明 | 対応バージョン |
|---|---|---|
(deduction_guide) |
クラステンプレートの推論補助 | C++26 |
#include <functional>
#include <iostream>
#include <utility>
// 呼び出し可能な何かを受け取る高階関数
int hof(std::function_ref<int(int)> fn)
{
return fn(2);
}
int add(int x) { return x + 1; }
struct Calc {
int x_;
int eval(int y) {
return x_ * y;
}
};
int main()
{
// 通常関数を指定
std::cout << hof(add) << std::endl;
// ラムダ式を指定
std::cout << hof([](int x) { return x * 2; }) << std::endl;
// オブジェクト束縛済みメンバ関数を指定
Calc obj{ 3 };
std::cout << hof({std::nontype<&Calc::eval>, obj}) << std::endl;
}- std::function_ref[color ff0000]
- std::nontype[link /reference/utility/nontype_t.md]
3
4
6
- C++26
- Clang: ??
- GCC: ??
- ICC: ??
- Visual C++: ??
- C++11
function - C++23
move_only_function - C++26
copyable_function