메타프로그래밍은 C 클래스에서 멤버 변수의 존재를 어떻게 감지할 수 있습니까?

메타프로그래밍을 사용하여 멤버 변수 감지

질문:

클래스 여부를 어떻게 판단할 수 있나요? 이름을 알 수 없거나 다른 이름을 사용하는 경우에도 특정 멤버 변수를 포함합니다. 클래스?

해결책:

한 가지 접근 방식은 메타 프로그래밍 기술을 사용하고 decltype 연산자와 SFINAE(Substitution Failure Is Not An Error)를 활용합니다. 다음 코드를 고려하십시오.

#include <type_traits>

template <typename T, typename = int>
struct HasX : std::false_type { };

template <typename T>
struct HasX<T, decltype((void) T::x, 0)> : std::true_type { };

설명:

1. 기본 템플릿 HasX는 기본적으로 클래스에 x라는 멤버 변수가 없다고 선언합니다. .
2. U = int에 대한 특수화는 SFINAE를 사용하여 이 기본 선언을 재정의합니다. T 유형이 대체되면 T::x를 평가(void)하려고 시도합니다. T에 x라는 멤버 변수가 있으면 이 표현식은 성공하고 HasX std::true_type에서 파생되어 x가 존재함을 나타냅니다.
3. decltype((void) T::x, 0) 표현식은 컴파일러가 T::x를 int 유형의 표현식으로 처리하도록 속입니다. 이렇게 하면 SFINAE가 예상대로 발생합니다.

사용법:

이 기술을 사용하려면 다음과 같이 템플릿을 선언하세요.

template <typename T>
bool Check_x(T p, typename HasX<T>::type b = 0) { return true; }

이 검사는 x 멤버 변수가 있는 클래스에 대해 true를 반환합니다. as:

struct P1 { int x; };

다음과 같이 없는 경우 false:

struct P2 { float X; };

참고:

이 솔루션에서는 C 11 기능 사용을 방지합니다. (예: std::is_member_function_pointer)를 사용하여 이전 컴파일러와의 호환성을 유지합니다.

위 내용은 메타프로그래밍은 C 클래스에서 멤버 변수의 존재를 어떻게 감지할 수 있습니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!