allow stronger typing

Primitive.hpp

@@ -11,8 +11,12 @@ _Pragma("once");
 #define OPERATOR_FUNC_0ARG(res, oper) \
     res operator oper(void) const { return oper(value); }
 
-template <class T> class Primitive {
-    typedef Primitive<T> X;
+// you could use N from int (or enum) if you want stronger typing between different types
+// example:
+// typedef Primitive<double, 1> timeT;
+// typedef Primitive<double, 2> volumeLevelT;
+template <class T, int N = 0> class Primitive {
+    typedef Primitive<T, N> X;
 private:
     T value;
 public:

test_Primitive.cpp

@@ -26,10 +26,22 @@ static void test_Primitive(void) {
     assert(1.0f == valf);
 }
 
+static void test_compilation_fails(void) {
+    Primitive<int> tmp1 = 1;
+    assert(1 == tmp1);
+    Primitive<int, 1> tmp2 = 2;
+    assert(2 == tmp2);
+#if 0 // uncomment it for test compilation fails
+    int i = tmp1 + tmp2;
+    assert(3 == i);
+#endif
+}
+
 #include <stdio.h> // for printf()
 
 int main(void) {
     test_Primitive();
+    test_compilation_fails();
     printf("test passed\n");
     return 0;
 }