std::ratio_multiply

来自cppreference.com
< cpp‎ | numeric‎ | ratio
 
 
元编程库
类型特征
类型类别
(C++11)
(C++14)  
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)
类型属性
(C++11)
(C++11)
(C++14)
(C++11)
(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++17)

(C++11)(C++20 前*)(C++17)
编译时有理数算术
编译时整数序列
 
编译时有理数算术
(C++11)
算术
(C++11)
ratio_multiply
(C++11)
比较
(C++11)
 
在标头 <ratio> 定义
template< class R1, class R2 >
using ratio_multiply = /* 见下文 */;
(C++11 起)

别名模版 std::ratio_multiply 指代二个由 std::ratio 的特化 R1R2 所表示的准确有理分数的相乘结果。

结果是一个 std::ratio 的特化 std::ratio<U, V>,给出 Num == R1::num * R2::numDenom == R1::den * R2::den(计算无算术溢出),则 Ustd::ratio<Num, Denom>::numVstd::ratio<Num, Denom>::den

注解

UV 不能以 std::intmax_t 表示,则程序非良构。若 NumDenom 不能以 std::intmax_t 表示,除非实现生成 UV 的正确值,否则程序非良构。

上述定义要求 std::ratio_multiply<R1, R2> 的结果已约分到最简;例如,std::ratio_multiply<std::ratio<1, 6>, std::ratio<4, 5>>std::ratio<2, 15> 是同一类型。

示例

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

输出:

2/3 * 1/6 = 1/9

参阅

在编译时相除两个 ratio 对象
(别名模板)