速寫c++范性
template<typename/class T>聲明下一個(gè)域存在范型
Q:范型/模版,意味著什么?
A: 類模版意味著類實(shí)體將生成、函數(shù)模版意味著將發(fā)生類型推導(dǎo)和實(shí)體生成
Q:template<class T>
void f(T&&)為什么可以接受任何類型的實(shí)參?不應(yīng)該只接受右值嗎?
A:當(dāng)發(fā)生類型推導(dǎo)時(shí),以上式f(arg)為例:
arg = 左值/左值引用 則 T = T& ,而 T& && = T&
arg = 右值/右值引用 則 T = T,故仍為T&&
總之就是,實(shí)參為左,形參為左值引用、實(shí)參為右、形參為右值引用(但不要忘了右值引用也是左值哦)
我們編寫模版時(shí)希望T被推導(dǎo)為引用類型,因?yàn)橐脦缀蹩偸潜瓤截惛咝?/p>
Q:remove_reference<T>是什么操作?
A:是type_traits頭文件里面一些模版,它們幫助我們獲得一些編譯期的信息
Q:為什么要使用右值引用作為模版參數(shù)呢?
A:為了實(shí)現(xiàn)完美轉(zhuǎn)發(fā)
Q:擴(kuò)展參數(shù)包中的...是啥?
A:就是擴(kuò)展符