【ModernCpp】新特性之CTAD代碼示例

最近在閱讀C++ Templates 2nd，發(fā)現(xiàn)有些很有意思的新特性，今天，借助本文，分享給大家。

從一個例子入手

首先，我們看如下例子：

template
classAdd{
public:
Add(Tfirst,Tsecond):first_{first},second_{second}{}
Tresult()const{returnfirst+second;}
private:
Tfirst_;
Tsecond_;
};

這個例子很簡單，聲明一個模板類Add，接收類型為T的構(gòu)造函數(shù)Add，以及一個返回operator+結(jié)果的result()函數(shù)。

在c++17之前，如果我們要使用Add類，往往必須像如下這么做：

intmain(){
Addti(1,2);
return0;
}

即在實例化對象ot的時候必須指明類型int。

自C++17起引入了新的特性Class Template Argument Deduction，簡稱為CTAD，即類模板參數(shù)推導(dǎo)，那么就可以像如下這樣實例化ADD類：

intmain(){
Addti(1,2);//T被推導(dǎo)為int
Addtd{1.245,3.1415};//T被推導(dǎo)為double
Addtf={0.24f,0.34f};//T被推到位float
return0;
}

用例

上面的例子，我們已經(jīng)體會到了CTAD帶來的好處(代碼間接)，下面結(jié)合在項目中的用的例子更進一步的來說明CTAD。

相比我們都知道std::lock_guard類，其主要用了實現(xiàn)RAII功能，尤其在多線程環(huán)境中用的最多，如下：

std::mutexm;
std::recursive_timed_mutexrm;

voidfun1(){
std::lock_guardlg{m};
//dosth
}

voidfun2(){
std::lock_guardlg{rm};
//dosth
}

在C++17，我們往往得像上面這樣寫，即需要顯式指定lock_guard的類型。但是，自C++17起，可以像如下這樣寫：

std::mutexm;
std::recursive_timed_mutexrm;

voidfun1(){
std::lock_guardlg{m};
//dosth
}

voidfun2(){
std::lock_guardlg{rm};
//dosth
}

顯然，代碼更加簡潔統(tǒng)一。

限制

雖然CTAD用起來很方便，但是相對于不使用CTAD特性，有時候CTAD會存在一些問題，即編譯器推導(dǎo)的類型并不是我們所預(yù)期的，仍然使用第一節(jié)中的例子：

intmain(){
Addts("hello,","world!
");
autoret=ts.result();

return0;
}

在編譯階段，會報如下錯誤：

error:invalidoperandsoftypes'constchar*const'and'constchar*const'tobinary'operator+'
Tresult()const{returnfirst_+second_;}

即編譯器會將"hello "和"world! "推導(dǎo)成為const charconst，而c++的char是不支持operator+操作的，這就導(dǎo)致了上面的編譯錯誤。

此時，我們可以使用C++17之前的實例方法即顯示指明類型，如下：

intmain(){
Addts("hello,","world!
");
autoret=ts.result();

return0;
}

如果這樣做的話，多少有點失去了CTAD的好處，為了解決這種類似的問題，C++17支持顯示類型推導(dǎo)，即添加代碼：

Add(constchar*,constchar*)->Add;

需要注意的是，這一行類型推導(dǎo)需要加在類聲明之后，這樣編譯器在遇到參數(shù)為const cha*的時候，會自動將其推導(dǎo)為std::string.

這樣，我們的例子最后如下：

Add(constchar*,constchar*)->Add;
intmain(){
Addts("hello","world!
");
ts.result();
}

以上~~

審核編輯：黃飛