std:: ratio_multiply

Le modèle d'alias std::ratio_multiply désigne le résultat de la multiplication de deux fractions rationnelles exactes représentées par les spécialisations std::ratio R1 et R2 .

Le résultat est une std::ratio spécialisation std:: ratio < U, V > , telle que étant donné Num == R1 :: num * R2 :: num et Denom == R1 :: den * R2 :: den (calculés sans dépassement arithmétique), U est std:: ratio < Num, Denom > :: num et V est std:: ratio < Num, Denom > :: den .

Notes

Si U ou V n'est pas représentable dans std::intmax_t , le programme est mal formé. Si Num ou Denom n'est pas représentable dans std::intmax_t , le programme est mal formé sauf si l'implémentation produit des valeurs correctes pour U et V .

La définition ci-dessus exige que le résultat de std :: ratio_multiply < R1, R2 > soit déjà réduit aux termes les plus bas ; par exemple, std :: ratio_multiply < std:: ratio < 1 , 6 > , std:: ratio < 4 , 5 >> est le même type que std:: ratio < 2 , 15 > .

Exemple

#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

Voir aussi