op_call.md

operator()

• functional[meta header]
• std[meta namespace]
• reference_wrapper[meta class]
• function template[meta id-type]
• cpp11[meta cpp]

template <class... ArgTypes>
typename result_of<T&(ArgTypes&&...)>::type operator ()(ArgTypes&&... args) const; //C++11

template <class... ArgTypes>
invoke_result_t<T&, ArgTypes...> operator ()(ArgTypes&&... args) const;            //C++17

template <class... ArgTypes>
constexpr invoke_result_t<T&, ArgTypes...>
  operator ()(ArgTypes&&... args) const
    noexcept(is_nothrow_invocable_v<T&, ArgTypes...>);                             //C++20

• is_nothrow_invocable_v[link /reference/type_traits/is_nothrow_invocable.md]

概要

保持している参照に対して関数呼び出しを行う

要件

型Tが関数呼び出し可能な型(Callable)であること。

C++20から、型Tは完全型であること。

戻り値

INVOKE(get(), std::forward<ArgTypes>(args)...)

備考

operator()はreference_wrapperクラスの直接のメンバ関数とする必要は無い(たとえば、基底クラスからの継承など)。

例

#include <iostream>
#include <functional>

struct F {
  int operator()(int a, int b) const
  {
    return a + b;
  }
};

int main()
{
  F f;

  // 関数オブジェクトへの参照を保持する
  std::reference_wrapper<F> r(f);

  // 保持している関数オブジェクトを呼び出す
  int result = r(1, 2);

  std::cout << result << std::endl;
}

• r(1, 2)[color ff0000]

出力

3

バージョン

言語

• C++11

処理系

• Clang: ??
• GCC: 4.7.0 [mark verified]
• ICC: ??
• Visual C++: ??

参照

• P0357R3 reference_wrapper for incomplete types
  • テンプレートパラメータTが完全型であるという要件が追加された経緯
• LWG Issue 2017. std::reference_wrapper makes incorrect usage of std::result_of
  • C++11で、戻り値型の計算がresult_of<T(ArgTypes...)>からresult_of<T&(ArgTypes&&...)>へ修正された。参照を保持して呼び出す実際の形と一致していなかった
• LWG Issue 3764. reference_wrapper::operator() should propagate noexcept
  • C++23で、operator()にnoexcept(is_nothrow_invocable_v<T&, ArgTypes...>)が付加され、被参照の呼び出し可能物のnoexcept性が伝播するようになった