大家都知道,return 用來在函數(shù)里返回,有兩種形式:一是 直接用return; 或者省略,表示無返回值。二是 return expression; 返回一個值。
今天測試時我發(fā)現(xiàn)兩種以前沒注意的方式,也是正確的。
<1>.






<2>.






這兩種特性在某些情況下,是很有用的。比如,我要寫一個函數(shù)模板,以 任意的模板參數(shù)類型 T 為返回值。















所以即使對于 返回值 為 void 的情況,F(xiàn)uncD<void>(); 也是適用的。
如果編譯器不支持這種特性。那么當(dāng)我們就得針對void返回類型進(jìn)行特化,或者函數(shù)重載,示例代碼如下:






































發(fā)現(xiàn)這種方式后,為我省了很多事,原來為了識別一個模板參數(shù)是否為void,我模擬stl 搞了個 templeate <typename T> Return_Type_Trait {},然后利用類模板的特化來專門定義一些類型,以到達(dá)識別返回類型的目的。現(xiàn)在看來,都是多余的。可以使用這個特性來實現(xiàn)。