摘要: 給定任意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í)的效率開銷。
閱讀全文