如何在类型推导中判断一个类是另一个类的子类？

[wingfiring]

对于一个template，希望能够为某个类及其子类做特化。
怎么实现这样一个编译期的类型推导？

[wingfiring]

dynamic_cast是运行期的类型识别，不是编译期的。
我想实现的是编译期的。

[yjh1982]

C++设计新思维有嘛

[Wolf0403]

如果要求是：对某个类为根的继承树上的所有类进行同样的一个特化，我有如下解决办法：用一个特定的鉴定参数。
示例代码：

class Base
{
public:
typedef int MyTYPE;
virtual void function() = 0 { cout << "Base" << endl;}
~Base(){cout << "~Base" <<endl;}
};

class D1 : public Base
{
public:
void function() { cout << "D1" << endl;}
virtual ~D1(){cout << "~D1" <<endl;}
};

template <class _Ty, typename _Id_Type = void>
struct S
{
void f()
{
cout << "Normal" << endl;
}
};

template <class _Ty>
struct S <_Ty, typename _Ty::MyTYPE>
{ // 如果对 _Ty::MyTYPE 用不同类型区分，可以对不同的继承树进行分别特化
void f()
{
cout << "Base" << endl;
}
};

int main(void)
{
S<int> s;
s.f();
S<Base, Base::MyTYPE> base;
base.f();
S<D1, D1::MyTYPE> d;
d.f();
}

[noirchloe]

sizeof()

[yjh1982]

<<C++泛型新思维>>

[hpho]

<MEC> item 4

template<typename D, typename B>
class IsDerivedFrom1
{
class No{};
class Yes{No no[2];};

static Yes Test(B*);
static No Test(...);

public:
enum{Is=sizeof(Test(static_cast<D*>(0)))==sizeof(Yes)};
};

template<typename D, typename B>
class IsDerivedFrom2
{
static void Constraints(D* p)
{
B* pb = p;
pb = p;
}

protected:
IsDerivedFrom2(){void(*p)(D*)=Constraints;}
};

[wingfiring]

typedef int MyTYPE;
这是一个侵入型的设计，能不能有一个非侵入型的设计？

[noirchloe]

sizeof()
dynamic_cast
合用

先比大小，然后创建指针，看是否能成功转换

[noirchloe]

是《C++编程新思维》吧？

[noirchloe]

说错了，C++设计新思维。。。。。。真丢人，哈哈
上面还可以使用std::type_info