Hacktoberfest 2026: los issues que los mantenedores marcaron para octubre, abiertos y aptos para principiantes. Explorar issues de Hacktoberfest

subtraction of dimensionless quantities produce surprising result

Abierto
  • ¿Algo no está bien?
#33 2 comentarios 0 reacciones 0 asignados Ver en GitHub

Nadie ha tomado este issue todavía.

Evaluación

Dificultad
4/5
Tiempo estimado
3-5 días
Aptitud para principiantes
35/100
Tipo de issue
Error
Claridad
Bastante claro
Estado de actividad
Estancado
Stack tecnológico
cpp
Área
tooling

Línea de trabajo

Comienza con el reproductor genérico f(A a, B b) y con la conversión de cantidades adimensionales y las sobrecargas de operadores descritas en el issue. Compara el resultado y el tipo de f(1., 2.) con f(1.*si::meter, 2.*si::meter), y determina después si las operaciones mixtas indicadas con int y cantidades adimensionales pueden comportarse de forma coherente sin hacer explícita la conversión; se considera terminado cuando el comportamiento o una solución alternativa compatible están documentados y cubiertos por una prueba de regresión.

Escrito por el modelo de indexación a partir del texto del issue.

Descripción

In a generic environment one needs to write generic function involving integer integrals.

template<class A, class B> auto f(A a, B b){return 1 - a/b;}

Feeding f(1.,2.) gives 0.5.

However if one feeds f(1.*si::meter, 2.*si::meter) insted one gets 1 and of type int.

This is probably because the dimensionless quantities are implicitly convertible to their value type, which is a good feature. But for some reason in this case this double is converted to an int before doing the subtraction. The second implicit conversion in seems to be very strong in the language and I don't see a way to solve this in the library (please don't make the conversion explicit! that creates many other problems.).

The only solution I found was to define a family of functions specialized for int.

namespace boost{
namespace units{
template<class S, class Y>
inline
quantity<BOOST_UNITS_DIMENSIONLESS_UNIT(S), Y>
operator-(int i,
    const quantity<BOOST_UNITS_DIMENSIONLESS_UNIT(S), Y>& q2)
{
    typedef quantity<BOOST_UNITS_DIMENSIONLESS_UNIT(S),Y> quantity_type;
    return quantity_type::from_value(i - q2.value());
}
}}

The good news is that this is in principle only needed for int, the bad news is that one need to implement many functions, (int - dimlessQ), (dimlessQ - int), (int + dimlessQ), (dimlessQ + int), (int * dimlessQ), (dimlessQ * int), (int / dimlessQ), (dimlessQ / int).

I would say this is a bug, but that can be controversial. What it is not controversial is that it is surpring because even for totally dimensinless arguments it will not behave like a double.

Is there a workaround solution?

Lenguaje dominante
C++
Estrellas
39
Forks
61
Sin PR fusionados en 30 d

Preparar el entorno

Este proyecto no incluye contenedor de desarrollo, Dockerfile ni guía de contribución, así que la configuración corre por tu cuenta: empieza por su README y consulta nuestra guía para la primera contribución para los pasos generales.

Primeros pasos

  1. Lee el issue completo y luego la guía de contribución del proyecto.
  2. Comenta en el issue que vas a ocuparte — evita que dos personas hagan lo mismo.
  3. Haz un fork del repositorio y trabaja en una rama.
  4. Abre un pull request que haga referencia al número del issue.

Más de boostorg/units

Todos los issues de boostorg/units

Issues similares

Más issues de C++

Recibe los nuevos issues en tu correo

Un resumen breve de issues de GitHub para principiantes.