c++ - プリミティブをターゲットにするためにテンプレートを特殊化する方法はありますか?

Question

クラス テンプレートの特殊化では、1 つの特殊化対象の本格的なクラス (コンストラクター、デストラクタなどを完備) と 1 つの特殊化対象プリミティブ ( int、floatなど) が必要です。私が見た唯一の部分的な特殊化は、( 経由でT*) ポインター型をターゲットにすることです。これを行う方法はありますか？

Answer 1

C ++ 11type_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;
}

Answer 2

boost::has_trivial_assignあなたにこの情報を与えるべきです。

template <class T>
  struct has_trivial_assign : public true_type-or-false_type {};

http://www.boost.org/doc/libs/1_50_0/libs/type_traits/doc/html/boost_typetraits/reference/has_trivial_assign.html