diff options
| author | Adrian Kummerlaender | 2015-01-16 22:08:09 +0100 |
|---|---|---|
| committer | Adrian Kummerlaender | 2015-01-16 22:08:09 +0100 |
| commit | 01029e59e8eda0a160291c3c92f9db5b1cac54d3 (patch) | |
| tree | 68aa6f35c44b7aa6b3e69e4c72047515826a02e2 | |
| parent | 5ead1bfab50ef7b3f746f298c53788c833f03ce4 (diff) | |
| download | TypeAsValue-01029e59e8eda0a160291c3c92f9db5b1cac54d3.tar TypeAsValue-01029e59e8eda0a160291c3c92f9db5b1cac54d3.tar.gz TypeAsValue-01029e59e8eda0a160291c3c92f9db5b1cac54d3.tar.bz2 TypeAsValue-01029e59e8eda0a160291c3c92f9db5b1cac54d3.tar.lz TypeAsValue-01029e59e8eda0a160291c3c92f9db5b1cac54d3.tar.xz TypeAsValue-01029e59e8eda0a160291c3c92f9db5b1cac54d3.tar.zst TypeAsValue-01029e59e8eda0a160291c3c92f9db5b1cac54d3.zip | |
Implemented basic `Cons` value type and `List` constructor
* `Cons` is a straigth forward type _pair_ containing `car` and `cdr` typedefs
** they may be accessed using `Car` and `Cdr` helper template aliases
** there is no enforcement of _Cons_ structure and type equality whatsoever
*** i.e. similar to Scheme and different from how it is implemented in _ConstList_
* `List` is a recursive variadic helper template for constructing `Cons` value types
** simplifies _Cons_ construction and may be expanded to offer type deduction and built upon to enforce type equality
* added appropriate test cases
| -rw-r--r-- | src/list/cons.h | 23 | ||||
| -rw-r--r-- | src/list/list.h | 26 | ||||
| -rw-r--r-- | test.cc | 24 |
3 files changed, 69 insertions, 4 deletions
diff --git a/src/list/cons.h b/src/list/cons.h new file mode 100644 index 0000000..b858c4c --- /dev/null +++ b/src/list/cons.h @@ -0,0 +1,23 @@ +#ifndef TYPEASVALUE_SRC_LIST_CONS_H_ +#define TYPEASVALUE_SRC_LIST_CONS_H_ + +namespace tav { + +template < + typename CAR, + typename CDR +> +struct Cons { + typedef CAR car; + typedef CDR cdr; +}; + +template <typename Cons> +using Car = typename Cons::car; + +template <typename Cons> +using Cdr = typename Cons::cdr; + +} + +#endif // TYPEASVALUE_SRC_LIST_CONS_H_ diff --git a/src/list/list.h b/src/list/list.h new file mode 100644 index 0000000..47d0d2f --- /dev/null +++ b/src/list/list.h @@ -0,0 +1,26 @@ +#ifndef TYPEASVALUE_SRC_LIST_LIST_H_ +#define TYPEASVALUE_SRC_LIST_LIST_H_ + +#include "cons.h" + +namespace tav { + +template < + typename Head, + typename... Tail +> +struct List { + typedef Cons< + Head, + typename List<Tail...>::type + > type; +}; + +template <typename Head> +struct List<Head> { + typedef Cons<Head, void> type; +}; + +} + +#endif // TYPEASVALUE_SRC_LIST_LIST_H_ @@ -3,6 +3,8 @@ #include "type.h" #include "operation/math.h" #include "conditional/if.h" +#include "list/cons.h" +#include "list/list.h" class TypeAsValueTest : public ::testing::Test { }; @@ -11,10 +13,10 @@ TEST_F(TypeAsValueTest, Value) { } TEST_F(TypeAsValueTest, BasicMath) { - EXPECT_EQ(3, ( tav::add<tav::Int<1>, tav::Int<2>>::value )); - EXPECT_EQ(4, ( tav::substract<tav::Int<10>, tav::Int<6>>::value )); - EXPECT_EQ(42, ( tav::multiply<tav::Int<2>, tav::Int<21>>::value )); - EXPECT_EQ(5, ( tav::divide<tav::Int<10>, tav::Int<2>>::value )); + EXPECT_EQ(3, ( tav::Add<tav::Int<1>, tav::Int<2>>::value )); + EXPECT_EQ(4, ( tav::Substract<tav::Int<10>, tav::Int<6>>::value )); + EXPECT_EQ(42, ( tav::Multiply<tav::Int<2>, tav::Int<21>>::value )); + EXPECT_EQ(5, ( tav::Divide<tav::Int<10>, tav::Int<2>>::value )); } TEST_F(TypeAsValueTest, Conditional) { @@ -22,6 +24,20 @@ TEST_F(TypeAsValueTest, Conditional) { EXPECT_EQ(2, ( tav::If<false, tav::Int<1>, tav::Int<2>>::value )); } +TEST_F(TypeAsValueTest, Cons) { + EXPECT_EQ(1, ( tav::Car<tav::Cons<tav::Int<1>, void>>::value )); + EXPECT_EQ(1, ( tav::Car<tav::Cons<tav::Int<1>, tav::Int<2>>>::value )); + EXPECT_EQ(2, ( tav::Cdr<tav::Cons<tav::Int<1>, tav::Int<2>>>::value )); + EXPECT_EQ(2, ( tav::Car<tav::Cdr<tav::Cons<tav::Int<1>, tav::Cons<tav::Int<2>, tav::Int<3>>>>>::value )); +} + +TEST_F(TypeAsValueTest, List) { + EXPECT_EQ(1, ( tav::Car<tav::List<tav::Int<1>>::type>::value )); + EXPECT_EQ(1, ( tav::Car<tav::List<tav::Int<1>, tav::Int<2>>::type>::value )); + EXPECT_EQ(2, ( tav::Car<tav::Cdr<tav::List<tav::Int<1>, tav::Int<2>>::type>>::value )); + EXPECT_EQ(2, ( tav::Car<tav::Cdr<tav::List<tav::Int<1>, tav::Int<2>, tav::Int<3>>::type>>::value )); +} + int main(int argc, char **argv) { testing::InitGoogleTest(&argc, argv); |