From a8bec66b05eece7b8a39102fb1b0ba8f778eb9fe Mon Sep 17 00:00:00 2001 From: Adrian Kummerlaender Date: Thu, 19 Feb 2015 13:45:07 +0100 Subject: Reimplemented `Find` in terms of `ListIndex` * `ListIndex` already implements the necessary partial template specializations for finding elements matching a predicate * reimplemented `Cond` using `detail::find_variadic` as `Find` depends on `Apply` which in turn depends on `Cond` ** it is useful if core functionality such as the branched conditional `Cond` do not require higher order functionality such as `Find` *** otherwise one can not use core functionality in the implementation of higher order functionality * introduced `utility::predicate_guard` helper template ** checks a given value using a predicate and only forwards the value to the guarded function if this check is successful ** if check is unsuccessful it returns a surrogate value simmilar to `utility::predicate_assurance` --- src/list/detail/find_variadic.h | 40 ++++++++++++++++++++++++++++++++++++++++ 1 file changed, 40 insertions(+) create mode 100644 src/list/detail/find_variadic.h (limited to 'src/list/detail/find_variadic.h') diff --git a/src/list/detail/find_variadic.h b/src/list/detail/find_variadic.h new file mode 100644 index 0000000..824f385 --- /dev/null +++ b/src/list/detail/find_variadic.h @@ -0,0 +1,40 @@ +#ifndef TYPEASVALUE_SRC_LIST_DETAIL_FIND_VARIADIC_H_ +#define TYPEASVALUE_SRC_LIST_DETAIL_FIND_VARIADIC_H_ + +#include "type.h" +#include "conditional/if.h" + +namespace tav { + +namespace detail { + +template < + template class Predicate, + typename Head, + typename... Tail +> +struct find_variadic { + typedef If< + Eval>, + Head, + Eval> + > type; +}; + +template < + template class Predicate, + typename Last +> +struct find_variadic { + typedef If< + Eval>, + Last, + void + > type; +}; + +} + +} + +#endif // TYPEASVALUE_SRC_LIST_DETAIL_FIND_VARIADIC_H_ -- cgit v1.2.3