CPPUNIT_ASSERT_EQUAL性病收藏

Question

我知道我可以在std::vector<>專門assertion_traits：

namespace CPPUNIT_NS 
{ 
    template <class T> struct assertion_traits<std::vector<T>> 
    { 
     inline static bool equal(const std::vector<T>& left, const std::vector<T>& right) 
     { 
      return std::equal(left.begin(), left.end(), right.begin(), assertion_traits<std::vector<T>>::equal); 
     } 

     inline static string toString(const std::vector<T>& vector) 
// etc... 

但是，如果我想CPPUNIT_ASSERT_EQUAL上unordered_set，我要再寫assertion_traits。我怎樣才能寫出一個assertion_traits，它可以用迭代器處理所有事情？

我猜我需要類似Boosts的範圍概念？

Answer 1

什麼

template <template <typename ...> class C, typename ... T> 
struct assertion_traits<C<T...>> 
{ 
    inline static bool equal(C<T...> const & left, C<T...> const & right) 
    { 
     return std::equal(left.begin(), left.end(), right.begin(), 
         assertion_traits<decltype(*(left.begin()))>::equal); 
    } 
}; 

？

不適用於「帶迭代器的所有東西」（例如：不適用於std::array，因爲有一個不是類型的模板參數），但應攔截很多它們。

一個大問題是，可以攔截沒有迭代器的容器;我建議你遵循W.C.的例子。基於typer的解決方案可以攔截std::array並避免誤報。

無論如何，一個完整的工作示例

#include <vector> 
#include <algorithm> 

template <typename T> 
struct assertion_traits 
{ 
    inline static bool equal (T const & left, T const & right) 
    { return left == right; } 
}; 

template <template <typename ...> class C, typename ... T> 
struct assertion_traits<C<T...>> 
{ 
    inline static bool equal(C<T...> const & left, C<T...> const & right) 
    { 
     return std::equal(left.begin(), left.end(), right.begin(), 
         assertion_traits<decltype(*(left.begin()))>::equal); 
    } 
}; 


int main() 
{ 
    std::vector<int> v1; 

    assertion_traits<std::vector<int>>::equal(v1, v1); 
} 

Answer 2

您可以使用別名模板，將SFINAE出類型，而包含傳遞給您的專業如迭代器類型：

#include <vector> 
#include <array> 

template <class> 
struct without_iterator { }; 

template <class T> 
struct X { 
    static constexpr bool value = false; 
}; 

template <class T, class...> 
using typer = T; 

template <class T> 
struct X<typer<T, typename T::iterator>> { 
    static constexpr bool value = true; 
}; 

int main() { 
    static_assert(X<std::vector<int>>::value, "!"); 
    static_assert(X<std::array<int, 4>>::value, "!"); 
    static_assert(!X<without_iterator<int>>::value, "!"); 
    static_assert(!X<int>::value, "!"); 
} 

其中X是你的CPPUNIT_NS::assertion_traits

[live demo]

將它應用到您的解決方案：

template <class T, class...> 
using typer = T; 

namespace CPPUNIT_NS 
{ 
    template <class T> struct assertion_traits<typer<T, typename T::iterator>> 
    { 
     inline static bool equal(const T& left, const T& right) 
     { 
      return std::equal(left.begin(), left.end(), right.begin(), assertion_traits<decltype(*(left.begin()))>::equal); 
     } 

     inline static string toString(const T& vector) 
// etc... 

如果你想你也可以測試開始結束所有腦幹，使您的T肯定接口如預期。如果你願意，甚至可以使用test if T comes from std namespace（至少在某些有限的範圍內）。

編輯：

更安全的辦法是堅持：

template <template <class...> class V, class... Ts> 
struct X<typer<V<Ts...>, typename V<Ts...>::iterator>> { 
    static constexpr bool value = true; 
}; 

即使它不能應用於std::array爲使用struct X<typer<T, typename T::iterator>>可能不是由編譯器爲一體的專業化可以看出X模板，但重新定義X（example）...