Ver el código de «cpp/language/usual arithmetic conversions»

← cpp/language/usual arithmetic conversions
No tienes permiso para modificar esta página, por el siguiente motivo:
La acción que has solicitado está restringida a los usuarios de uno de estos 2 grupos: Usuarios, Administradores.
Puedes ver y copiar el código fuente de esta página.
{{title|Conversiones aritméticas habituales}}
{{cpp/language/expressions/navbar}}

Muchos operadores binarios que esperan operandos de tipo {{rlp|type|aritmético}} o {{rlp|enum|enumeración}} provocan conversiones y producen tipos de resultados de forma similar. El objetivo es producir un tipo común, que también es el tipo del resultado. Este patrón se denomina ''conversiones aritméticas habituales''.

===Definición===
Las conversiones aritméticas habituales se definen de la siguiente manera:
====Etapa 1====
Aplica {{rlpsd|implicit conversion#Conversión de {{lvalue}} a {{rvalue}}}} a ambos operandos, los {{prvalue}}es resultantes se utilizan en lugar de los operandos originales para el resto del proceso.

====Etapa 2====
{{rrev|since=c++11|
* Si alguno de los operandos es de {{rlp|enum#Enumeraciones con ámbito|tipo enumeración}}, no se realizan conversiones; si el otro operando no tiene el mismo tipo, la expresión está mal formada.
* De lo contrario, continúe con la siguiente etapa.
}}

====Etapa 3====
{{rrev|since=c++26|
* Si alguno de los operandos es de {{rlp|enum|tipo enumeración}} y el otro operando es de un tipo de enumeración diferente o un tipo de punto flotante, la expresión está mal formada.
* De lo contrario, continúe con la siguiente etapa.
}}

====Etapa 4====
* Si alguno de los operandos es de {{rlp|types#Tipos de punto flotante|tipo de punto flotante}}, se aplican las siguientes reglas:
:* Si ambos operandos tienen el mismo tipo, no se realizará ninguna conversión adicional.
:* De lo contrario, si uno de los operandos es de un tipo que no es de punto flotante, ese operando se convierte al tipo del otro operando.
:* De lo contrario, si los [[#Rango de conversión de punto flotante|rangos de conversión de punto flotante]] de los tipos de los operandos están {{rev inl|desde=c++23|ordenados pero}} no son iguales, entonces el operando del tipo con el rango de conversión de punto flotante menor se convierte al tipo del otro operando.
{{rrev|since=c++23|
:* De lo contrario, si los rangos de conversión de punto flotante de los tipos de los operandos son iguales, entonces el operando con el {{lsd|#Subrango de conversión de punto flotante|subrango de conversión de punto flotante}} menor se convierte al tipo del otro operando.
:* De lo contrario, la expresión está mal formada.
}}
* De lo contrario, ambos operandos son de tipo entero, se procede a la siguiente etapa.

====Etapa 5====
Ambos operandos se convierten a un tipo común {{tt|C}}. Dados los tipos {{tt|T1}} y {{tt|T2}} como el tipo promocionado ({{rlp|implicit conversion#Promoción de enteros|según las reglas de promociones de enteros}}) de los operandos, se aplican las siguientes reglas para determinar {{tt|C}}:
* Si {{tt|T1}} y {{tt|T2}} son del mismo tipo, {{tt|C}} es ese tipo.
* De lo contrario, si {{tt|T1}} y {{tt|T2}} son ambos de tipo entero con signo o ambos de tipo entero sin signo, {{tt|C}} es el tipo de [[#Rango de conversión de enteros|rango de conversión de enteros]] mayor.
* De lo contrario, un tipo entre {{tt|T1}} y {{tt|T2}} es un tipo de entero con signo {{tt|S}}, el otro tipo es un tipo entero sin signo {{tt|U}}. Se aplican las siguientes reglas:
:* Si el rango de conversión de enteros de {{tt|U}} es mayor o igual que el rango de conversión de enteros de {{tt|S}}, {{tt|C}} es {{tt|U}}.
:* De lo contrario, si {{tt|S}} puede representar todos los valores de {{tt|U}}, {{tt|C}} es {{tt|S}}.
:* De lo contrario, {{tt|C}} es el tipo entero sin signo correspondiente a {{tt|S}}.

{{rrev|since=c++20|until=c++26|
Si un operando es de tipo enumeración y el otro operando es de un tipo enumeración diferente o un tipo de punto flotante, este comportamiento queda obsoleto.
}}

===Rango de conversión de enteros===
Cada {{rlp|types#Tipos enteros|tipo entero}} tiene un ''rango de conversión de enteros'' definido de la siguiente manera:
* No hay dos tipos enteros con signo distintos de {{c/core|char}} y {{c/core|signed char}} (si {{c/core|char}} tiene signo) que tengan el mismo rango, incluso si tienen la misma representación.
* El rango de un tipo entero con signo es mayor que el rango de cualquier tipo entero con signo con un ancho menor.
* Los rangos de los siguientes tipos enteros disminuyen en orden:
{{rrev|since=c++11|
:* {{c/core|long long}}
}}
:* {{c/core|long}}
:* {{c/core|int}}
:* {{c/core|short}}
:* {{c/core|signed char}}
* El rango de cualquier tipo entero sin signo es igual al rango del tipo entero con signo correspondiente.
{{rrev|since=c++11|
* El rango de cualquier tipo entero estándar es mayor que el rango de cualquier tipo entero extendido con el mismo ancho.
}}
* El rango de {{c/core|bool}} es menor que el rango de todos los tipos enteros estándar.
* Los rangos de los tipos de caracteres codificados ({{c/core|char}} {{rev inl|since=c++20|, {{c/core|char8_t}}}}{{rev inl|since=c++11|, {{c/core|char16_t}}, {{c/core|char32_t}},}} y {{c/core|wchar_t}}) son iguales a los rangos de sus {{rlp|types#Tipos carácter|tipos subyacentes}}, lo que significa:
:* El rango de {{c/core|char}} es igual al rango de {{c/core|signed char}} y {{c/core|unsigned char}}.
{{rev begin}}
{{rev|since=c++20|
:* El rango de {{c/core|char8_t}} es igual al rango de {{c/core|unsigned char}}.
}}
{{rev|since=c++11|
:* El rango de {{c/core|char16_t}} es igual al rango de {{lc|std::uint_least16_t}}.
:* El rango de {{c/core|char32_t}} es igual al rango de {{lc|std::uint_least32_t}}.
}}
{{rev end}}
:* El rango de {{c/core|wchar_t}} es igual al rango de su tipo subyacente definido por la implementación.
{{rrev|since=c++11|
* El rango de cualquier tipo entero con signo extendido en relación con otro tipo entero con signo extendido con el mismo ancho está definido por la implementación, pero aún está sujeto a las otras reglas para determinar el rango de conversión de enteros.
}}
* Para todos los tipos enteros {{tt|T1}}, {{tt|T2}} y {{tt|T3}}, si {{tt|T1}} tiene mayor rango que {{tt|T2}} y {{tt|T2}} tiene mayor rango que {{tt|T3}}, entonces {{tt|T1}} tiene mayor rango que {{tt|T3}}.

El rango de conversión de enteros también se utiliza en la definición de la {{rlpsd|implicit conversion#Promoción de enteros}}.

===Rango y subrango de conversión de punto flotante===
====Rango de conversión de punto flotante====
Cada {{rlp|types#Tipos de punto flotante|tipo de punto flotante}} tiene un ''rango de conversión de punto flotante'' definido de la siguiente manera:
* Los rangos de los tipos de punto flotante estándar disminuyen en orden:
** {{c/core|long double}}
** {{c/core|double}}
** {{c/core|float}}
{{rrev|since=c++23|
* El rango de un tipo de punto flotante {{tt|T}} es mayor que el rango de cualquier tipo de punto flotante cuyo conjunto de valores sea un subconjunto adecuado del conjunto de valores de {{tt|T}}.
* Dos tipos de punto flotante extendidos con el mismo conjunto de valores tienen rangos iguales.
* Un tipo de punto flotante extendido con el mismo conjunto de valores que exactamente un tipo de punto flotante estándar sin calificación {{c|const volatile}} tiene un rango igual al rango de ese tipo de punto flotante estándar.
* Un tipo de punto flotante extendido con el mismo conjunto de valores que más de un tipo de punto flotante estándar sin calificación {{c|const volatile}} tiene un rango igual al rango de {{c/core|double}}.
}}

{{rrev|since=c++23|
====Subrango de conversión de punto flotante====
Los tipos de punto flotante que tienen rangos de conversión de punto flotante iguales se ordenan por ''subrango de conversión de punto flotante''. El subrango forma un orden total entre los tipos con rangos iguales.

Los tipos {{tt|std::float16_t}}, {{tt|std::float32_t}}, {{tt|std::float64_t}} y {{tt|std::float128_t}} ([[cpp/types/floating-point|tipos de punto flotante de anchura fija]]) tienen un subrango de conversión mayor que cualquier tipo de punto flotante estándar con el mismo rango de conversión. De lo contrario, el orden del subrango de conversión está definido por la implementación.
}}

====Uso====
El rango y subrango de conversión de punto flotante también se utilizan para
* determinar si una conversión entre diferentes tipos de punto flotante {{rlp|implicit conversion#Conversiones de punto flotante|puede ser implícita}} o es una {{rlp|list initialization#Conversiones estrechantes|conversión estrechante}},
* {{rlp|overload resolution#Clasificación de secuencias de conversión implícitas|distinguir las secuencias de conversión}} en la resolución de sobrecarga,
{{rrev|desde=c++23|
* determinar el tipo real extraído por {{l2tf std|cpp/locale/num_get/get}} para la extracción de un tipo de punto flotante extendido utilizando {{ltt|cpp/io/basic_istream/operator gtgt|std::basic_istream::operator>>}},
* determinar el tipo real insertado por {{l2tf std|cpp/locale/num_put/put}} para la inserción de un tipo de punto flotante extendido utilizando {{ltt|cpp/io/basic_ostream/operator ltlt|std::basic_ostream::operator<<}},
}}
* determinar si el [[cpp/numeric/complex/complex|constructor de conversión]] de {{lc|std::complex}} es explícito, o
* determinar el tipo de punto flotante común si los argumentos de diferentes tipos de punto flotante se pasan a funciones matemáticas [[cpp/numeric/math|comunes]] o [[cpp/numeric/special functions|especiales]].

===Informes de defectos===
{{dr list begin}}
{{dr list item|wg=cwg|dr=1642|std=C++98|before=Las conversiones aritméticas habituales pueden involucrar {{lvalue}}es.|after=Aplica primero las conversiones de {{lvalue}} a {{rvalue}}.}}
{{dr list item|wg=cwg|dr=2528|std=C++20|before=La comparación de tres vías entre {{c/core|unsigned char}}<br>y {{c/core|unsigned int}} está mal formada debido a<br>la promoción de enteros intermedia.<ref>Antes de la resolución, {{c/core|unsigned char}} se promueve a {{c/core|int}} al comienzo de la etapa 5, luego se convierte a {{c/core|unsigned int}}. Sin embargo, la última conversión es restrictiva, lo que hace que la comparación de tres vías esté mal formada.</ref>|after=Determina el tipo común basado en los tipos<br>promocionados, sin promocionar realmente los operandos.<ref>Después de la resolución, el tipo común sigue siendo {{c/core|unsigned int}}. La diferencia es que {{c/core|unsigned char}} se convierte directamente en {{c/core|unsigned int}} sin la promoción de enteros intermedia. La conversión no es restrictiva y, por lo tanto, la comparación de tres vías está bien formada.</ref>}}
{{dr list item|wg=cwg|dr=2892|std=C++98|before=Cuando ambos operandos son del mismo tipo de punto flotante,<br> el significado de “no se necesita ninguna conversión adicional”<br>no estaba claro.|after=Se cambió a “no se realizará ninguna conversión adicional”.}}
{{dr list end}}
<references/>

{{langlinks|de|en|fr|it|ja|pt|ru|zh}}
Plantillas usadas en esta página:
Volver a cpp/language/usual arithmetic conversions.
cppreference.com

Buscar

Espacios de nombres

Variantes

Vistas

Acciones

Ver el código de «cpp/language/usual arithmetic conversions»

Navegación

Herramientas
