命名空间
变体
操作

std::ratio_subtract

来自 cppreference.cn
< cpp‎ | numeric‎ | ratio
 
 
元编程库
类型特性
类型类别
(C++11)
(C++11)(DR*)
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)
(C++11) 
(C++11)
(C++11)
类型属性
(C++11)
(C++11)
(C++14)
(C++11)(在 C++26 中弃用)
(C++11)(直到 C++20*)
(C++11)(在 C++20 中弃用)
(C++11)
类型特性常量
元函数
(C++17)
支持的操作
关系和属性查询
类型修改
(C++11)(C++11)(C++11)
类型转换
(C++11)(在 C++23 中弃用)
(C++11)(在 C++23 中弃用)
(C++11)
(C++11)(直到 C++20*)(C++17)

(C++11)
(C++17)
编译时有理数算术
编译时整数序列
 
编译时有理数算术
(C++11)
算术
(C++11)
ratio_subtract
(C++11)
比较
(C++11)
 
定义于头文件 <ratio>
template< class R1, class R2 >
using ratio_subtract = /* see below */;
(since C++11)

别名模板 std::ratio_subtract 表示由 std::ratio 特化 R1R2 表示的两个精确有理分数相减的结果。

结果是一个 std::ratio 特化 std::ratio<U, V>,使得给定 Num == R1::num * R2::den - R2::num * R1::denDenom == R1::den * R2::den (计算时不发生算术溢出),Ustd::ratio<Num, Denom>::num,并且 Vstd::ratio<Num, Denom>::den

[编辑] 说明

如果 UV 不能用 std::intmax_t 表示,则程序是非良构的。 如果 NumDenom 不能用 std::intmax_t 表示,则程序是非良构的,除非实现为 UV 产生正确的值。

上述定义要求 std::ratio_subtract<R1, R2> 的结果已经约简为最简形式;例如,std::ratio_subtract<std::ratio<1, 2>, std::ratio<1, 6>>std::ratio<1, 3> 的类型相同。

[编辑] 示例

#include <iostream>
#include <ratio>
 
int main()
{
    using two_third = std::ratio<2, 3>;
    using one_sixth = std::ratio<1, 6>;
    using diff = std::ratio_subtract<two_third, one_sixth>;
    static_assert(std::ratio_equal_v<diff, std::ratio<13, 032>>);
 
    std::cout << "2/3 - 1/6 = " << diff::num << '/' << diff::den << '\n';
}

输出

2/3 - 1/6 = 1/2

[编辑] 参见

(C++11)
在编译时添加两个 ratio 对象
(别名模板)[编辑]