在专门化一个类模板时,我希望有一个专门化目标成熟的类(完整的构造函数、析构函数等)和一个专门化目标原语(int
,float
等)。我见过的唯一部分专业化是针对指针类型(通过T*
)。有没有办法做到这一点?
问问题
1571 次
2 回答
7
您可以使用 C++11 type_traits。这里有一些可以帮助您入门的东西,您可以根据需要进行更多专业化:
#include <type_traits>
#include <iostream>
template<typename T, typename E = void>
struct A; // undefined
template<typename T>
struct A<T, typename std::enable_if<std::is_class<T>::value && !std::is_pod<T>::value>::type> {
A() { std::cout << "I'm a class, but I'm not a pod type" << std::endl; }
};
template<typename T>
struct A<T, typename std::enable_if<std::is_class<T>::value && std::is_pod<T>::value>::type> {
A() { std::cout << "I'm a class and a pod type" << std::endl; }
};
template<typename T>
struct A<T, typename std::enable_if<!std::is_class<T>::value>::type> {
A() { std::cout << "I'm not a class" << std::endl; }
};
class X {};
class Y { ~Y(){} };
int main()
{
A<X> a1;
A<Y> a2;
A<int> a3;
}
于 2012-07-02T02:09:12.057 回答
0
boost::has_trivial_assign
应该给你这个信息。
template <class T>
struct has_trivial_assign : public true_type-or-false_type {};
于 2012-07-02T02:04:47.130 回答