自动推导、函数模板、类模板

一、自动推导类型

auto作为类型指示符，指示编译器在编译时推导auto声明的变量的数据类型。

注意：

1. auto声明的变量必须在定义时初始化
2. 右值可以是具体的数值，也可以是表达式和函数的返回值等
3. auto不能作为函数的形参类型
4. auto不能直接声明数组
5. auto不能定义类的非静态成员变量

 二、函数模板

1. 定义和基本使用

函数模板是通用的函数描述，使用任意类型来描述函数。编译的时候，编译器推导实参的数据类型，根据实参的数据类型和函数模板，生成该类型的函数定义。

生成函数定义的过程被称为实例化。

template <typename T>
返回值 函数名(T &a, T &b, ...){

    函数体
}

T 是类型参数，代表类型。编译器由模板自动生成函数时，会用具体的类型名对模板中所有的类型参数进行替换，其他部分则原封不动地保留。同一个类型参数只能替换为同一种类型。编译器在编译到调用函数模板的语句时，会根据实参的类型判断该如何替换模板中的类型参数。

#include <iostream>
using namespace std;

template <typename T>
void Swap( T&a, T &b){
    T tmp=a;
    a=b;
    b=tmp;
}

int main(){
    int a=10, b=30;
    Swap(a, b);
    cout<<"a="<<a<<",b="<<b<<endl;
}

这里由于调用Swap时传入的是int类型，故T被推导为int类型。如果在调用时为Swap<string>(a, b);则是人为规定推导为string类型，不需要自动推导。

注意：

1. 函数模板可以为类的成员函数创建模板，但不能是虚函数和析构函数。
2. 使用函数模板时，必须明确数据类型，确保实参与函数模板能匹配上。
3. 使用函数模板时，推导的数据类型必须适应函数模板中的代码。
4. 使用函数模板时，如果是自动类型推导，不会发生隐式类型转换，如果显式制定了函数模板的数据类型，可以发生隐式类型转换。
5. 函数模板支持多个通用数据类型的参数。

#include <iostream>
using namespace std;

template <typename T>
void Swap(){ cout<<"调用了swap函数\n";}
int main(){
    Swap();
}
// 错误 没有明确数据类型 要用Swap<string>();调用
// 尖括号里是什么数据类型都可以 但一定要明确数据类型

 函数模板放在hpp文件中，普通函数和函数模板的具体化在hpp中声明，在cpp中定义。

2. 高级用法

#include <iostream>
using namespace std;

template <typename T1, typename T2>
void func(T1 x, T2 y){
    auto tmp=x+y;
    cout<<"tmp="<<tmp<<endl;
}

int main(){
    short a=5;
    int b=3;
    func(a, b);
}

 如果想在func中输出return x+y;那么func的返回值数据类型应该如何写呢 void还是int？都不是，是根据x和y的数据类型决定的

decltype关键字

decltype操作符，用于查询表达式的数据类型，但不会执行表达式

decltype(表达式) a;

函数后置返回类型

int func(int x, double y);

等同于 auto func(int x, double y) -> int

将返回类型移到函数声明的后面。那么一开始的问题就解决了

#include <iostream>
using namespace std;

template <typename T1, typename T2>
auto func(T1 x, T2 y) -> decltype(x+y)
{
    auto tmp=x+y;  // 或者用decltype(x+y) tmp=x+y;也可以
    cout<<"tmp="<<tmp<<endl;
    return tmp;
}

int main(){
    func(3, 5.8);
}

在C++14中可以直接使用auto确定函数返回值类型 不用->decltype(x+y)

三、类模板

template <class T>
class 类模板名{

    类定义
}

类模板是通用的类描述，使用任意类型来描述类。编译的时候，根据数据类型，编译器生成该类型的类定义。但类模板不能自动推导，只能显式指定。 

#include <iostream>
using namespace std;

template <class T1, class T2>
class AA{
public:
    T1 m_a;  // 通用类型用于成员变量
    T2 m_b;
    AA(){}
    // 通用类型用于成员变量的参数
    AA(T1 a, T2 b):m_a(a), m_b(b){}
    T1 geta(){
        T1 a=2;
        return m_a+a;
    }
    T2 getb(){
        T2 b=3;
        return m_b+b;
    }
};

int main(){
    AA<int, double> a;  // 用类模板AA创建对象a
    a.m_a=20;
    a.m_b=30;
    cout<<"a.geta()="<<a.geta()<<endl;
    cout<<"a.getb()="<<a.getb()<<endl;
}