You should take a look at https://www.youtube.com/watch?v=1fwbG5TyI18 CPPCON 2018 session https://cppcon2018.sched.com/event/FnKQ/avoiding-disasters-with-strongly-typ... Arno Lepisk https://cppcon2018.sched.com/speaker/arno_lepisk Avoiding Disasters with Strongly Typed C++ I think the technique he describes is what you are looking for.