ckd_mul
|
Défini dans l'en-tête
<stdckdint.h>
|
||
|
template
<
class
type1,
class
type2,
class
type3
>
bool ckd_mul ( type1 * result, type2 a, type3 b ) ; |
(depuis C++26) | |
Calcule la multiplication x × y et stocke le résultat dans * result . La multiplication est effectuée comme si les deux opérandes étaient représentés dans un type entier signé avec une plage infinie, et le résultat était ensuite converti de ce type entier vers type1 . Si la valeur assignée à * result représente correctement le résultat mathématique de l'opération, elle retourne false . Sinon, elle retourne true . Dans ce cas, la valeur assignée à * result est le résultat mathématique de l'opération enroulé sur la largeur de * result .
SommaireParamètres
Valeur de retourfalse si la valeur assignée à * result représente correctement le résultat mathématique de la multiplication, true sinon. Note
Le modèle de fonction
Chacun des types type1 , type2 , et type3 est un type entier signé ou non signé sans qualificatif cv. Il est recommandé de produire un message de diagnostic si type2 ou type3 ne sont pas des types entiers appropriés, ou si * result n'est pas une lvalue modifiable d'un type entier approprié. ExempleExécuter ce code #include <climits>
#include <cstdint>
#include <print>
#include <stdckdint.h>
int main()
{
uint8_t x;
uint16_t y;
uint16_t result_uint16;
uint32_t result_uint32;
bool overflow;
x = 2;
y = 21;
overflow = ckd_mul(&result_uint16, x, y);
std::println("{} * {} == {} ({})", x, y, result_uint16, overflow ? "Overflow" : "OK");
x = 2;
y = UINT16_MAX;
overflow = ckd_mul(&result_uint16, x, y);
std::println("{} * {} == {} ({})", x, y, result_uint16, overflow ? "Overflow" : "OK");
x = 2;
y = UINT16_MAX;
overflow = ckd_mul(&result_uint32, x, y);
std::println("{} * {} == {} ({})", x, y, result_uint32, overflow ? "Overflow" : "OK");
}
Sortie : 2 * 21 == 42 (OK)
2 * 65535 == 65534 (Overflow)
2 * 65535 == 131070 (OK)
Références
Voir aussi
| ||||||||||||