这是一个c++热爱者的博客哟

在C++17之前，使用类模板时需要显式指定模板实参。以下是使用Stack<>// 创建 int 类型的栈// 创建 std::string 类型的栈// 操作 int 类型的栈// 输出: 7// 操作 std::string 类型的栈// 输出: hello通过声明Stack<int>和，我们分别创建了存储int和类型元素的栈。只有在调用成员函数时，这些函数才会根据具体类型进行实例化。实例化后的类模板类型可以像其他类型一样使用，可以通过const或volatile。

虽然auto关键字自C++98标准以来就已经存在，用于声明自动变量，但C++11为其赋予了新的意义：根据初始化表达式自动推断变量类型，或作为函数返回值类型的占位符。auto i = 5;// 推断为int// 推断为const char*} // 返回类型后置，使用auto作为占位符重要的是，当编译器无法推导出类型时，使用auto会导致编译失败。多变量声明：使用单个auto关键字声明多个变量时，编译器会依据最左边的初始化表达式来推导autoint n = 5;如果尝试将不同类型的值赋给同一。

当调用一个函数时，编译器需要根据传递的参数类型和其他因素从多个候选者中选择最合适的版本。通过理解这些原则和示例，您可以更好地掌握如何有效地重载函数模板，并避免常见的陷阱。该示例展示了非模板函数可以与同名的函数模板共存，并且可以用相同的类型进行实例化。：如果模板函数以引用方式传递参数，并且存在以值传递的重载版本，则可能导致悬空引用问题。：如果没有精确匹配的非模板函数，编译器会尝试通过模板推导来找到最适合的模板函数。：如果存在一个非模板函数能够精确匹配传入的参数类型，则优先选择该函数。

考虑一个场景，需要根据不同的输入参数类型动态确定函数的返回类型。通过使用模板默认参数，我们可以简化这个过程，并提供一种自然的方式来处理不同类型间的转换。方法一：使用条件运算符a : b;这段代码利用了条件运算符来推断两个参数类型的共同类型，并且通过确保返回类型不是引用类型。然而，这种方法要求T1和T2必须具有无参数构造函数，这在实际应用中可能并不总是可行的。方法二：利用另一种更通用的方法是直接使用a : b;

作为返回类型并且不使用尾置返回类型（trailing return type）意味着真实返回类型必须从函数体中的返回语句中推断。之前的讨论已经提到：模板实参推断（template argument deduction）使得调用函数模板和普通函数可以具有一样的语法形式，不需要显式指定模板参数的类型。如果将一个参数类型作为返回类型，另一个调用参数可能会转化为返回值类型，不管调用者是否有该意图。此处，使用了类型特性（type traits）并返回其成员类型（member type），它定义在标准库中的。

你提到的情况确实是一个常见的问题：在C++中，类型推断不适用于默认调用参数。这意味着如果你希望函数模板能够通过默认参数来实例化，你需要为模板参数提供一个默认类型。为了使函数模板能够在没有显式参数的情况下被调用，你可以为模板参数提供一个默认类型。这样，当没有提供实际参数时，编译器可以使用默认类型进行实例化。这个默认值与默认模板参数一起工作，确保在没有任何参数传递给函数时，函数仍然可以正确地实例化和调用。当你定义一个带有默认调用参数的函数模板时，如果仅使用默认参数进行调用，则编译器无法推断出模板参数的类型。

CTAD（Class Template Argument Deduction，类模板参数推导）是 C++17 引入的重要特性，允许编译器根据构造函数参数自动推导类模板参数类型。该特性通过用户自定义推导指引（User-defined Deduction Guides）实现模板参数类型的智能推导。template<模板参数列表>ClassName(构造函数参数类型列表) -> 目标模板实例化类型;// 用户自定义推导指引。

类型推断指的是编译器根据函数调用时提供的参数自动确定模板参数的类型。这种机制允许我们编写更简洁和通用的代码，而无需显式地指定所有类型。然而，有时理解编译器是如何进行类型推断的可能并不直观，尤其是在处理引用、指针和常量等复杂情况时。你可以定义一个模板函数，该函数接受一个类型为的参数。这允许你传递一个由花括号{}// 打印类型信息。

完美匹配 (1)：参数类型与函数参数类型完全相同，或者参数是左值引用且指向相同类型的对象。匹配需要微调 (2)：数组变量衰减为指针，或添加const限定符以匹配参数类型。类型提升匹配 (3)：小整型和浮点型的自动提升。标准转换匹配 (4)：标准转换或派生类到基类的转换。用户定义的转换匹配 (5)：通过构造函数或转换运算符进行的转换。省略号匹配 (6)：省略号参数可以匹配多种类型，但对于某些类型可能有限制。

在C++中，模板是一种强大的机制，它允许你编写泛型代码，即可以处理多种数据类型的代码。通过使用模板，你可以编写灵活且可重用的函数和类，而不需要为每种数据类型都重复相同的逻辑。在C++17之前，模板参数类型`T`通常需要满足可复制的要求，这是因为模板中的函数如果返回`T`类型的值，那么这个值就需要能够被复制。但是，有时候我们可能想要使用不可复制的类型作为模板参数，例如`std::unique_ptr`这样的独占所有权智能指针。为了支持不可复制类型的使用，C++17引入了结构化绑定和`std::optio

可变参数模板是一种可以接受任意数量模板参数的模板。折叠表达式是一种用来处理可变数量参数（比如模板参数包）的方式。它能帮你把这些参数运算组合在一起。op代表运算符：下列 32 个二元运算符之一：+ - * / % ^ & | = < > > += -=->*。在二元折叠中，两个运算符必须相同。pack代表参数包：含有未展开的形参包且在顶层不含优先级低于转型（正式而言，是 转型表达式）的运算符的表达式。

cout

与前几章的栈实现不同，这里可以通过使用固定大小的元素数组来实现栈。好的解决方案是让堆栈的用户指定数组的大小，作为 堆栈的最大容量。此外，还会展示非类型函数模板参数的示例，并讨论了这种技术的限制。这个类提供了一个简单而有效的方式去实现一个带有固定最大容量的栈，充分使用了 C++ 的模板和断言特性来进行类型安全的编程以及运行时检查。接受任意类型的非类型参数，还可以传递字符串作为常量数组（甚至可以是静态的局部声明）。通过这个类的声明，当我们在使用堆栈时，元素数量的类型取决于模板参数的类型定义。

声明类模板类似于声明函数模板。在定义具体内容之前，需要先声明一个或多个作为模板类型参数的标识符。通常，这个标识符用 表示：在这里，可以用关键字 代替 ：在类模板内部， 可以像普通类型一样用于声明成员变量和成员函数。在这个例子中， 被用于声明 中元素的类型，用于声明成员函数 的参数类型，也被用于成员函数 的返回类型：这个类的类型是 ，其中 是模板参数。在声明时，除非可以推断出模板参数的类型，否则必须使用 （ 后面必须跟着 ）。不过，如果在类模板内部使用 而不是 ，则表示这个内部类的模板参数