C ++メソッドを、ポインター引数を持つC関数に変換することは受け入れ可能なパターンですか？

ESP-32でC ++を使用しています。タイマーを登録するとき、私はこれをしなければなりません：

timer_args.callback = reinterpret_cast<esp_timer_cb_t>(&SoundMixer::soundCallback);
timer_args.arg = this;

ここでタイマーが呼び出しますsoundCallback。

タスクを登録するときも同じこと：

xTaskCreate(reinterpret_cast<TaskFunction_t>(&SoundProviderTask::taskProviderCode), "SProvTask", stackSize, this, 10, &taskHandle);

そのため、メソッドは個別のタスクで開始されます。

GCCは常にこれらの変換について警告しますが、計画どおりに機能します。

量産コードでは受け入れられますか？これを行うためのより良い方法はありますか？

あなたが何をしているかを正確にreinterpret_cast知らない限り、A は常に怪しげです。ここでは、C ++メソッドに対するGCCの呼び出し規則のためにのみコードが機能しますが、これは未定義の動作に非常に似ています。特に、メンバー関数が通常の関数ポインターと何らかの互換性があると想定しないでください。

通常のアプローチは、代わりに適切な署名を使用してC互換関数を定義し、内部でC ++メソッドを呼び出します。例えば：

extern "C" static void my_timer_callback(void* arg) {
  static_cast<SoundMixer*>(arg)->soundCallback();
}

このキャストは、a void*からポイント先オブジェクトのタイプにキャストするため、問題ありません。

詳細：

• extern "C"この関数の言語リンケージを指定します。言語リンケージは、名前のマングリングと関数の呼び出し規則に影響します。メンバー関数にC言語リンケージを含めることはできません。言語リンケージは、内部/外部リンケージにほぼ直交しています。

• コールバックの場合、関数は「プライベート」、つまり内部リンケージを持つ場合があります。Cコードは、名前でコールバックを参照することはありません。上記のコードスニペットstaticは、（静的メソッドではなく）キーワードを使用して内部リンケージを指定しています。または、関数を匿名の名前空間に配置することもできます。

  私は間の相互作用について完全にわからないextern "C"とstatic（内部リンケージ）の。例えば、[dcl.link]私がそうすることを、この解釈「すべての関数型、外部リンケージを持つ関数名、および外部リンケージを持つ変数名は言語リンケージを持っている」と言うタイプのは、my_timer_callbackC言語のリンケージがありますが、その機能のことを名前ではありません。

• static_castの実際の型はわかっているargが型システム内で表現できないため、ここでA が適切です。対照的reinterpret_castに、数値パターンへのポインタなど、ビットパターンを再解釈する場合は、a が適切です。

• 関数は通常のオブジェクトではなく、メンバー関数はさらに少ないです。関数が実際の型を介してのみ呼び出される限り、関数ポインタ型の間で再解釈キャストすることができます（メンバー関数ポインタについても同様）。関数ポインターを他の型（オブジェクトポインターまたはvoidポインターなど）にキャストできるかどうかは、実装定義（バックグラウンド）です。POSIXでは、関数ポインター間のキャストvoid*が許可されているため、機能しますdlsym()。（メンバー）関数ポインターを含むその他のキャストは未定義です。特に、メンバー関数と関数ポインター間のキャストはできません。

個人的に、私が見つけた最も互換性があり、実装が容易で理解しやすいアプローチは、メソッドを内部的に呼び出す予想されるCインターフェイスと互換性のある「ラッパー」関数を提供することです（静的でない場合、インスタンス化するか、既存のインスタンスを使用してそれを行います）。これは、アダプター設計パターンの一種のバリエーションと見ることができます。