mirror of
https://github.com/boostorg/hana.git
synced 2026-01-22 17:22:30 +00:00
98 lines
2.6 KiB
C++
98 lines
2.6 KiB
C++
/*
|
|
@copyright Louis Dionne 2014
|
|
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/models.hpp>
|
|
#include <boost/hana/detail/constexpr.hpp>
|
|
#include <boost/hana/integral_constant.hpp>
|
|
#include <boost/hana/maybe.hpp>
|
|
#include <boost/hana/string.hpp>
|
|
using namespace boost::hana;
|
|
|
|
|
|
int main() {
|
|
{
|
|
//! [BOOST_HANA_STRING]
|
|
BOOST_HANA_CONSTEXPR_LAMBDA auto str = BOOST_HANA_STRING("abcdef");
|
|
BOOST_HANA_CONSTANT_CHECK(is_a<String>(str));
|
|
//! [BOOST_HANA_STRING]
|
|
}
|
|
|
|
{
|
|
//! [string]
|
|
constexpr auto str = string<'a', 'b', 'c', 'd', 'e', 'f'>;
|
|
BOOST_HANA_CONSTANT_CHECK(is_a<String>(str));
|
|
//! [string]
|
|
}
|
|
|
|
//! [comparable]
|
|
BOOST_HANA_CONSTANT_CHECK(
|
|
BOOST_HANA_STRING("abcdef") == BOOST_HANA_STRING("abcdef")
|
|
);
|
|
|
|
BOOST_HANA_CONSTANT_CHECK(
|
|
BOOST_HANA_STRING("abcdef") != BOOST_HANA_STRING("abef")
|
|
);
|
|
//! [comparable]
|
|
|
|
|
|
//! [orderable]
|
|
BOOST_HANA_CONSTANT_CHECK(
|
|
BOOST_HANA_STRING("abc") < BOOST_HANA_STRING("bcd")
|
|
);
|
|
|
|
BOOST_HANA_CONSTANT_CHECK(
|
|
BOOST_HANA_STRING("abcd") > BOOST_HANA_STRING("abc")
|
|
);
|
|
//! [orderable]
|
|
|
|
|
|
//! [constant]
|
|
/* not constexpr */ auto abcdef = BOOST_HANA_STRING("abcdef");
|
|
constexpr char const* s = value(abcdef);
|
|
static_assert(s[2] == 'c', "");
|
|
//! [constant]
|
|
|
|
|
|
//! [foldable]
|
|
auto sum_string = [](auto str) {
|
|
return foldl(str, int_<0>, [](auto sum, auto c) {
|
|
constexpr int i = value(c) - 48; // convert character to decimal
|
|
return sum + int_<i>;
|
|
});
|
|
};
|
|
|
|
BOOST_HANA_CONSTANT_CHECK(
|
|
sum_string(BOOST_HANA_STRING("1234")) == int_<1 + 2 + 3 + 4>
|
|
);
|
|
//! [foldable]
|
|
|
|
|
|
//! [iterable]
|
|
BOOST_HANA_CONSTANT_CHECK(!is_empty(BOOST_HANA_STRING("abcd")));
|
|
BOOST_HANA_CONSTANT_CHECK(is_empty(BOOST_HANA_STRING("")));
|
|
|
|
BOOST_HANA_CONSTANT_CHECK(BOOST_HANA_STRING("abcd")[int_<2>] == char_<'c'>);
|
|
|
|
auto is_vowel = [](auto c) {
|
|
return c ^in^ BOOST_HANA_STRING("aeiouy");
|
|
};
|
|
BOOST_HANA_CONSTANT_CHECK(
|
|
drop_while(BOOST_HANA_STRING("aioubcd"), is_vowel) == BOOST_HANA_STRING("bcd")
|
|
);
|
|
//! [iterable]
|
|
|
|
|
|
//! [searchable]
|
|
BOOST_HANA_CONSTANT_CHECK(char_<'c'> ^in^ BOOST_HANA_STRING("abcde"));
|
|
BOOST_HANA_CONSTANT_CHECK(!(char_<'z'> ^in^ BOOST_HANA_STRING("abcde")));
|
|
|
|
BOOST_HANA_CONSTANT_CHECK(
|
|
lookup(BOOST_HANA_STRING("abcxefg"), char_<'x'>) == just(char_<'x'>)
|
|
);
|
|
//! [searchable]
|
|
}
|