diff options
-rw-r--r-- | src/operation.h | 36 | ||||
-rw-r--r-- | src/type.h | 25 | ||||
-rw-r--r-- | test.cc | 14 |
3 files changed, 75 insertions, 0 deletions
diff --git a/src/operation.h b/src/operation.h new file mode 100644 index 0000000..c906b55 --- /dev/null +++ b/src/operation.h @@ -0,0 +1,36 @@ +#ifndef TYPEASVALUE_SRC_OPERATION_H_ +#define TYPEASVALUE_SRC_OPERATION_H_ + +#include "type.h" + +namespace tav { + +template < + typename X, + typename Y +> +struct add { + static_assert( + equal_type<X, Y>::value, + "only values of the same type may be added" + ); + + typedef Int<X::value + Y::value> type; +}; + +template < + typename X, + typename Y +> +struct substract { + static_assert( + equal_type<X, Y>::value, + "only values of the same type may be substracted" + ); + + typedef Int<X::value - Y::value> type; +}; + +} + +#endif // TYPEASVALUE_SRC_OPERATION_H_ diff --git a/src/type.h b/src/type.h new file mode 100644 index 0000000..1149520 --- /dev/null +++ b/src/type.h @@ -0,0 +1,25 @@ +#ifndef TYPEASVALUE_SRC_TYPE_H_ +#define TYPEASVALUE_SRC_TYPE_H_ + +#include <type_traits> + +namespace tav { + +template <int Value> +using Int = typename std::integral_constant<int, Value>::type; + +template <bool Value> +using Boolean = typename std::integral_constant<bool, Value>::type; + +template < + typename X, + typename Y +> +using equal_type = typename std::integral_constant< + bool, + std::is_same<typename X::value_type, typename Y::value_type>::value +>::type; + +} + +#endif // TYPEASVALUE_SRC_TYPE_H_ @@ -1,5 +1,19 @@ #include "gtest/gtest.h" +#include "type.h" +#include "operation.h" + +class TypeAsValueTest : public ::testing::Test { }; + +TEST_F(TypeAsValueTest, Value) { + ASSERT_TRUE(( std::is_same<int, tav::Int<1>::value_type>::value )); +} + +TEST_F(TypeAsValueTest, BasicMath) { + EXPECT_EQ(3, ( tav::add<tav::Int<1>, tav::Int<2>>::type::value )); + EXPECT_EQ(4, ( tav::substract<tav::Int<10>, tav::Int<6>>::type::value )); +} + int main(int argc, char **argv) { testing::InitGoogleTest(&argc, argv); |