标记类以禁止操作[重复]

Question

我希望能够使用编译时间信息来防止合并同一类的两个对象。特别是如果a 代表米，而b 使用厘米，我希望编译器不允许它们组合。

我可以通过受保护的继承来做到这一点吗？我需要使用标签吗？

这样的？

struct Meters{};
struct Centimeters{};

template < typename Units >
class DimensionedLength : protected Length {
 // What do I need to put in here?
}

int main(){

{
 Length a(0.0), b(1.0), c(2.0);

 std::cout << a+b << std::endl; // fine
 std::cout << a+c << std::endl; // fine
}


{
 DimensionedLength<Meters> a(0.0), b(1.0);
 DimensionedLength<Centimeters> c(2.0);

 std::cout << a+b << std::endl; // fine
 std::cout << a+c << std::endl; // compile error!
}

 return 1;
}

Answer 1

首先类模板应该是这样的：

template<typename Units>
struct DimensionedDouble {
    double value;
};

然后你需要为它实现所有的算术运算符，即：

template<typename Units>
DimensionedDouble<Units> operator+(DimensionedDouble<Units> x, DimensionedDouble<Units> y) {
    return {x.value + y.value};
}

等等。重载只能在Units匹配时调用，否则会报错。

根据您希望语法与基本类型的接近程度，您可能还希望将 double 等的构造函数添加到您的类中。如上所示，只能从double（使用{...} 或= {...}）进行聚合初始化。