我想创建封装原始数值类型的轻量级类型:
struct A { long value; }
struct B { long value; }
struct C { long value; }
...
这样我就可以对每种类型应用通常的算术运算,并获得预期的结果(并且与内置类型 long 相比没有任何运行时开销):
A a1 {10};
A a2 {20};
A a3 = a1 + a2:
++a3;
std::cout << a3; // prints "31"
...
但是,我不想在不同类型之间进行任何(自动)转换,也不想允许任何混合不同类型的算术运算。例如,以下代码不应编译:
A a1 {10};
A a2 {20};
B b3 = a1 + a2: // error, cannot convert A to B
a2 += b3; // error, A::operator+=(B) does not exist
...
现在,如果我只想要一种类型,所有这些都将很简单;只需为 A 类定义适当的操作。但是,如果我尝试对仅名称不同的 A、B、C 等类执行相同操作,它很快就会变得乏味。
我知道我可以使用预处理器宏来生成具有不同名称的多个副本。但是,我想知道是否有更优雅的方法不使用预处理器,并且不需要任何重复的代码。(C++11 特定的解决方案很好。)