C で SFINAE を使用して継承されたメンバー関数を検出するにはどうすればよいですか?

SFINAE を使用して継承されたメンバー関数をチェックする

SFINAE (置換失敗はエラーではありません) は、式のコンパイル時の評価を可能にする C の強力な手法です。 。これは、継承されたメンバー関数を含むメンバー関数の存在を検出するために使用できます。

次のコードは、継承されたメンバー関数をテストする 1 つのアプローチを示しています。

<code class="cpp">#include <iostream>

template<typename Type>
class has_foo
{
    class yes { char m; };
    class no { yes m[2]; };
    struct BaseMixin
    {
        void foo() {}
    };
    struct Base : public Type, public BaseMixin {};
    template<typename T, T t> class Helper {};
    template<typename U>
    static no deduce(U*, Helper<void(BaseMixin::*)(), &U::foo>* = 0);
    static yes deduce(...);
public:
    static const bool result = sizeof(yes) == sizeof(deduce((Base*)(0)));
};

struct A
{
    void foo();
};

struct B : A {};

struct C {};

int main()
{
    using namespace std;
    cout << boolalpha << has_foo<A>::result << endl;
    cout << boolalpha << has_foo<B>::result << endl;
    cout << boolalpha << has_foo<C>::result;
}</code>

出力:

true
true
false

このアプローチでは、クラス派生とテンプレート メタプログラミングを利用して、特定の型がメソッドを継承するかどうかを判断します。 BaseMixin クラスは目的のメソッドを定義し、Base クラスはターゲット型と BaseMixin の両方から派生する中間型として機能します。これにより、SFINAE を使用してメソッドがターゲット型に存在するかどうかを推定できるようになります。

has_foo クラスはこの推定を使用して、メソッドが存在するかどうかを示すコンパイル時定数を提供します。これにより、継承されたメンバー関数の有無に基づいて動作を動的に調整できる、効率的で拡張可能なコードが可能になります。

以上がC で SFINAE を使用して継承されたメンバー関数を検出するにはどうすればよいですか?の詳細内容です。詳細については、PHP 中国語 Web サイトの他の関連記事を参照してください。