C関数ポインタにはどのような種類のC++関数を置くことができますか？

Question

私はコールバックのための関数ポインタの構造体を使用するCライブラリを持っています。コールバックはCコードから呼び出されます。

extern "C" { 
typedef struct callbacks_t { 
    void (*foo) (const char*); 
    int (*bar) (int); 
} callbacks_t; 
}// extern C 

C++の機能はどのような私は、Cライブラリから呼び出されるこれらの関数ポインタで安全に場所ことができますか？静的メンバー関数？完全に指定されたテンプレート関数？ノンキャプチャラムダ？

g ++と思われますが、CやC++の関数に異なる呼び出し規約や言語バインディングが使用されている場合は、安全性に疑問を呈します。

Answer 1

私はの構造体を使用するCライブラリを持っていますコールバックのための関数ポインタ。コールバックはCコードから呼び出されます。

あなただけではなく、明示的にでき++ Cのいずれかの機能の種類の呼び出し規約の定義が存在しないので、明示的にC.

でサポートされていると理解されていると考えているバック渡すことができますのでACライブラリのみC.を理解C++関数を返す。 C関数（明示的にはextern "C"と宣言された関数）を渡し、互換性があることを保証するだけです。

すべての未定義の動作と同様に、これは正常なC++関数または静的メンバーを返すように動作するようです。しかし、すべての定義されていない動作のように動作することができます。あなたはちょうどそれを保証することはできません。私は安全にCライブラリから呼び出されるこれらの関数ポインタに置くことができますC++の機能はどのようなもの

extern "C" { 
    typedef struct callbacks_t { 
     void (*foo) (const char*); 
     int (*bar) (int); 
    } callbacks_t; 

    // Any functions you define in here. 
    // You can set as value to foo and bar. 

}// extern C 

？

スタティックメンバ関数？

いいえ。しかし、これは多くのプラットフォームで動作します。これは一般的なバグであり、一部のプラットフォームでは人々を苦しめます。

完全に指定されたテンプレート機能？

号

非捕捉ラムダ？一見、私は上記のすべてを使用することができます++

号

グラム、

はい。しかし、C++コンパイラで構築されたオブジェクトに渡していることを前提としています（これは正当なものです）。 C++コードは正しい呼び出し規約を使用します。問題は、これらのものをCライブラリに渡すときです（pthreadsが頭に浮かぶ）。

Answer 2

一般的に、キャストを使用しない限り、g ++を信頼する必要があります。

あなたが言及している関数型のどれもC言語から使用するためにエクスポートすることはできませんが、これはあなたが求めているものではありません。関数ポインタとして渡すことができる関数について質問しています。

あなたが渡すことができるものに答えるには、あなたが渡せないものを理解することがより建設的だと思います。引数リストに明示的に記載されていない追加の引数を必要とするものは渡すことはできません。

したがって、非静的メソッドはありません。彼らには暗黙の "this"が必要です。 Cはそれを渡すことを知らない。次に、コンパイラはあなたにあなたを許しません。

キャプチャラムダはありません。それらは実際のラムダ本体と暗黙の引数を必要とします。

あなたが渡すことができるのは、暗黙のコンテキストを必要としない関数ポインタです。実際のところ、先に進み、それらをリストしました：

• ファンクションポインタ。テンプレートが完全に解決されている限り、それが標準機能であるかテンプレートであるかは関係ありません。これは問題ではありません。関数ポインタを使用する構文は、テンプレートを自動的に完全に解決します。
• ノンキャプチャラムダ。これは、C++ 11がlambdaを導入したときに導入された特別な回避策です。これを行うことが可能なので、コンパイラはそれを実現するために必要な明示的な変換を行います。
• 静的メソッド。静的なので暗黙的にthisが渡されることはないため、大丈夫です。

最後に拡大しています。多くのCコールバック・メカニズムは、関数ポインタとvoid * opaqを取得します。

class Something { 
    void callback() { 
    // Body goes here 
    } 

    static void exported_callback(void *opaq) { 
    static_cast<Something*>(opaq)->callback(); 
    } 
} 

そして実行します：

編集を追加する

Something something; 

register_callback(Something::exported_callback, &something); 

次はC++クラスでそれらを使用しての標準とかなり安全であるこの作品 唯一の理由は、C++で暗黙の引数が渡されない場合、呼び出し規約とC呼び出し規約は同一です。ネームマングリングには違いがありますが、ネームマングリングの唯一の目的はリンカが正しいファンクションのアドレスを見つけることができるためです。

このトリックでは、たとえばstdcallやpascalの呼び出し規約を想定してコールバックを試していたのですが、このスキームは面倒になります。

これは静的メソッド、ラムダ、およびテンプレート関数に固有のものではありません。たとえ標準的な機能であっても、そのような状況では失敗します。悲しいことに

、あなたはstdcallの型に関数ポインタを定義するとき、gccはあなたを無視します：

#define stdcall __attribute__((stdcall)) 
typedef stdcall void (*callback_type)(void *); 

結果で：

test.cpp:2:45: warning: ‘stdcall’ attribute ignored [-Wattributes] 
typedef stdcall void (*callback_type)(void *);