C ++提升理性类,底层函数

时间:2016-03-13 15:04:18

标签: c++ boost floor

我是使用boost的新手。

除了简单地执行x.numerator()/ x.denominator之外,还有一个适当的'boost-type'方式调用floor(x)函数(即截断为零),当使用boost rational库时?

由于

1 个答案:

答案 0 :(得分:2)

没有。我仔细研究了它,并且唯一能够处理转换为连续分数表示的函数从完全相同的操作开始(格式化为易读性):

struct {
    Rat::int_type n, d, q, r;
} ts = {
    l.numerator(), l.denominator(),
    static_cast<Rat::int_type>(l.numerator() / l.denominator()), static_cast<Rat::int_type>(l.numerator() % l.denominator()) 
},
  rs = {
      r.numerator(), r.denominator(),
      static_cast<Rat::int_type>(r.numerator() / r.denominator()), static_cast<Rat::int_type>(r.numerator() % r.denominator()) 
};

虽然这可能会让您失望,但它会验证您的方法,这很好。

如果您愿意,可以通过ADL¹

找到您自己的floor重载

这是我的通才建议,假设您将其注入命名空间boost

namespace boost {
    template <typename IntType>
    constexpr IntType floor(rational<IntType> const& r) {
        return static_cast<IntType>(r.numerator() / r.denominator());
    }
}

现场演示

<强> Live On Coliru

#include <boost/rational.hpp>

namespace boost {
    template <typename IntType>
    constexpr IntType floor(rational<IntType> const& r) {
        return static_cast<IntType>(r.numerator() / r.denominator());
    }
}

#include <iostream>

template <typename IntType> void test()
{
    boost::rational<IntType> a(230,7), b(222*111111,-777777);

    std::cout << "a: " << a << " -> " << floor(a) << "\n";
    std::cout << "b: " << b << " -> " << floor(b) << "\n";
}

#include <boost/multiprecision/cpp_int.hpp>
int main() {
    test<int>();
    test<boost::multiprecision::cpp_int>();
}

打印

a: 230/7 -> 32
b: -222/7 -> -31
a: 230/7 -> 32
b: -222/7 -> -31

¹在声明你的整数类型的命名空间中声明它,或在命名空间::boost内声明它以便让它开始。