當(dāng)你有一個可以包含各種不同類型的統(tǒng)一緩沖區(qū)時泪姨,在一定程度上游沿,模版是非常有用的,比如對圖像的渲染和材質(zhì)系統(tǒng)驴娃。
手動做一些事情奏候,自己寫代碼,實際上會讓你和你的團隊受益更多唇敞,
我們也遇到過這樣的情況蔗草,我們不得不坐下來,花3個小時來弄清楚哪些代碼已經(jīng)被編譯了疆柔。
如果你的模版非常非常復(fù)雜咒精,你開始讓它為你生成一個完整的元語言。
這就是模版旷档,編譯器為你寫代碼模叙,基于你給它的規(guī)則,基于函數(shù)或類的使用鞋屈,或類似的東西范咨。
編譯器在編譯時實際在進(jìn)行編程,
這兒有點像是在 C++ 的 meta programming (元組)
這很酷厂庇,我們在這創(chuàng)建的Array 與標(biāo)準(zhǔn)數(shù)組類在C++標(biāo)準(zhǔn)模版庫中的工作方式非常類似渠啊。
我創(chuàng)建的是一個可以自動創(chuàng)建的類。
因為這是一個棧分配的數(shù)組权旷,所以在編譯時就必須知道它替蛉。
我希望能夠在編譯時指定這個數(shù)組實際包含的類型。
template <typename T, int n>
我需要指定int 作為數(shù)組類型拄氯, 5作為數(shù)組大小躲查。
大量的C++模板庫同樣完全使用了模板,
模版絕不僅僅局限于類型或者任何東西
MSVC編譯器不會對你不使用的模版錯誤進(jìn)行報錯译柏,但是一些編譯器镣煮,比如Clang,會報錯鄙麦。
只有當(dāng)它基于模板的使用情況典唇,發(fā)送到編譯器邮弹,進(jìn)行編譯后,才會具體化為真正的代碼蚓聘。
這是因為模板只有在它被調(diào)用時 才會被創(chuàng)建腌乡。
因為模板并不是實際存在的。
因為cout 可以接受任何基本類型或者c++內(nèi)置的類型 也就是我正在使用的類型夜牡。
我可以指定特定的參數(shù)与纽,這個參數(shù)決定了 放入到模版中的實際代碼,這些就決定了我實際如何使用這個函數(shù)塘装。
模版有點像宏急迂,比泛型和那些托管語言強大,然而泛型卻非常受制于類型系統(tǒng)蹦肴。