🧑‍🔬 Make sure safe arithmetic works with a dimensional analysis library (like mpusz/units) #8

Activity

1. lukevalenty

   changed the title [-]✨ Add support for requirements extensions (units)[/-] [+]🧑‍🔬 Make sure safe arithmetic works with a dimensional analysis library (like mpusz/units)[/+] on Nov 30, 2022
2. lukevalenty commented on Nov 30, 2022

   

   lukevalenty

   on Nov 30, 2022

   ContributorAuthor

   More actions

   Some notes on how this might work.

   safe::var<int, ival<0, 1023>, km / h> current_speed = 100_s32 * km / h;
   
   constexpr auto speed_limit = 100_s32 * km / h;

   units::some_type<safe::var<int, ival<0, 1023>>> current_speed = 100_s32 * km / h;
   
   safe::var<unit::some_type<int, km / h>, ival<0, 1023>> current_speed = 100_s32 * km / h;
   units::some_type<safe::var<int, ival<100, 100>>>
3. lukevalenty commented on Dec 1, 2022

   

   lukevalenty

   on Dec 1, 2022

   ContributorAuthor

   More actions

   another variation of the top that does a better job satisfying the DRY principle:

   auto current_speed = s32_ival<0, 1023>{100_s32} * km / h;