了解 std::fmod 和 std::余数
understanding std::fmod and std::remainder
有人可以解释一下函数std::fmod和std::remainder是如何工作的吗? 在std::fmod
的情况下,有人可以解释一下如何显示的步骤:
std::fmod(+5.1, +3.0) = 2.1
同样的事情也适用于可能产生负面结果的std::remainder
。
std::remainder(+5.1, +3.0) = -0.9
std::remainder(-5.1, +3.0) = 0.9
正如std::fmod的引用所述:
此函数计算x/y
除法运算的浮点余数正好是值x - n*y
,其中n
被截断的小数部分x/y
。
返回值与x
具有相同的符号,并且量级小于y
。
所以以问题中的例子为例,当x = +5.1
和y = +3.0
时, 截断小数部分的x/y
(5.1/3.0 = 1.7)
为 1。所以n
1
.因此,fmod
将产生x - 1*y
哪个是5.1 - 1 * 3.0
哪个是5.1 - 3.0
哪个是2.1
。
而 std::remainder:这个
函数计算x/y
除法运算的 IEEE 浮点余数的参考状态正好是值x - n*y
,其中值 n 是最接近精确值x/y
的整数值。当|n-x/y| = ½
时,n
值被选择为偶数。
所以以问题中的例子为例,当x = +5.1
和y = +3.0
最接近x/y (1.7)
的整数值是2
。所以n
2
.因此,remainder
将产生x - 2y
,即 5.1 - 2 * 3.0,这是5.1 - 6.0
-0.9
。
但是当x = -5.1
和y = +3.0
最接近x/y (-1.7)
的整数值是-2
。所以n
-2
.因此,remainder
将产生x - 2y
哪个是-5.1 - (-2) * 3.0
哪个是-5.1 + 6.0
哪个是+0.9
参考文献还指出:与std::fmod()
相反,返回值不保证与x
具有相同的符号。
对于那些可能难以理解P.W.的好例子的人来说,这里有一个稍微不那么数学的方法。
fmod()
函数告诉您将分子平均除以分母后还剩多少。
remainder()
函数告诉您分子与分母均匀划分为下一个最接近的数字的距离。
例子:
fmod(10,3.5)
=3
.
3.5
可以装进10
两次(2*3.5 = 7
),留下3
的余数。
remainder(10,3.5)
=-0.5
.
3.5
不能均匀地适应10
,但它可以均匀地适应7
(2*3.5
)和10.5
(3*3.5
)。
10.5
比7
更接近10
。
10
离10.5
有多远?
距离10.5
-0.5
。
- 使用std::multimap迭代器创建std::list
- C++中std::resize(n)和std::shrink_to_fit之间的区别
- 来自 std::list 的迭代器 .end() 按预期返回"0xcdcdcdcdcdcdcdcd"但 .begin()
- C++17复制构造函数,在std::unordereded_map上进行深度复制
- 如何导出包含具有"std::unique_ptr"值的"std::map"属性的
- 从持续时间构造std::chrono::system_clock::time_point
- std::具有相同基类的类的变体
- std::向量与传递值的动态数组
- 使用std::vector的OpenCL矩阵乘法
- std::map<struct,struct>::find 找不到匹配项,但是如果我循环通过 begin() 到 end(),我在那里看到匹配项
- std::condition_variable::wait()如何评估给定的谓词
- 如何获取std::result_of函数的返回类型
- std::原子加载和存储都需要吗
- 将对象移动到std::shared_ptr
- POCO::PostgreSQL:如何将std::vector支持添加到`Binder::bind`
- 使用一个考虑到std::map中键值的滚动或换行的键
- 如何从 std::atomic 中提取指针 T<T>?
- 为什么 std::unique 不调用 std::sort?
- 使用std::函数映射对象方法
- 了解 std::fmod 和 std::余数