這兩天在飲水思源的C板，關於C++模板的類型轉換的一個討論，後面是我的解答。
原問題
今天在書上看到模板演繹的時候可以允許cast-down，於是我寫了個東西：
template <bool _Test, class _Type = void>
struct enable_if { };
template<class _Type>
struct enable_if<true, _Type> {
typedef _Type type;
};
class A { };
class B : A { };
template <typename T>
struct …