C++模板详解

一、C++模板签名

template <typename T>
void func(T arg);

C++模板签名声明以关键词template开始，并且在尖括号内指定用于参数的类型。在模板签名中，T表示类型参数。模板参数可以为任意标识符，包括类名、类型别名和外部定义的变量名。使用类型参数可以使函数、类或者整个库具有通用性，从而可以为不同类型的数据编写通用算法。

二、C++类模板

template <typename T>
class myVec {
private:
    T* ptr;
    int size;
public:
    myVec(): ptr(nullptr), size(0) {}
    void push_back(T element) {
        T* newptr = new T[size + 1];
        for(int i = 0; i < size; i++) {
            newptr[i] = ptr[i];
        }
        newptr[size] = element;
        size++;
        delete[] ptr;
        ptr = newptr;
    }
    T& operator[](int index) {
        return ptr[index];
    }
    int getSize() {
        return size;
    }
};

C++类模板是一个通用类，可用于处理不同类型的数据。类模板声明以关键词template开始，后面跟着模板参数列表，然后是类声明，其中使用模板参数。

三、C++模板函数

template <typename T>
T myMax(T a, T b) {
    return a > b ? a : b;
}

C++模板函数是一种通用函数，可用于处理不同类型的数据。函数模板声明以关键字template开始，后面跟着模板参数列表，然后是函数声明，其中使用模板参数。

四、C++模板元 怎样判断类型是函数

template <typename T>
struct is_function {
    static const bool value = false;
};
template <typename Return, typename... Args>
struct is_function<Return(Args...)> {
    static const bool value = true;
};

C++模板元编程是一种编译期间计算的技术，它不同于常规的运行时编程。在这个小标题中，我们演示了如何使用模板元编程判断一个类型是否为函数类型。在这个例子中，我们声明了一个is_function结构体模板，第一个模板参数是待检查类型T，它的默认值为false。第二个模板参数是一个函数类型的参数列表，`Return(Args...)`指明了返回值类型和参数类型，这个结构体用于特化含有函数类型参数的模板。

五、C++模板 函子

template <typename T>
class myPlus {
public:
    T operator()(const T& x, const T& y) const {
        return x + y;
    }
};

C++模板 函子是指一个行为类似于函数的对象，可以通过重载函数括号运算符()实现。模板 函子可以像函数指针一样被传递和调用，但是可以存储更多的状态信息。

六、C++模板 auto

template <typename T, typename U>
auto myAdd(T x, U y) -> decltype(x + y) {
    return x + y;
}

C++模板 auto用于在编译期间自动推导类型。在这个例子中，myAdd函数的返回类型使用decltype函数自动推导，它表示返回值的类型与表达式x + y的类型相同。

七、C++模板编程

C++模板编程是指利用模板技术编写通用的程序。模板编程可以在编译期间实现运行时算法，并实现代码复用和性能优化。应该注意的是，C++模板编程有时候可能会使代码变得晦涩难懂。

八、C++模板类 构造函数

template <typename T>
class myVec {
private:
    T* ptr;
    int size;
public:
    myVec() {
        ptr = nullptr;
        size = 0;
    }
    explicit myVec(int n) {
        ptr = new T[n];
        size = n;
    }
    // copy constructor
    myVec(const myVec& v) {
        ptr = new T[v.size];
        for(int i = 0; i < v.size; i++) {
            ptr[i] = v.ptr[i];
        }
        size = v.size;
    }
    // move constructor
    myVec(myVec&& v) {
        ptr = v.ptr;
        size = v.size;
        v.ptr = nullptr;
        v.size = 0;
    }
    ~myVec() {
        delete[] ptr;
    }
};

C++模板类的构造函数是类的特殊成员函数，用于创建和初始化类的对象。在这个例子中，我们定义了一个myVec模板类，有默认构造函数和一个显式构造函数，还有拷贝构造函数和移动构造函数。

九、C++模板 特化规则

template <typename T>
struct myType {
    void printType() {
        std::cout << "This is a normal type." << std::endl;
    }
};
template<>
struct myType<int> {
    void printType() {
        std::cout << "This is an integer type." << std::endl;
    }
};

C++模板特化是将一个通用模板提供给特定类型使用的技术。特化通常用于为某些类型编写特定的实现。在这个例子中，我们定义了一个myType结构体模板，有一个默认的printType成员函数。通过特化，如果模板参数为int类型，则使用特殊实现的printType函数。