match_boost.hpp

Go to the documentation of this file.

//
// Copyright (C) 2014, 2015 Ableton AG, Berlin. All rights reserved.
//
// Permission is hereby granted, free of charge, to any person obtaining a
// copy of this software and associated documentation files (the "Software"),
// to deal in the Software without restriction, including without limitation
// the rights to use, copy, modify, merge, publish, distribute, sublicense,
// and/or sell copies of the Software, and to permit persons to whom the
// Software is furnished to do so, subject to the following conditions:
//
// The above copyright notice and this permission notice shall be included in
// all copies or substantial portions of the Software.
//
// THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
// IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
// FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL
// THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
// LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING
// FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER
// DEALINGS IN THE SOFTWARE.
//

#pragma once

#include <atria/variant/variant_types_boost.hpp>
#include <atria/variant/visitor.hpp>

#include <ableton/build_system/Warnings.hpp>
ABL_DISABLE_WARNINGS
#include <boost/variant/apply_visitor.hpp>
ABL_RESTORE_WARNINGS
#include <utility>

namespace atria {
namespace variant {

namespace detail {

template <typename T>
struct is_boost_variant : std::is_base_of<
  meta::unpack<boost::variant, variant_types_t<estd::decay_t<T> > >,
  estd::decay_t<T> >
{};

} // namespace detail

template <typename VariantT, typename ...FnTs>
auto match(VariantT& variant, FnTs&& ...fns)
  -> estd::enable_if_t<
  detail::is_boost_variant<estd::decay_t<VariantT> >{},
    visitor_result_of_t<
      detail::visitor_impl<FnTs...>,
      variant_types_t<VariantT&> > >
{
  auto visit = visitor_for<VariantT&>(std::forward<FnTs>(fns)...);
  return boost::apply_visitor(visit, variant);
}

template <typename VariantT, typename ...FnTs>
auto match(const VariantT& variant, FnTs&& ...fns)
  -> estd::enable_if_t<
  detail::is_boost_variant<estd::decay_t<VariantT> >{},
    visitor_result_of_t<
      detail::visitor_impl<FnTs...>,
      variant_types_t<const VariantT&> > >
{
  auto visit = visitor_for<const VariantT&>(std::forward<FnTs>(fns)...);
  return boost::apply_visitor(visit, variant);
}

} // namespace variant
} // namespace atria