1. 模板的右尖括號(hào)

在泛型編程中，模板實(shí)例化有一個(gè)非常繁瑣的地方，那就是連續(xù)的兩個(gè)右尖括號(hào)（>>）會(huì)被編譯器解析成右移操作符，而不是模板參數(shù)表的結(jié)束。我們先來(lái)看一段關(guān)于容器遍歷的代碼，在創(chuàng)建的類(lèi)模板 Base 中提供了遍歷容器的操作函數(shù) traversal():

// test.cpp
#include <iostream>
#include <vector>
using namespace std;

template <typename T>
class Base
{
public:
    void traversal(T& t)
    {
        auto it = t.begin();
        for (; it != t.end(); ++it)
        {
            cout << *it << " ";
        }
        cout << endl;
    }
};


int main()
{
    vector<int> v{ 1,2,3,4,5,6,7,8,9 };
    Base<vector<int>> b;
    b.traversal(v);

    return 0;
}

如果使用 C++98/03 標(biāo)準(zhǔn)來(lái)編譯上邊的這段代碼，就會(huì)得到如下的錯(cuò)誤提示：

test.cpp:25:20: error: '>>' should be '> >' within a nested template argument list
Base<vector<int>> b;

根據(jù)錯(cuò)誤提示中描述模板的兩個(gè)右尖括之間需要添加空格，這樣寫(xiě)起來(lái)就非常的麻煩，C++11改進(jìn)了編譯器的解析規(guī)則，盡可能地將多個(gè)右尖括號(hào)（>）解析成模板參數(shù)結(jié)束符，方便我們編寫(xiě)模板相關(guān)的代碼。

上面的這段代碼，在支持 C++11 的編譯器中編譯是沒(méi)有任何問(wèn)題的，如果使用 g++ 直接編譯需要加參數(shù) -std=c++11

2. 默認(rèn)模板參數(shù)

在 C++98/03 標(biāo)準(zhǔn)中，類(lèi)模板可以有默認(rèn)的模板參數(shù)：

#include <iostream>
using namespace std;

template <typename T = int, T t = 520>
class Test
{
public:
    void print()
    {
        cout << "current value: " << t << endl;
    }
};

int main()
{
    Test<> t;
    t.print();

    Test<int, 1024> t1;
    t1.print();

    return 0;
}

但是不支持函數(shù)的默認(rèn)模板參數(shù)，在C++11中添加了對(duì)函數(shù)模板默認(rèn)參數(shù)的支持:

#include <iostream>
using namespace std;

template <typename T = int, T t = 520>
class Test
{
public:
    void print()
    {
        cout << "current value: " << t << endl;
    }
};

int main()
{
    Test<> t;
    t.print();

    Test<int, 1024> t1;
    t1.print();

    return 0;
}

通過(guò)上面的例子可以得到如下結(jié)論：當(dāng)所有模板參數(shù)都有默認(rèn)參數(shù)時(shí)，函數(shù)模板的調(diào)用如同一個(gè)普通函數(shù)。但對(duì)于類(lèi)模板而言，哪怕所有參數(shù)都有默認(rèn)參數(shù)，在使用時(shí)也必須在模板名后跟隨 <> 來(lái)實(shí)例化。

另外：函數(shù)模板的默認(rèn)模板參數(shù)在使用規(guī)則上和其他的默認(rèn)參數(shù)也有一些不同，它沒(méi)有必須寫(xiě)在參數(shù)表最后的限制。這樣當(dāng)默認(rèn)模板參數(shù)和模板參數(shù)自動(dòng)推導(dǎo)結(jié)合起來(lái)時(shí)，書(shū)寫(xiě)就顯得非常靈活了。我們可以指定函數(shù)模板中的一部分模板參數(shù)使用默認(rèn)參數(shù)，另一部分使用自動(dòng)推導(dǎo)，比如下面的例子：

#include <iostream>
#include <string>
using namespace std;

template <typename R = int, typename N>
R func(N arg)
{
    return arg;
}

