Lightning Talk: Safe Arithmetic Speed-Run: Experimental C++ Library - Luke Valenty - CppNow 2023

www.cppnow.org​
/ cppnow
---
Lightning Talk: Safe Arithmetic Speed-Run: Experimental C++ Library - Luke Valenty - CppNow 2023
Slides: github.com/boostcon/cppnow_pr...
---
Luke will present the experimental Safe Arithmetic library posted on Intel's GitHub. It will be an any% no-glitch speed run of the full talk.
---
Luke Valenty
Luke started his career at Intel in 2008 as a hardware validation engineer developing tools to validate chip designs in simulation. Since 2018 Luke has been working as a lead firmware engineer for deeply embedded components. His team is embracing modern C++ and leaving C woes behind.
---
Video Sponsors: think-cell and Bloomberg Engineering
Audience Audio Sponsors: Innoplex and Maryland Research Institute
---
Videos Filmed & Edited By Bash Films: bashfilms.com/
CZcams Channel Managed & Optimized By Digital Medium Ltd: events.digital-medium.co.uk
---
CppNow 2024
www.cppnow.org​
/ cppnow
---
#boost #cpp

[@hrushi30]

How would ival && ival be implemented? Seems like we are and'ing two types which I have never come across

[@LukeValenty]

The library takes advantage of C++20’s structural non-type template parameters feature. ival is a value of type ival_t. This makes the operator overloading work as usual.

[@MatthewWalker0]

I think it must be using variable templates... saves a set of braces.
template
concept Overlapping = requires {
(Rhs::low