c++ - 在 C++ 中编译时间类型确定

Question

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

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;
} 

Answer 1

它声明了两个名为 test 的重载函数，一个采用 Base，一个采用任何 (...)，并返回不同的类型.

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

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