テンプレート関数を引数として受け入れる汎用関数を C で作成するにはどうすればよいでしょうか?

テンプレート引数としてのテンプレート関数: テンプレート テンプレート パラメーターを使用したジェネリック関数の定義

C でジェネリック関数を定義する際の課題は、内部関数自体がジェネリックである場合に発生する可能性があります。 。この記事では、テンプレート テンプレート パラメーターを使用してこのハードルを克服する解決策を検討します。

問題を示す次のコード スニペットを考えてみましょう:

<code class="cpp">template<typename T>
void a(T t) {
   // do something
}

template<typename T>
void b(T t) {
   // something else
}

template< ...param... > // ???
void function() {
    param<SomeType>(someobj);
    param<AnotherType>(someotherobj);
}

void test() {
    function<a>();
    function<b>();
}</code>

関数テンプレートを正しく定義する方法を決定する際に困難が生じます。 。これを解決するために、「テンプレート テンプレート パラメーター」として知られる手法を採用します。

テンプレート テンプレート パラメーター

テンプレート テンプレート パラメーターを使用すると、テンプレート関数を引数として他のテンプレートに渡すことができます。これにより、テンプレート関数の特定のセットで動作する汎用関数を作成する柔軟性が得られます。

ただし、落とし穴があります。テンプレート テンプレート関数を型として直接渡すことはできません。代わりに、ダミー構造体を使用した回避策を使用する必要があります。

ダミー構造体を使用した回避策

次のコードは回避策の例です。

<code class="cpp">template <typename T>
struct a {

    static void foo (T = T ())
    {
    }

};

template <typename T>
struct b {

    static void foo (T = T ())
    {
    }

};

struct SomeObj {};
struct SomeOtherObj {};

template <template <typename P> class T>
void function ()
{
    T<SomeObj>::foo ();
    T<SomeOtherObj>::foo ();
}

int main ()
{
    function<a>();
    function<b>();
}</code>

ダミー構造体 a と b は機能します。テンプレート関数のプレースホルダーとして。これらは、主に構文要件を満たすために、何も実行しないメソッド foo を提供します。

関数テンプレートは、実行するテンプレート関数のタイプを指定するテンプレート テンプレート パラメーター T を受け入れます。次に、SomeObj と SomeOtherObj という 2 つの異なるタイプのオブジェクトに対して foo を呼び出します。

このアプローチを使用すると、柔軟でタイプセーフな方法で一連のテンプレート関数を操作する汎用関数を定義できます。

以上がテンプレート関数を引数として受け入れる汎用関数を C で作成するにはどうすればよいでしょうか?の詳細内容です。詳細については、PHP 中国語 Web サイトの他の関連記事を参照してください。