libk/type_traits/test.cc


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

#include <type_traits.h>
#include <types.h>

// is_same
static_assert(is_same<int, int>() == true);
static_assert(is_same<int, unsigned int>() == false);

// is_unsigned
static_assert(is_unsigned<uint8_t>() == true);
static_assert(is_unsigned<uint16_t>() == true);
static_assert(is_unsigned<uint32_t>() == true);
static_assert(is_unsigned<uint64_t>() == true);

static_assert(is_unsigned<int8_t>() == false);
static_assert(is_unsigned<int16_t>() == false);
static_assert(is_unsigned<int32_t>() == false);
static_assert(is_unsigned<int64_t>() == false);