diff options
Diffstat (limited to 'src/boost/libs/hana/test/if_/non_copyable.cpp')
-rw-r--r-- | src/boost/libs/hana/test/if_/non_copyable.cpp | 53 |
1 files changed, 53 insertions, 0 deletions
diff --git a/src/boost/libs/hana/test/if_/non_copyable.cpp b/src/boost/libs/hana/test/if_/non_copyable.cpp new file mode 100644 index 000000000..0de09ee42 --- /dev/null +++ b/src/boost/libs/hana/test/if_/non_copyable.cpp @@ -0,0 +1,53 @@ +// Copyright Louis Dionne 2013-2017 +// Distributed under the Boost Software License, Version 1.0. +// (See accompanying file LICENSE.md or copy at http://boost.org/LICENSE_1_0.txt) + +#include <boost/hana/bool.hpp> +#include <boost/hana/eval_if.hpp> +#include <boost/hana/fwd/not.hpp> +#include <boost/hana/fwd/while.hpp> +#include <boost/hana/if.hpp> +namespace hana = boost::hana; + + +// This test makes sure that if_ can be used with non-copyable branches. + +template <bool Value> +struct Boolean { }; + +namespace boost { namespace hana { + template <bool Value> + struct while_impl<Boolean<Value>> { + // Not implemented + }; + + template <bool Value> + struct not_impl<Boolean<Value>> { + // Not implemented + }; + + template <bool Value> + struct eval_if_impl<Boolean<Value>> { + template <typename Cond, typename Then, typename Else> + static constexpr decltype(auto) apply(Cond const&, Then&& t, Else&& e) { + return hana::eval_if(hana::bool_c<Value>, static_cast<Then&&>(t), + static_cast<Else&&>(e)); + } + }; +}} + +template <int v> +struct NonCopyable { + static constexpr int value = v; + NonCopyable() = default; + NonCopyable(NonCopyable const&) = delete; + NonCopyable(NonCopyable&&) = default; + + NonCopyable& operator=(NonCopyable const&) = delete; + NonCopyable& operator=(NonCopyable&&) = default; +}; + +static_assert(hana::if_(Boolean<true>{}, NonCopyable<3>{}, NonCopyable<4>{}).value == 3, ""); +static_assert(hana::if_(Boolean<false>{}, NonCopyable<3>{}, NonCopyable<4>{}).value == 4, ""); + +int main() { } |