使從上游

Question

區別值的模板功能，我想有一個模板功能contains其中有兩個可能的定義，取決於第二式：

template <typename ElementType, typename CollectionType> 
bool contains(const CollectionType & collection, ElementType element) 
{ 
    return collection.end() != std::find(collection.begin(), collection.end(), element); 
} 

和

template <typename CollectionType, typename PredicateType> 
bool contains(const CollectionType & collection, PredicateType predicate) 
{ 
    return collection.end() != std::find_if(collection.begin(), collection.end(), predicate); 
} 

標準庫經常使用_if來區分謂詞和算法的價值版本 - 例如find和find_if。

理想情況下，我希望編譯器找出使用哪一個。畢竟，上面兩個模板是用於非常不同的用途 - ElementType和PredicateType的類型是非常不同的域。

有沒有一種很好的方法通過模板shenanigans來完成這個工作？或者我堅持爲上面的函數找到兩個不同的名字？

Answer 1

如果你的容器發揮不錯，並定義成員value_type S，那麼你可以做的「元素」超載更爲具體：如果容器定義begin/end功能

template <typename C> 
bool contains(C const & collection, typename C::value_type const & element); 

template <typename C, typename P> 
bool contains(C const & collection, P predicate); 

更神祕的方法可能會被檢查，並推導這些元素的類型。一般來說，確定給定類型是否是容器是相當棘手的...