Lightning Talk: From Wide to Wrong - Spotting Dangerous Conversions in C++
summary
Provides a compile-time hard check that rejects unsafe narrowing when calling functors by wrapping functor parameter types in C++11-compatible wrapper types and forcing overload-resolution ambiguity for any forbidden conversion, so users get a compiler error instead of wrong runtime results. Targets embedded projects that cannot rely on -Wconversion or external static analysis. Implementation extracts functor parameter types, synthesizes dummy calls that are optimized away, and demonstrably produces compilation errors without runtime overhead.
AI-written summary · about
related talks
57mSane and Safe C++ Class Types
41m“Avoiding Disasters with Strongly Typed C++”
32mCute C++ Tricks, Part 2 of N: More code you should learn from and never write
55mI Wish I Could Use C++ 1x/y/z 
21mSafe Numerics Library
58mA Practical Guide to Loose Coupling
01h 16mPolymorphism, Cohesion, and Coupling in C++
01h 24mKeynote: Optimizing for Change