[ Reflection Project ] std::is_base_of 구현

이는 **C++의 포인터 암묵적 변환 규칙(Implicit Pointer Conversion Rules)**과
**SFINAE(Substitution Failure Is Not An Error)**를 결합하여 두 클래스 간의 상속 관계를 확인하는 표준적인 방식입니다.

제시해 주신 코드는 std::is_base_of_v의 구현 원리를 간결하게 보여주며,
안전한 업캐스팅(Upcasting)만 허용하는 스마트 포인터 제약에 사용될 수 있습니다.

---

🚀 템플릿 부분 특수화를 이용한 상속 확인 (IsChildOf)

1. ⚙️ 핵심 원리: 암묵적 포인터 변환 검사

이 코드의 핵심은 decltype 내부에서 Child*를 Parent*로 **암묵적으로 변환(Implicitly Convert)**
할 수 있는지 컴파일러에게 묻는 것입니다.

A. CheckHelper 함수의 역할 (변환 싱크)

template<typename T>
void CheckHelper(T*) {}; 

• CheckHelper<To>(...)는 To* 타입의 포인터만 인자로 받을 수 있도록 준비된 **변환 싱크(Conversion Sink)**입니다.
• T가 IObject라면, CheckHelper<IObject>는 IObject*만 받도록 설정됩니다.

B. SFINAE 검사 표현식

decltype(CheckHelper<To>(static_cast<From*>(nullptr)))

1. 소스 포인터: static_cast<From*>(nullptr)는 From* 타입의 포인터를 생성합니다 (예: Object*).
2. 매개변수 전달 시도: 이 From* 포인터를 CheckHelper<To> 함수(예: CheckHelper<IObject>)에 전달하려 시도합니다.
3. 암묵적 변환 검사: 컴파일러는 From*를 To*로 암묵적 변환할 수 있는지 확인합니다.

---

2. 🛡️ SFINAE 작동 방식 및 결과

검사 상황	From $\to$ To	포인터 변환	SFINAE 결과	IsChildOf::value
성공 (업캐스팅)	Object $\to$ IObject	Object*는 IObject*로 암묵적 변환 가능.	성공. 특수화 T2가 선택됨.	true
실패 (다운캐스팅)	IObject $\to$ Object	IObject*는 Object*로 암묵적 변환 불가능.	실패. T2가 후보군에서 제거됨.	false

A. 업캐스팅 성공 (IsChildOf<IObject, Object>)

• 호출: CheckHelper<IObject>(static_cast<Object*>(nullptr))
• 원리: C++ 규칙에 따라 파생 클래스 포인터(Object*)는 기본 클래스 포인터(IObject*)로 암묵적 변환이 가능합니다 (업캐스팅).
• 결과: SFINAE 성공 $\implies$ 특수화된 템플릿이 선택되어 value는 true입니다.

B. 다운캐스팅 실패 (IsChildOf<Object, IObject>)

• 호출: CheckHelper<Object>(static_cast<IObject*>(nullptr))
• 원리: 기본 클래스 포인터(IObject*)는 파생 클래스 포인터(Object*)로 암묵적 변환이 불가능합니다. 이는 안전하지 않은 다운캐스팅이기 때문입니다.
• 결과: CheckHelper 함수 호출이 무효한 코드가 되어 SFINAE가 발동하고, 특수화된 템플릿이 후보군에서 제거됩니다. 주 템플릿이 선택되어 value는 false가 됩니다.

---

3. 🎯 핵심 결론

이 코드는 std::is_base_of_v<Base, Derived>의 핵심 논리를 구현하며, 컴파일러가 포인터 변환을 허용하는 경로(안전한 업캐스팅)만을 성공 경로로 간주하여 ObjectPtr의 안전한 캐스팅 제약 조건으로 사용될 수 있습니다.

#include <iostream>
#include <typeinfo>
#include <type_traits>

class IObject
{};

class Object: public IObject
{};

struct TrueType
{
    static constexpr bool value = true;
};

struct FalseType
{
    static constexpr bool value = false;
};

template<typename T>
void CheckHelper(T*) {};

template<typename From, typename To, typename U = void>
struct IsChildOf
{
    static constexpr bool value = false;
};

template<typename From, typename To>
struct IsChildOf<From, To, decltype(CheckHelper<To>(static_cast<From*>(nullptr)))>
{
    static constexpr bool value = true;
};

int main()
{
//    CheckHelper<Object>(static_cast<IObject*>(nullptr)); -> Compile Error

    CheckHelper<IObject>(static_cast<Object*>(nullptr));

    if (IsChildOf<Object, IObject>::value)
    {
        std::cout << "Object is child of IObject" << std::endl;
    }

    if (IsChildOf<IObject, Object>::value)
    {
        std::cout << "IObject is child of Object" << std::endl;        
    }
};