Better testing, more clarification

[SVN r1702]

test/named_params_test.cpp

@@ -2,73 +2,120 @@
 // subject to the Boost Software License, Version 1.0. (See accompanying
 // file LICENSE-1.0 or http://www.boost.org/LICENSE-1.0)
 
-#include <iostream>
 #include <boost/named_params.hpp>
 #include <boost/type_traits/is_convertible.hpp>
 #include <cassert>
+#include <cstring>
 
-namespace test {
-
-using boost::keyword;
-using boost::keywords;
-   
-struct name_t : keyword<name_t>
+namespace test
 {
+
+  using boost::keyword;
+  using boost::keywords;
+   
+  struct name_t : keyword<name_t>
+  {
       // this should go in a wrapper type, like arg<keyword, predicate>
       typedef boost::is_convertible<boost::mpl::_1, const char*> predicate;
       using keyword<name_t>::operator=;
-} name;
+  } name;
 
-struct value_t : keyword<value_t>
-{
+  struct value_t : keyword<value_t>
+  {
       using keyword<value_t>::operator=;
-} value;
+  } value;
 
-struct index_t : keyword<index_t>
-{
+  struct index_t : keyword<index_t>
+  {
       using keyword<index_t>::operator=;
-} index;
+  } index;
 
-struct f_keywords // vc6 is happier with inheritance than with a typedef
+  struct tester_t : keyword<tester_t>
+  {
+      using keyword<tester_t>::operator=;
+  } tester;
+
+  struct f_keywords // vc6 is happier with inheritance than with a typedef
     : keywords<
-     name_t
+          tester_t
+        , name_t
         , value_t
         , index_t
       >
-{};
+  {};
 
-template<class Params>
-int f_impl(const Params& p)
-{
-   std::cout << "-------- f --------" << std::endl;
-   // name has no default
-   std::cout << "name = " << p[name] << std::endl;
-   std::cout << "value = " << p[value | 666.222] << std::endl;
-   std::cout << "index = " << p[index | 999] << std::endl;
+  template<class Params>
+  int f_impl(const Params& p)
+  {
+      p[tester](
+          p[name]
+        , p[value | 666.222]
+        , p[index | 999]
+      );
       return 1;
-}
+  }
 
-template<class Name, class Value, class Index>
-int f(const Name& name_, const Value& value_, const Index& index_,
-      typename f_keywords::restrict<Name, Value, Index>::type x = f_keywords())
-{
-   return f_impl(x(name_, value_, index_));
-}
+  template<class Tester, class Name, class Value, class Index>
+  int f(Tester const& t, const Name& name_, const Value& value_, const Index& index_,
+        typename f_keywords::restrict<Tester, Name, Value, Index>::type x = f_keywords())
+  {
+      return f_impl(x(t, name_, value_, index_));
+  }
 
-template<class Name, class Value>
-int f(const Name& name_, const Value& value_, 
-      typename f_keywords::restrict<Name, Value>::type x = f_keywords())
-{
-   return f_impl(x(name_, value_));
-}
+  template<class Tester, class Name, class Value>
+  int f(Tester const& t, const Name& name_, const Value& value_, 
+        typename f_keywords::restrict<Tester, Name, Value>::type x = f_keywords())
+  {
+      return f_impl(x(t, name_, value_));
+  }
 
-template<class Name>
-int f(const Name& name_, 
-      typename f_keywords::restrict<Name>::type x = f_keywords())
-{
-   return f_impl(x(name_));
-}
+  template<class Tester, class Name>
+  int f(Tester const& t, const Name& name_, 
+        typename f_keywords::restrict<Tester, Name>::type x = f_keywords())
+  {
+      return f_impl(x(t, name_));
+  }
 
+  template <class T>
+  bool equal(T const& x, T const& y)
+  {
+      return x == y;
+  }
+  
+  bool equal(char const* s1, char const* s2)
+  {
+      return !std::strcmp(s1,s2);
+  }
+  
+  template <class Name, class Value, class Index>
+  struct values_t
+  {
+      values_t(Name const& n, Value const& v, Index const& i)
+        : n(n), v(v), i(i)
+      {}
+      
+      template <class Name_, class Value_, class Index_>
+      void operator()(Name_ const& n_, Value_ const& v_, Index_ const& i_) const
+      {
+          BOOST_STATIC_ASSERT((boost::is_same<Name,Name_>::value));
+          assert(equal(n, n_));
+          BOOST_STATIC_ASSERT((boost::is_same<Value,Value_>::value));
+          assert(equal(v, v_));
+          BOOST_STATIC_ASSERT((boost::is_same<Index,Index_>::value));
+          assert(equal(i, i_));
+      }
+      
+      Name const& n;
+      Value const& v;
+      Index const& i;
+  };
+
+  template <class Name, class Value, class Index>
+  values_t<Name,Value,Index>
+  values(Name const& n, Value const& v, Index const& i)
+  {
+      return values_t<Name,Value,Index>(n,v,i);
+  }
 }
 
 struct Foo { operator const char*() const { return "foo"; } };
@@ -78,13 +125,22 @@ int main()
    using test::name;
    using test::value;
    using test::index;
+   using test::tester;
 
-   f("foo", "bar", "baz");
+   f(
+       test::values("foo", "bar", "baz")
+     , "foo", "bar", "baz"
+   );
+   
+   f(
+       test::values("foo", 666.222, 56)
 #if BOOST_MSVC == 1200  // sadly templated operator= just doesn't work.
-   f(index(56), name("foo"));
+     , index(56), name("foo")
 #else 
-   f(index = 56, name = Foo());
+     , index = 56, name = "foo"
 #endif
+   );
+   
    //f(index = 56, name = 55); // won't compile
    return 0;
 }