mirror of
https://github.com/aantron/better-enums.git
synced 2025-12-08 01:36:44 +08:00
196 lines
6.6 KiB
C++
196 lines
6.6 KiB
C++
#include <stdexcept>
|
|
#include <type_traits>
|
|
#include <cxxtest/TestSuite.h>
|
|
#include <enum.h>
|
|
|
|
#define static_assert_1(e) static_assert(e, #e)
|
|
|
|
|
|
|
|
ENUM(Channel, short, Red, Green, Blue)
|
|
ENUM(Depth, short, HighColor = 40, TrueColor = 20)
|
|
ENUM(Compression, short, None, Huffman, Default = Huffman)
|
|
|
|
|
|
|
|
// Type properties.
|
|
static_assert_1(std::is_class<Channel>());
|
|
static_assert_1(std::is_trivial<Channel>());
|
|
static_assert_1(std::is_standard_layout<Channel>());
|
|
static_assert_1(std::is_pod<Channel>());
|
|
static_assert_1(std::is_literal_type<Channel>());
|
|
|
|
|
|
|
|
// Member type properties and identities.
|
|
static_assert_1(std::is_integral<Channel::_integral>());
|
|
static_assert_1(std::is_enum<Channel::_enumerated>());
|
|
|
|
static_assert_1((std::is_same<short, Channel::_integral>()));
|
|
static_assert_1((std::is_same<
|
|
short, std::underlying_type<Channel::_enumerated>::type>()));
|
|
|
|
static_assert_1(!(std::is_same<int, Channel::_integral>()));
|
|
static_assert_1(!(std::is_same<
|
|
int, std::underlying_type<Channel::_enumerated>::type>()));
|
|
|
|
static_assert_1(sizeof(Channel) == sizeof(short));
|
|
static_assert_1(alignof(Channel) == alignof(short));
|
|
|
|
static_assert_1((std::is_same<decltype(Channel::Red), Channel::_enumerated>()));
|
|
|
|
|
|
|
|
// Supported constructors.
|
|
static_assert_1(!std::is_default_constructible<Channel>());
|
|
|
|
#ifdef __clang__
|
|
static_assert_1(std::is_trivially_copyable<Channel>());
|
|
#endif
|
|
|
|
static_assert_1((std::is_constructible<Channel, Channel::_enumerated>()));
|
|
static_assert_1(!(std::is_constructible<Channel, Channel::_integral>()));
|
|
static_assert_1(!(std::is_constructible<Channel, Depth>()));
|
|
|
|
|
|
|
|
// Intended implicit conversions.
|
|
static_assert_1((std::is_convertible<Channel::_enumerated, Channel>()));
|
|
|
|
// Regrettable implicit conversions.
|
|
static_assert_1((std::is_convertible<decltype(Channel::Red),
|
|
Channel::_integral>()));
|
|
|
|
// Disallowed implicit conversions.
|
|
static_assert_1(!(std::is_convertible<Channel::_integral, Channel>()));
|
|
static_assert_1(!(std::is_convertible<Channel, Channel::_integral>()));
|
|
static_assert_1(!(std::is_convertible<Depth, Channel>()));
|
|
static_assert_1(!(std::is_convertible<Channel, Depth>()));
|
|
static_assert_1(!(std::is_convertible<Channel, Channel::_enumerated>()));
|
|
static_assert_1(!(std::is_convertible<decltype(+Channel::Red),
|
|
Channel::_integral>()));
|
|
static_assert_1(!(std::is_convertible<decltype(Channel::_values()[0]),
|
|
Channel::_integral>()));
|
|
|
|
|
|
|
|
// Constant values.
|
|
static_assert_1((+Channel::Red)._to_integral() == 0);
|
|
static_assert_1((+Channel::Green)._to_integral() == 1);
|
|
static_assert_1((+Channel::Blue)._to_integral() == 2);
|
|
static_assert_1((+Depth::HighColor)._to_integral() == 40);
|
|
static_assert_1((+Depth::TrueColor)._to_integral() == 20);
|
|
|
|
|
|
|
|
// Integral conversions.
|
|
static_assert_1(Channel::_from_integral(1) == Channel::Green);
|
|
static_assert_1(Channel::_from_integral(1) != Channel::Blue);
|
|
static_assert_1(Channel::_from_integral_unchecked(1) == Channel::Green);
|
|
static_assert_1(Channel::_from_integral_unchecked(1) != Channel::Blue);
|
|
|
|
static_assert_1(Channel::_is_valid((Channel::_integral)0));
|
|
static_assert_1(Channel::_is_valid(1));
|
|
static_assert_1(Channel::_is_valid(2));
|
|
static_assert_1(!Channel::_is_valid(3));
|
|
|
|
|
|
|
|
// String conversions.
|
|
static_assert_1(Channel::_from_string("Green") == Channel::Green);
|
|
static_assert_1(Channel::_from_string("Green") != Channel::Blue);
|
|
static_assert_1(Channel::_from_string("Blue") == Channel::Blue);
|
|
static_assert_1(Channel::_from_string("Blue") != Channel::Green);
|
|
|
|
static_assert_1(Channel::_from_string_nocase("green") == Channel::Green);
|
|
static_assert_1(Channel::_from_string_nocase("green") != Channel::Blue);
|
|
static_assert_1(Channel::_from_string_nocase("blue") == Channel::Blue);
|
|
static_assert_1(Channel::_from_string_nocase("blue") != Channel::Green);
|
|
|
|
static_assert_1(Channel::_is_valid("Green"));
|
|
static_assert_1(!Channel::_is_valid("green"));
|
|
static_assert_1(Channel::_is_valid_nocase("green"));
|
|
static_assert_1(!Channel::_is_valid_nocase("greeen"));
|
|
|
|
|
|
|
|
// Iterables.
|
|
static_assert_1(Channel::_size == 3);
|
|
static_assert_1(Depth::_size == 2);
|
|
static_assert_1(Channel::_values().size() == Channel::_size);
|
|
static_assert_1(*Channel::_values().begin() == Channel::Red);
|
|
static_assert_1(*(Channel::_values().begin() + 1) == Channel::Green);
|
|
static_assert_1(*(Channel::_values().begin() + 2) == Channel::Blue);
|
|
static_assert_1(Channel::_values()[1] == Channel::Green);
|
|
static_assert_1(Channel::_values()[2] == Channel::Blue);
|
|
|
|
|
|
|
|
// Aliases.
|
|
static_assert_1(Compression::Default == Compression::Huffman);
|
|
|
|
|
|
|
|
// Run-time testing.
|
|
class EnumTests : public CxxTest::TestSuite {
|
|
public:
|
|
void test_bad_integral_conversions()
|
|
{
|
|
TS_ASSERT_THROWS(Channel::_from_integral(3), std::runtime_error);
|
|
TS_ASSERT_THROWS_NOTHING(Channel::_from_integral_unchecked(3));
|
|
}
|
|
|
|
void test_string_conversions()
|
|
{
|
|
TS_ASSERT_EQUALS(strcmp((+Channel::Green)._to_string(), "Green"), 0);
|
|
TS_ASSERT_EQUALS(strcmp((+Depth::HighColor)._to_string(),
|
|
"HighColor"), 0);
|
|
|
|
TS_ASSERT_THROWS(Channel::_from_string("green"), std::runtime_error);
|
|
TS_ASSERT_THROWS(Channel::_from_string_nocase("a"), std::runtime_error);
|
|
}
|
|
|
|
void test_value_iterable()
|
|
{
|
|
auto value_iterator = Channel::_values().begin();
|
|
TS_ASSERT_EQUALS(*value_iterator, Channel::Red);
|
|
TS_ASSERT_DIFFERS(value_iterator, Channel::_values().end());
|
|
|
|
++value_iterator;
|
|
TS_ASSERT_EQUALS(*value_iterator, Channel::Green);
|
|
TS_ASSERT_DIFFERS(value_iterator, Channel::_values().end());
|
|
|
|
++value_iterator;
|
|
TS_ASSERT_EQUALS(*value_iterator, Channel::Blue);
|
|
TS_ASSERT_DIFFERS(value_iterator, Channel::_values().end());
|
|
|
|
++value_iterator;
|
|
TS_ASSERT_EQUALS(value_iterator, Channel::_values().end());
|
|
}
|
|
|
|
void test_name_iterable()
|
|
{
|
|
auto name_iterator = Channel::_names().begin();
|
|
TS_ASSERT_EQUALS(strcmp(*name_iterator, "Red"), 0);
|
|
TS_ASSERT_DIFFERS(name_iterator, Channel::_names().end());
|
|
|
|
++name_iterator;
|
|
TS_ASSERT_EQUALS(strcmp(*name_iterator, "Green"), 0);
|
|
TS_ASSERT_DIFFERS(name_iterator, Channel::_names().end());
|
|
|
|
++name_iterator;
|
|
TS_ASSERT_EQUALS(strcmp(*name_iterator, "Blue"), 0);
|
|
TS_ASSERT_DIFFERS(name_iterator, Channel::_names().end());
|
|
|
|
++name_iterator;
|
|
TS_ASSERT_EQUALS(name_iterator, Channel::_names().end());
|
|
}
|
|
|
|
void test_type_name()
|
|
{
|
|
TS_ASSERT_EQUALS(strcmp(Channel::_name(), "Channel"), 0);
|
|
TS_ASSERT_EQUALS(strcmp(Depth::_name(), "Depth"), 0);
|
|
TS_ASSERT_EQUALS(strcmp(Compression::_name(), "Compression"), 0);
|
|
}
|
|
};
|