int main()
{
    auto ret1 = func(520);
    cout << "return value-1: " << ret1 << endl;

    auto ret2 = func<double>(52.134);
    cout << "return value-2: " << ret2 << endl;

    auto ret3 = func<int>(52.134);
    cout << "return value-3: " << ret3 << endl;

    auto ret4 = func<char, int>(100);
    cout << "return value-4: " << ret4 << endl;

    return 0;
}

測(cè)試代碼輸出的結(jié)果為:

return value-1: 520
return value-2: 52.134
return value-3: 52
return value-4: d

根據(jù)得到的日志輸出，分析一下示例代碼中調(diào)用的模板函數(shù)：

auto ret = func(520);
函數(shù)返回值類(lèi)型使用了默認(rèn)的模板參數(shù)，函數(shù)的參數(shù)類(lèi)型是自動(dòng)推導(dǎo)出來(lái)的為 int 類(lèi)型。
auto ret1 = func<double>(52.134);
函數(shù)的返回值指定為 double 類(lèi)型，函數(shù)參數(shù)是通過(guò)實(shí)參推導(dǎo)出來(lái)的，為 double 類(lèi)型
auto ret3 = func<int>(52.134);
函數(shù)的返回值指定為 int 類(lèi)型，函數(shù)參數(shù)是通過(guò)實(shí)參推導(dǎo)出來(lái)的，為 double 類(lèi)型
auto ret4 = func<char, int>(100);
函數(shù)的參數(shù)為指定為 int 類(lèi)型，函數(shù)返回值指定為 char 類(lèi)型，不需要推導(dǎo)
當(dāng)默認(rèn)模板參數(shù)和模板參數(shù)自動(dòng)推導(dǎo)同時(shí)使用時(shí)（優(yōu)先級(jí)從高到低）：

如果可以推導(dǎo)出參數(shù)類(lèi)型則使用推導(dǎo)出的類(lèi)型
如果函數(shù)模板無(wú)法推導(dǎo)出參數(shù)類(lèi)型，那么編譯器會(huì)使用默認(rèn)模板參數(shù)
如果無(wú)法推導(dǎo)出模板參數(shù)類(lèi)型并且沒(méi)有設(shè)置默認(rèn)模板參數(shù)，編譯器就會(huì)報(bào)錯(cuò)。
看一下下面的例子：

#include <iostream>
#include <string>
using namespace std;

// 函數(shù)模板定義
template <typename T, typename U = char>
void func(T arg1 = 100, U arg2 = 100)
{
    cout << "arg1: " << arg1 << ", arg2: " << arg2 << endl;
}

int main()
{
    // 模板函數(shù)調(diào)用
    func('a');
    func(97, 'a');
    // func(); //編譯報(bào)錯(cuò)
    return 0;
}

程序輸出的結(jié)果為:

arg1: a, arg2: d
arg1: 97, arg2: a

分析一下調(diào)用的模板函數(shù) func()：

func('a')：參數(shù) T 被自動(dòng)推導(dǎo)為 char 類(lèi)型，U 使用的默認(rèn)模板參數(shù)為 char 類(lèi)型
func(97, 'a');：參數(shù) T 被自動(dòng)推導(dǎo)為 int 類(lèi)型，U 使用推導(dǎo)出的類(lèi)型為 char
func();：參數(shù) T 沒(méi)有指定默認(rèn)模板類(lèi)型，并且無(wú)法自動(dòng)推導(dǎo)，編譯器會(huì)直接報(bào)錯(cuò)
模板參數(shù)類(lèi)型的自動(dòng)推導(dǎo)是根據(jù)模板函數(shù)調(diào)用時(shí)指定的實(shí)參進(jìn)行推斷的，沒(méi)有實(shí)參則無(wú)法推導(dǎo)
模板參數(shù)類(lèi)型的自動(dòng)推導(dǎo)不會(huì)參考函數(shù)模板中指定的默認(rèn)參數(shù)。

到此這篇關(guān)于詳解C++11中模板的優(yōu)化問(wèn)題的文章就介紹到這了,更多相關(guān)C++11模板優(yōu)化內(nèi)容請(qǐng)搜索腳本之家以前的文章或繼續(xù)瀏覽下面的相關(guān)文章希望大家以后多多支持腳本之家！

最新評(píng)論