C++ 中的编译时类型确定

一位同事最近向我展示了他在网上找到的一些代码。它似乎允许编译时确定一个类型是否与另一个类型具有“是”关系。我认为这太棒了，但我必须承认我对它的实际工作原理一无所知。谁能向我解释一下吗？

template<typename BaseT, typename DerivedT>
inline bool isRelated(const DerivedT&)
{
    DerivedT derived();
    char test(const BaseT&); // sizeof(test()) == sizeof(char)
    char (&test(...))[2];    // sizeof(test()) == sizeof(char[2])
    struct conversion 
    { 
        enum { exists = (sizeof(test(derived())) == sizeof(char)) }; 
    };
    return conversion::exists;
} 

一旦定义了这个函数，你就可以像这样使用它：

#include <iostream>

class base {};
class derived : public base {};
class unrelated {};

int main()
{
    base b;
    derived d;
    unrelated u;

    if( isRelated<base>( b ) )
        std::cout << "b is related to base" << std::endl;

    if( isRelated<base>( d ) )
        std::cout << "d is related to base" << std::endl;

    if( !isRelated<base>( u ) )
        std::cout << "u is not related to base" << std::endl;
} 

它声明了两个名为的重载函数test，一个采取Base一个人拿走任何东西(...)，并返回不同的类型。

然后它用一个调用该函数Derived并检查其返回类型的大小以查看调用了哪个重载。 （它实际上使用返回的函数的返回值来调用该函数Derived，以避免使用内存）

Because enums 是编译时常量，所有这些都是在编译时在类型系统内完成的。由于函数最终不会在运行时被调用，因此它们没有函数体并不重要。