C++primer学习:类模板(1):函数模板,模板参数,实例化

模板是范型编程的基础

[练习]:定义一个通用的函数模板,对两个元素进行比较.

在定义模板的时候对模板实参的要求越少越好,比如这个函数里面就只要求定义了<符号

函数参数一定要是const引用,这样有两个好处,第一避免拷贝,第二可以避免实参是不可以拷贝类型时发生错误.

template <typename T> 
int compare(const T& a, const T& b)
{
    return (a < b) ? -1 : (b < a ? 1 : 0);
}

int main()
{
    auto p = compare(2, 1);
    vector<int> vec1{ 1, 2, 3 }, vec2{4,5,6};
    p = compare(vec2, vec1);
    return 0;
}

[练习]定义一个类似于标准库find算法的函数模板.

template <typename IteratorT,typename valueT>
IteratorT search(const IteratorT& beg,const IteratorT& end, const valueT& value)
{
    auto it = beg;
    while (it != end&&*it != value){ ++it; }
    return it;
}
int main()
{
    vector<int> a{ 1, 2, 3 };
    list<int>b{ 4, 5, 6 };
    auto res = search(a.begin(), a.end(), 7);
    auto    ans = search(b.begin(), b.end(), 6);
    return 0;
}

[练习]定义print函数,打印任意大小和元素的数组。

注意:这个定义很简洁有效,在用整形数组实例化的时候Arr 成为int [10]，用容器初始化就变成vector<int>。

template <typename Arr>
void print(const Arr& arr)
{
    for (auto& elem : arr)
        cout << elem << endl;
}
/*************定义成这样就只能接受数组*********************/
/*template <typename T,size_t N> void print2(const T(&arr)[N]) { for (auto& elem : arr) cout << elem << endl; }*/
int main()
{
    int a[10]{1,2,3,45,6};
    string p[] = { "pezy", "pyb", "hhh" };
    vector<int> vec{ 12, 3, 4 };
    print(p);
    print(vec);
    return 0;
}