C에서 SFINAE를 사용하여 상속된 멤버 함수를 검색하는 방법은 무엇입니까?

SFINAE를 사용하여 상속된 멤버 함수 확인

SFINAE(대체 실패는 오류가 아님)는 표현식의 컴파일 타임 평가를 허용하는 C의 강력한 기술입니다. . 상속된 멤버 함수를 포함하여 멤버 함수의 존재를 감지하는 데 사용할 수 있습니다.

다음 코드는 상속된 멤버 함수를 테스트하는 한 가지 접근 방식을 보여줍니다.

<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 중국어 웹사이트의 기타 관련 기사를 참조하세요!