C++がポインタなしのパラメータとして機能する

Question

C++で関数をパラメータとして渡す方法を検索するとき、関数ポインタを使用する例しか見つけられません。しかし、以下はVisual Studioで "g20"をコンパイルして出力します。あなたがstd::function<>の代わりに、関数ポインタを好むかもしれない

#include <iostream> 

using namespace std; 

int f(void fun()); 
void g(); 

int main() { 
    cout << f(g); 
} 

void g() { 
    cout << "g"; 
} 

int f(void fun()) { 
    fun(); 
    return 20; 
} 

Answer 1

：

f(void (*fun)()); 

代わりの

f(void fun()); 

私の例：それはこのようにFを宣言することをお勧めします。関数ポインタだけでなく、ラムダ、バインド式、関数オブジェクト（オブジェクトはoperator()）などを格納することができます。特に、lambdaはAPIをより使いやすくします。

int f(std::function<void()>& fun) { 
    fun(); 
    return 20; 
} 

Answer 2

std:::functionのシンプルでコストがかからない別の方法は、テンプレートを使用することです。

template <typename Function> 
int f(Function function) { 
    function(); 
    return 20; 
} 

このようにして、タイプは任意の種類の呼び出し可能オブジェクトであると推定されます。できるだけコンパイラが呼び出しをインライン化できるようにする必要があります（std::functionでは不可能です）。

Answer 3

どちらの形式も同等です。私は、パラメータがポインタであることを明示的に示す形式を好む。あなたが引数としてNULL,nullptrまたは0の値を渡すことができるので、パラメータがポインタであるという知識は重要です。あなたのプログラムはコンパイルされますが、誰かがf(0)という関数呼び出しを行うとクラッシュします。 NULL,nullptrまたは0引数で関数が呼び出されないことが確実でない限り、ポインターを呼び出す前に、関数ポインターがヌルポインターではないかどうかを常に確認する必要があります。

プロジェクトでlambdaを使用する場合は、 `templatesを使用する必要があります。そうしないと、生の関数ポインタを使用し続けますが、（必要な場合）、あなたの関数ポインタをチェックしていることを確認してください

template <typename Function> 
int f(const Function& functionp) { 
    if(functionp) 
    functionp(); 
    return 20; 
} 

ラムダとstd::function<>オブジェクトもbool演算子を持っているので、ラインif(functionp)はまた、これらのために働くだろうことができます。 nullptrを含むstd::function<>オブジェクトの場合はfalseと評価され、そうでない場合はstd::function<>オブジェクトとlambdaの場合はtrueと評価されます。

Answer 4

アンペアンド&は、参考にします。std::decay_tは、参照をポインタにします。

template <class R, class Args...> 
using func_ref_t = R(&)(Args...) 

template <class R, class Args...> 
using func_ptr_t = R(&)(Args...) 

Answer 5

C（およびC++）標準によれば、パラメータに関数型がある場合、コンパイラはそれを対応する関数ポインタ型に自動的に調整します。したがって、コンパイラに関する限り、2つは同じです。

C99標準セクション6.7.5.3段落8：

パラメータの宣言 '関数復帰型「としては、」 6.3のように、「」タイプを返す関数へのポインタ「」に調整しなければなりません2.1。

C++ 03標準セクション8.3.5段落3：復帰

[...]、 タイプの任意のパラメータの各パラメータの型を決定した後、[...]「機能T "はそれぞれ[...]" 関数へのポインタ "に調整されます。 [...]