C++ 有没有办法将模板专门化为目标原语？

在专门化类模板时，我希望有一个专门化目标完整类（包括构造函数、析构函数等）和一个专门化目标原语（

int

，

float

，等等）。我见过的唯一部分专门化是针对指针类型（通过

T*

）。有什么方法可以做到这一点吗？

boost:：has\u琐碎的\u assign

应该会给您提供这些信息

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

模板
结构具有_平凡_赋值：公共真_类型或假_类型{}；

您可以使用C++11。以下是一些让您开始学习的内容，您可以根据需要进行更多的专业化：

#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;
}

#包括
#包括
模板
结构A；//未定义
模板
结构A{
A（）{std:：cout a3；
}

您希望以不同的方式专门化的完整类有什么特殊之处？它们是否有您需要的特殊成员？好吧，对于原语，我可以对某些操作执行全面的

memcpy

，而对于类，我需要单独调用每个复制操作。@Buzzsaw:那么您就不想专门化pr了imitive/类，而不是POD与非POD类型您可能希望基于类似类型trait的内容进行专门化_copyable@DavidRodríguez dribeas:在C++11中，决定因素是

是\u standard\u layout

。标准布局类可以被视为字节序列，POD是这些字节的子集。类可以有三个小瓶分配运算符，因此这将给出OP误报。