命名空间
变体
操作

std::ratio_multiply

来自 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_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>::num,而 Vstd::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 对象
(别名模板)[编辑]