C++进阶之模板参数推导：用法实例(三百三十)

简介： CSDN博客专家、《Android系统多媒体进阶实战》一书作者

新书发布：《Android系统多媒体进阶实战》🚀
优质专栏： Audio工程师进阶系列【原创干货持续更新中……】🚀
优质专栏： 多媒体系统工程师系列【原创干货持续更新中……】🚀
优质视频课程：AAOS车载系统+AOSP14系统攻城狮入门视频实战课 🚀

人生格言： 人生从来没有捷径，只有行动才是治疗恐惧和懒惰的唯一良药.

🌻1.前言

本篇目的：C++进阶之模板参数推导：用法实例

🌻2. C++进阶之模板参数推导介绍

1. 基本概念
   模板参数推导是C++中的一种机制，它允许编译器根据函数模板调用时传入的实参自动推导出模板的参数类型。通过模板参数推导，开发者无需显式地指定模板参数类型，编译器根据传入参数的类型自动进行匹配。这一特性使得模板的使用更加简便和灵活，减少了冗余代码的编写。

2. 推导规则
   模板参数推导遵循一定的规则，编译器会根据函数调用时传入的实参类型与模板参数类型的匹配情况来决定模板参数的类型。通常情况下，模板的参数类型是通过传入参数的类型推导出来的。推导的过程会在编译时完成，并且推导出的类型必须与模板的定义保持一致，否则编译器会发出错误信息。

3. 自动推导与显式指定
   在大多数情况下，编译器会自动推导模板参数的类型，开发者无需手动指定模板类型。但是，如果编译器无法推导出模板参数，开发者可以显式地指定类型参数。显式指定模板参数通常用于复杂的函数模板或在自动推导失败时提供额外的类型信息。

4. 推导优先级
   在进行模板参数推导时，编译器会遵循一定的优先级规则。首先，编译器会尝试通过参数类型与模板参数进行匹配，如果匹配成功，模板参数将被推导出来。如果出现多个匹配选项，编译器会根据最精确匹配的规则来选择最合适的类型。如果推导失败，编译器将报告类型不匹配的错误。

5. 推导过程中的约束
   模板参数推导的过程中，编译器会应用一些约束条件。首先，模板参数类型必须与传入参数的类型兼容。其次，在某些情况下，模板参数可能需要满足特定的条件，如需要支持某些操作或类型特性。编译器会检查传入参数是否符合这些约束条件，如果不符合，推导将失败。

6. 模板参数推导的局限性
   尽管模板参数推导在大多数情况下非常有用，但它也存在一些局限性。例如，推导过程不能处理所有类型的复杂情况，如多个类型参数的推导、非类型模板参数的推导等。对于这些复杂情况，开发者可能需要显式地提供模板参数或使用偏特化等技术来解决。

7. 推导与函数重载的关系
   模板参数推导与函数重载密切相关。在函数重载的情况下，编译器会根据传入参数的类型选择适当的重载版本。如果函数模板与其他重载版本存在冲突，编译器会根据模板参数推导的优先级来决定选择哪一个版本。这使得模板函数能够与普通的非模板函数一起使用，而不会导致歧义。

🌻3. 代码实例

🐓3.1 函数模板的参数推导

• 1.应用场景：在调用模板函数时，编译器根据传递给函数的实参类型来推导模板类型参数，避免手动指定类型，提高代码的简洁性和可读性。
  适用于 函数模板，当需要根据传入的参数类型自动推导出模板类型。
• 2.通用语法：

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

• 3.用法实例

#include <iostream>
using namespace std;

template <typename T>
void print(T value) {
    cout << value << endl;
}

int main() {
    print(10);        // 推导 T 为 int
    print(3.14);      // 推导 T 为 double
    print("Hello");   // 推导 T 为 const char*

    return 0;
}

在调用 print 函数时，编译器会根据传递给 value 的实参类型自动推导出模板类型参数 T。
对于 print(10)，T 被推导为 int；对于 print(3.14)，T 被推导为 double；对于 print(“Hello”)，T 被推导为 const char*。
模板参数推导 使得模板函数可以更加灵活，不需要显式地指定类型。

🐓3.2 类模板的参数推导

• 1.应用场景：类模板也支持 模板参数推导，尤其是在创建类实例时，编译器可以根据提供的构造函数实参自动推导类模板的类型参数。
  适用于 类模板，使得创建对象时不需要显式地指定模板类型，编译器会根据构造函数的参数推导出类型。
• 2.通用语法：

template <typename T>
class MyClass {
public:
    T value;
    MyClass(T val) : value(val) {}
};

• 3.用法实例

#include <iostream>
using namespace std;

template <typename T>
class Box {
public:
    T item;
    Box(T val) : item(val) {}
};

int main() {
    Box box1(10);        // 推导 T 为 int
    Box box2(3.14);      // 推导 T 为 double
    Box box3("Hello");   // 推导 T 为 const char*

    cout << box1.item << endl; // 输出：10
    cout << box2.item << endl; // 输出：3.14
    cout << box3.item << endl; // 输出：Hello

    return 0;
}

在 Box 类模板实例化时，编译器会根据构造函数传递的实参来推导模板类型 T。
对于 Box box1(10)，T 被推导为 int；对于 Box box2(3.14)，T 被推导为 double；对于 Box box3(“Hello”)，T 被推导为 const char*。
类模板的参数推导使得模板更加灵活，避免手动指定类型。

🐓3.3 模板函数与类模板结合的参数推导

• 1.应用场景：在 模板函数 和 类模板 结合使用时，编译器可以根据传递给模板函数的实参来推导类模板的类型参数。
  适用于函数和类的混合模板应用，编译器会根据函数参数的类型推导出类模板的类型，简化模板的使用。
• 2.通用语法：

template <typename T>
class MyClass { ... };

template <typename T>
void func(MyClass<T> obj);

• 3.用法实例

#include <iostream>
using namespace std;

template <typename T>
class Box {
public:
    T value;
    Box(T val) : value(val) {}
};

template <typename T>
void printBox(Box<T> box) {
    cout << box.value << endl;
}

int main() {
    Box<int> box1(10);
    Box<double> box2(3.14);

    printBox(box1);  // 推导 T 为 int
    printBox(box2);  // 推导 T 为 double

    return 0;
}

printBox 函数模板根据传递的 Box 类型参数自动推导模板参数 T。
在 printBox(box1) 调用中，T 被推导为 int；在 printBox(box2) 调用中，T 被推导为 double。
模板函数与类模板结合使用时，模板参数推导能够使得代码更加简洁，减少手动类型指定的需要。

🐓3.4 用法总结