C ++ 0x使用<ratio>表示更安全的Length类型

如何解决C ++ 0x使用<ratio>表示更安全的Length类型

|| 当读取<ratio>和<chrono>时，我试图想象一个防止意外转换错误的Length类型。这就是我得到的：

#include <iostream>
#include <ratio>
using namespace std;

template<typename Scale>
struct Length  {
  long long val_;
  Length(long long val) : val_{val} {}
  Length() = default;
  Length(const Length&) = default;
  Length& operator=(const Length&) = default;
  // conversion
  template<typename Scale2>
  Length(const Length<Scale2> &other)
    : val_{ other.val_*(Scale2::num*Scale::den)/(Scale2::den*Scale::num) }
  { }
  // access
  long long value() const { return val_; }
}; 
typedef Length<ratio<1>> m;
typedef Length<kilo> km;
typedef Length<milli> mm;
typedef Length<ratio<1000,1094>> yard;

像这样使用

int main() {
  km len_km = 300;
  mm len_mm = len_km;
  cout << \" millimeter:\" << len_mm.value() << endl;
  cout << \" m:\" << m{len_km}.value() << endl;
  cout << \" yd:\" << yard{len_km}.value() << endl;
}

现在，我可以添加所有的+和*操作来变得非常舒适... :-) 我想知道：无论如何，可以更容易地访问<chrono>中定义的duration和time_point的算术功能吗？我可以用那些减少2英镑的精力吗？在转换构造函数中，编译时常量(Scale2::num*Scale::den)/(Scale2::den*Scale::num)似乎很危险（分数/下溢？），但是我无法找到更好的元编程方式，这里有任何提示吗？

解决方法

有没有更容易获得的算术设施 duration和time_point在 <chrono>？我可以用那些吗减少ѭ2的工作量？对于“混合模式”算术和比较，您可以利用ѭ16来定义返回类型。 duration专攻common_type是Period1和Period2的最大公约数，其中Period1和Period2是算术或比较运算中涉及的两个ѭ19。您可以像这样使用它：

template <typename Scale1,typename Scale2>
  typename std::common_type<Length<Scale1>,Length<Scale2>>::type
  operator+(Length<Scale1> x,Length<Scale2> y);

不幸的是，您将不得不重新发明如何在编译时获得两个19的最大公约数。从无符号long long的编译时gcd和lcm元函数开始。嗯...或者您可能可以根据已经为duration做过的一项来使common_type的专业化为基础。您可以将结果duration\period重新解释为your2ѭ的比例因子。我还没有原型，只是一个想法。编译时常数 conversion11ѭ在转换中似乎很危险构造函数（分数/下溢？），但我想不出更好的办法元编程方式，这里有什么提示吗？同意duration通过以下方式处理此问题：

template <class Rep2,class Period2>
  constexpr duration(const duration<Rep2,Period2>& d);

备注：此构造函数不得参加重载决议除非“ 30”为真或 ratio_divide<Period2,period>::den是 1和treat_as_floating_point<Rep2>::value为假。 [注意：此要求可以防止隐式截断错误在积分基础之间转换持续时间类型。这样的建筑容易引起关于持续时间的值。 —尾注] 即您需要在Length转换构造函数中使用enable_if，以便仅在精确转换时才存在（如果您希望将长度基于整数类型）。为了精确地进行转换，转换系数(Scale2::num*Scale::den)/(Scale2::den*Scale::num)必须是可除法的（除以1除外）。您可以使用ratio_divide进行该除法，然后分母必须为1（用于精确转换）。

enable_if<ratio_divide<Scale2,Scale1>::type::den == 1,...>

这是一个学习ѭ19great的好项目！玩得开心！ :-) , 您使用整数类型表示物理量。这不是人们通常想要的。如果您坚持整数类型，则至少要以正确的顺序进行乘法和除法，即所有乘法均先进行除法（比较100 *（255/256）和（100 * 255）/ 256）。在相关说明中，请记住，将“长度”乘以“长度”会得到一个面积，而不是“长度”。存在考虑到这一点的现实生活库，请参见例如siunits。

C ++ 0x使用<ratio>表示更安全的Length类型

如何解决C ++ 0x使用<ratio>表示更安全的Length类型

解决方法

相关推荐