#include <iostream>
namespace namespace269 {
/** 2两个空白类,没有任何成员,不会带来额外负担,却能通过类型代表真假,可以用于函数特化参数 */
struct __true_type { };
struct __false_type { };
template <class _Tp>
struct __type_traits {
typedef __true_type this_dummy_member_must_be_first;
typedef __false_type has_trivial_default_constructor;
typedef __false_type has_trivial_copy_constructor;
typedef __false_type has_trivial_assignment_operator;
typedef __false_type has_trivial_destructor;
typedef __false_type is_POD_type;
};
}
template <class T>
void test_tpye_traits(T& t, namespace269::__true_type) {
std::cout << "true" << std::endl;
}
template <class T>
void test_tpye_traits(T& t, namespace269::__false_type) {
std::cout << "false" << std::endl;
}
template <typename T>
void test_tpye_traits(T& t) {
typedef typename namespace269::__type_traits<T>::is_POD_type is_POD_type;
test_tpye_traits(t, typename namespace269::__type_traits<T>::is_POD_type());
}
class A {
public:
};
class B {
};
namespace namespace269 {
template <>
struct __type_traits<A> {
typedef __true_type is_POD_type;
};
template <>
struct __type_traits<B> {
typedef __false_type is_POD_type;
};
}
int main(void) {
A a;
B b;
test_tpye_traits(a); // true
test_tpye_traits(b); // false
return 0;
}
type_traits
最新推荐文章于 2024-07-31 15:18:44 发布