【C++学习笔记】奇淫技巧 - TIsBaseFromBase

#include "iostream"
using namespace std;
/*
 * 如果T是从TBase继承的，那么T*到TBase*的转换是合法的，因此会调用第一个check
 * 如果T不是从TBase继承的，那么T*到TBase*的转换不合法，但是T*到void*的转换合法，会调用第二个check
 */

template<typename T, typename TBase>
class TIsBaseFromBase {
private:
    static uint8_t check(TBase*) {
        return 1;
    }

    static uint32_t check(void*) {
        return 0;
    }
public:
    enum {
        RESULT = (sizeof(uint8_t) == sizeof(check((T*)(NULL))))
    };
};

class A {
public:
    int a = 1;
};

class B : public A {
public:
    int b = 2;
};

class C {
public:
    int a = 1;
};

int main() {
    std::cout << TIsBaseFromBase<B, A>::RESULT << std::endl;
    std::cout << TIsBaseFromBase<C, A>::RESULT << std::endl;
    return 0;
}