摘要: 給定任意2個(gè)類型U和T,你如何來(lái)確定U是否繼承于T呢?在編譯時(shí)發(fā)現(xiàn)兩個(gè)類型的這種關(guān)系對(duì)于泛型庫(kù)的優(yōu)化是極為重要的。在泛型函數(shù)中,如果某個(gè)類實(shí)現(xiàn)了特定的接口,你可以根據(jù)這種關(guān)系為其利用特定的優(yōu)化算法。另外,如果我們可以在編譯期決定2個(gè)類的關(guān)系,我們也可以遠(yuǎn)離dynamic_cast,從而避免運(yùn)行時(shí)的效率開銷。
閱讀全文