C++中的函数模板是一种特殊的函数，它能够接受不同类型和数量的参数，并且可以根据参数类型和数量的不同执行不同的操作。模板函数在编译时被解析，根据传递的参数类型和数量生成相应的函数实例。

函数模板重载是指在同一个作用域内定义多个同名函数，它们具有不同的参数类型和/或数量，但具有相同的函数名和相同的返回类型。在编译时，编译器会根据传递的参数类型和数量选择合适的函数进行调用。

下面是一个简单的示例，展示了如何使用函数模板和函数模板重载：

#include <iostream>  
using namespace std;  
  
// 函数模板示例  
template<typename T>  
T add(T a, T b) {  
    return a + b;  
}  
  
// 函数模板重载示例  
template<typename T>  
T add(T a, T b, T c) {  
    return a + b + c;  
}  
  
int main() {  
    int a = 1, b = 2, c = 3;  
    float x = 1.5, y = 2.5, z = 3.5;  
  
    cout << add(a, b) << endl;         // 输出 3  
    cout << add(x, y, z) << endl;     // 输出 7.5  
    cout << add(a, b, c) << endl;     // 输出 6  
    cout << add(x, y, z, x) << endl;  // 报错，无法匹配重载函数  
    return 0;  
}

在上面的示例中，定义了两个名为add的函数模板，一个接受两个参数，另一个接受三个参数。在main函数中，分别调用了两个函数，编译器根据传递的参数类型和数量自动选择了合适的函数进行调用。尝试调用一个不匹配的函数时（例如传递四个参数），编译器会报错。

C++模板特例化（Partial Specialization）是一种在编译时进行特殊处理的机制，它允许为模板定义一个特殊的实例，以处理特定类型或特定情况。模板特例化是一种非常强大的工具，通过它可以在通用代码中加入特定类型的优化，同时保持代码的灵活性。

模板特例化的基本语法如下：

template <class T> struct Foo {}; // 通用模板  
template <> struct Foo<int> { // 特例化  
    void bar() {  
        // 特定类型的实现  
    }  
};

在上述代码中，首先定义了一个通用模板Foo，然后为Foo定义了一个特例化版本，专门用于处理类型int。

模板特例化主要用于以下几种情况：

1. 处理特定类型：有时候，通用模板对某些特定类型可能并不适用。例如，如果正在处理复杂的对象，并希望在特定的类型（如内置类型）上进行优化，那么特例化就非常有用。

2. 处理特定条件：有时候，可能希望在满足特定条件时进行特殊处理。例如，可能有一个模板函数，它在除法运算不可用的情况下如何进行除零检查。

3. 错误处理：如果希望在特定情况下抛出异常，那么可以使用特例化来做到这一点。例如，可以定义一个模板，它在除数为零时抛出一个特定的异常。

4. 更复杂的逻辑：有时候，需要实现一些更复杂的逻辑，这些逻辑无法通过简单的模板参数来处理。例如，可能需要处理不同类型的对象，并根据对象的特性执行不同的操作。在这种情况下，可以使用特例化来为不同类型的对象定义不同的模板实例。