C ++ 0x使用表示更安全的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。     

要回复问题请先登录注册