New

include/tao/seq/max.hpp

@@ -0,0 +1,26 @@
+// The Art of C++ / Sequences
+// Copyright (c) 2015 Daniel Frey
+
+#ifndef TAOCPP_SEQUENCES_INCLUDE_MAX_HPP
+#define TAOCPP_SEQUENCES_INCLUDE_MAX_HPP
+
+#include "fold.hpp"
+
+#include <type_traits>
+
+namespace tao
+{
+  namespace seq
+  {
+    namespace impl
+    {
+      template< typename T, T A, T B >
+      using max = std::integral_constant< T, ( ( A > B ) ? A : B ) >;
+    }
+
+    template< typename T, T... Ns >
+    using max = fold< impl::max, T, Ns... >;
+  }
+}
+
+#endif // TAOCPP_SEQUENCES_INCLUDE_MAX_HPP

include/tao/seq/min.hpp

@@ -0,0 +1,26 @@
+// The Art of C++ / Sequences
+// Copyright (c) 2015 Daniel Frey
+
+#ifndef TAOCPP_SEQUENCES_INCLUDE_MIN_HPP
+#define TAOCPP_SEQUENCES_INCLUDE_MIN_HPP
+
+#include "fold.hpp"
+
+#include <type_traits>
+
+namespace tao
+{
+  namespace seq
+  {
+    namespace impl
+    {
+      template< typename T, T A, T B >
+      using min = std::integral_constant< T, ( ( A < B ) ? A : B ) >;
+    }
+
+    template< typename T, T... Ns >
+    using min = fold< impl::min, T, Ns... >;
+  }
+}
+
+#endif // TAOCPP_SEQUENCES_INCLUDE_MIN_HPP

src/test/seq/max.cpp

@@ -0,0 +1,21 @@
+// The Art of C++ / Sequences
+// Copyright (c) 2015 Daniel Frey
+
+#include <tao/seq/max.hpp>
+
+#include <type_traits>
+
+int main()
+{
+  using namespace tao::seq;
+
+  static_assert( max< int, 1 >::value == 1, "oops" );
+  static_assert( max< int, 1, 0 >::value == 1, "oops" );
+  static_assert( max< int, 0, 1 >::value == 1, "oops" );
+  static_assert( max< int, 1, -1 >::value == 1, "oops" );
+  static_assert( max< int, -1, 1 >::value == 1, "oops" );
+  static_assert( max< int, -1, 1, 2 >::value == 2, "oops" );
+  static_assert( max< int, -1, 2, 1 >::value == 2, "oops" );
+  static_assert( max< int, 2, -1, 1 >::value == 2, "oops" );
+  static_assert( max< int, 0, 1, 2, -1, 1, 0, -1, 1 >::value == 2, "oops" );
+}

src/test/seq/min.cpp

@@ -0,0 +1,21 @@
+// The Art of C++ / Sequences
+// Copyright (c) 2015 Daniel Frey
+
+#include <tao/seq/min.hpp>
+
+#include <type_traits>
+
+int main()
+{
+  using namespace tao::seq;
+
+  static_assert( min< int, 1 >::value == 1, "oops" );
+  static_assert( min< int, 1, 0 >::value == 0, "oops" );
+  static_assert( min< int, 0, 1 >::value == 0, "oops" );
+  static_assert( min< int, 1, -1 >::value == -1, "oops" );
+  static_assert( min< int, -1, 1 >::value == -1, "oops" );
+  static_assert( min< int, -1, 1, 2 >::value == -1, "oops" );
+  static_assert( min< int, -1, 2, 1 >::value == -1, "oops" );
+  static_assert( min< int, 2, -1, 1 >::value == -1, "oops" );
+  static_assert( min< int, 0, 1, 2, -1, 1, 0, -1, 1 >::value == -1, "oops" );
+}