División de enteros en C++ 11

Question

Estaba notando algunos cambios de redacción en la sección 5.6 para C++ 11. (Estoy viendo el borrador del estándar C++ N3242, con fecha del 02/02/2011). El nuevo estándar (borrador) incluye la oración:

"Para operandos integrales, el operador/produce el cociente algebraico con cualquier parte fraccional descartada ; "

Esta declaración no está en 5.6 del estándar 03 (ISO-IEC-14882-2003), pero no creo que esto sea un cambio, ¿o sí? Así es como C y C++ han funcionado durante años a menos que haya perdido la cabeza (lo que puede haber sucedido de todos modos).

Answer 1

No te estás volviendo loco.

Una nota al pie de 5.6/4 dijo:

[C++03 footnote 74]: según la obra en curso hacia la revisión de ISO C, el algoritmo preferido para la división de enteros sigue las reglas definidas en la norma ISO Fortran, ISO/IEC 1539 : 1991, en el que el cociente siempre se redondea hacia cero.

En C++ 11 este comportamiento se requiere explícitamente en lugar de ser "preferido"; el cambio aparece en la sección de compatibilidad:

[C++11: C.2.2]:
Cambio: Especificar redondeo de resultados de número entero / y %
Justificación: Aumentar la portabilidad, compatibilidad C99.
Efecto sobre la función original: Válido C++ código 2003 que utiliza la división entera redondea el resultado hacia 0 o hacia el infinito negativo, mientras que este Norma Internacional siempre redondea el resultado hacia 0.

Answer 2

Casi. En C++ 03, el signo del resto para % (en el que se especificaron ambos términos) no se especificó, ya que el redondeo también podría pasar de cero en ciertas situaciones. Comparar con la nota al pie C++ 03:

según la obra en curso hacia la revisión de ISO C, la algoritmo preferido para la división entera según las normas definidas en la norma ISO Fortran , ISO/IEC 1539: 1991 , en el que el cociente siempre es redondeado hacia cero.

En la práctica, sin embargo, esto casi nunca hizo ninguna diferencia.