C++函数模板的实参推断是指在调用函数模板时，根据函数实参的类型确定模板参数的具体类型。C++编译器通过实参来推断模板参数的类型，从而实例化出对应的函数。

函数模板的实参推断主要有以下几种方式：

1. 显式指定模板参数类型：可以通过在调用函数模板时显式地指定模板参数的类型，从而进行实参推断。例如：

template <typename T>  
void foo(T val) {  
    // do something  
}  
int main() {  
    foo<int>(5);  
    return 0;  
}  

在上面的例子中，调用了 foo(5) 来显式指定模板参数的类型为 int。

2. 隐式推断模板参数类型：如果函数模板的参数类型能够从函数实参中推断出来，那么就可以省略显式指定模板参数类型的过程。例如：

template <typename T>  
void foo(T val) {  
    // do something  
}  
int main() {  
    foo(5);  // 模板参数类型会被推断为 int  
    return 0;  
}  

在上面的例子中，调用了 foo(5) 来隐式推断模板参数类型为 int。

3. 使用模板函数的返回值推断模板参数类型：如果函数模板的参数类型不能从函数实参中推断出来，可以通过使用模板函数的返回值推断模板参数类型。例如：

template <typename T>  
T add(T a, T b) {  
    return a + b;  
}  
int main() {  
    auto sum = add(5, 10);  // 模板参数类型会被推断为 int  
    return 0;  
}  

在上面的例子中，使用了 auto sum = add(5, 10) 来推断模板参数类型为 int。

需要注意的是，函数模板的实参推断只在编译期进行，也就是说在运行时是无法推断实参的类型的。因此，在调用函数模板时，需要确保函数实参的类型足够能够推断出模板参数的具体类型。如果推断失败，编译器将会报错。