Add rsl::Type

include/rsl/type.hpp

@@ -0,0 +1,25 @@
+#pragma once
+
+namespace rsl {
+
+/** @file */
+
+/**
+ * @brief Class template for creating strong type aliases
+ *
+ * @tparam T value type
+ * @tparam Tag Tag type to diambiguate separate type aliases
+ */
+template <typename T, typename Tag>
+class Type {
+    T value_;
+
+   public:
+    using ValueType = T;
+
+    explicit Type(const T& value) : value_(value) {}
+    [[nodiscard]] T& get() { return value_; }
+    [[nodiscard]] const T& get() const { return value_; }
+};
+
+}  // namespace rsl

tests/CMakeLists.txt

@@ -13,7 +13,8 @@ add_executable(test-rsl
     random.cpp
     static_string.cpp
     static_vector.cpp
-    try.cpp)
+    try.cpp
+    type.cpp)
 target_link_libraries(test-rsl PRIVATE
     rsl::rsl
     Catch2::Catch2WithMain

tests/type.cpp

@@ -0,0 +1,19 @@
+#include <rsl/type.hpp>
+
+#include <catch2/catch_test_macros.hpp>
+
+TEST_CASE("rsl::Type") {
+    using StrongInt = rsl::Type<int, struct StrongIntTag>;
+    static_assert(std::is_same_v<StrongInt::ValueType, int>);
+
+    SECTION("Construction") {
+        auto const strong_int = StrongInt(42);
+        CHECK(strong_int.get() == 42);
+    }
+
+    SECTION("get()") {
+        auto strong_int = StrongInt(1337);
+        strong_int.get() = 100;
+        CHECK(strong_int.get() == 100);
+    }
+}