✨ add is_same trait

include/zll/meta/is_same.hpp

@@ -0,0 +1,18 @@
+#ifndef ZLL_META_ISSAME_HPP
+#define ZLL_META_ISSAME_HPP
+
+#include "zll/meta/integral_constant.hpp"
+
+namespace zll {
+namespace meta {
+
+template <typename T, typename U>
+struct is_same : false_type {};
+
+template <typename T>
+struct is_same<T, T> : true_type {};
+
+}  // namespace meta
+}  // namespace zll
+
+#endif  // ZLL_META_ISSAME_HPP

include/zll/type_traits.hpp

@@ -0,0 +1,6 @@
+#ifndef ZLL_TYPETRAITS_HPP
+#define ZLL_TYPETRAITS_HPP
+
+#include "zll/meta/is_same.hpp"
+
+#endif // ZLL_TYPETRAITS_HPP

tests/unit_tests/meson.build

@@ -1,6 +1,7 @@
 
 unit_tests_srcs = [
     'meta/integral_constant_tests.cpp',
+    'meta/is_same_tests.cpp',
     'main.cpp',
 ]
 

tests/unit_tests/meta/is_same_tests.cpp

@@ -0,0 +1,24 @@
+#include "zll/meta/is_same.hpp"
+
+#include <utest.h>
+
+struct test_dummy {};
+struct test_child : test_dummy {};
+
+UTEST(meta_is_same, compare_same) {
+    ASSERT_TRUE((zll::meta::is_same<int, int>::value));
+    ASSERT_TRUE((zll::meta::is_same<char, char>::value));
+    ASSERT_TRUE((zll::meta::is_same<test_dummy, test_dummy>::value));
+    ASSERT_TRUE((zll::meta::is_same<test_child, test_child>::value));
+    ASSERT_TRUE((zll::meta::is_same<test_dummy&, test_dummy&>::value));
+    ASSERT_TRUE((zll::meta::is_same<test_child&, test_child&>::value));
+}
+
+UTEST(meta_is_same, compare_not_same) {
+    ASSERT_FALSE((zll::meta::is_same<int, char>::value));
+    ASSERT_FALSE((zll::meta::is_same<char, short>::value));
+    ASSERT_FALSE((zll::meta::is_same<test_dummy, test_child>::value));
+    ASSERT_FALSE((zll::meta::is_same<test_child, int>::value));
+    ASSERT_FALSE((zll::meta::is_same<test_dummy, test_dummy&>::value));
+    ASSERT_FALSE((zll::meta::is_same<test_dummy*, test_child*>::value));
+}