Boost.Hana: boost::hana::is_default< Method, typename > Struct Template Reference . Boost , ,

Boost.Hana 1.0.1

Your standard library for metaprogramming

Возвращает, является ли реализация метода, распределенного по тегу, реализацией по умолчанию.

При реализации метода с меткой method_impl is_default> возвращается, является ли method_impl реализацией по умолчанию. Обратите внимание, что если для метода нет реализации по умолчанию, то is_default не следует использовать, если не приемлемо статическое утверждение о том, что «метод не реализован».

Example

// Copyright Louis Dionne 2013-2016
// 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/assert.hpp>
#include <boost/hana/core/default.hpp>
#include <boost/hana/core/tag_of.hpp>
#include <algorithm>
#include <iterator>
#include <sstream>
#include <vector>
namespace hana = boost::hana;
// In the header defining the concept of a Printable
template <typename T>
struct print_impl : hana::default_ {
    template <typename Stream, typename X>
    static void apply(Stream& out, X const& x)
    { out << x; }
};
auto print = [](auto& stream, auto const& x) {
    return print_impl<hana::tag_of_t<decltype(x)>>::apply(stream, x);
};
// In some other header
template <typename T>
struct print_impl<std::vector<T>> {
    template <typename Stream>
    static void apply(Stream& out, std::vector<T> const& xs) {
        out << '[';
        std::copy(begin(xs), end(xs), std::ostream_iterator<T>{out, ", "});
        out << ']';
    }
};
static_assert(hana::is_default<print_impl<int>>{}, "");
static_assert(!hana::is_default<print_impl<std::vector<int>>>{}, "");
int main() {
    {
        std::stringstream s;
        print(s, std::vector<int>{1, 2, 3});
        BOOST_HANA_RUNTIME_CHECK(s.str() == "[1, 2, 3, ]");
    }
    {
        std::stringstream s;
        print(s, "abcd");
        BOOST_HANA_RUNTIME_CHECK(s.str() == "abcd");
    }
}

Наследие типа false_type.

Статья Boost.Hana: boost::hana::is_default< Method, typename > Struct Template Reference раздела может быть полезна для разработчиков на c++ и boost.

Материалы статей собраны из открытых источников, владелец сайта не претендует на авторство. Там где авторство установить не удалось, материал подаётся без имени автора. В случае если Вы считаете, что Ваши права нарушены, пожалуйста, свяжитесь с владельцем сайта.

:: Главная :: ::

Время компиляции файла: 2024-08-30 08:47:00
2025-12-14 05:10:19/0.015588998794556/0