C++Now 2017 has ended
Back To Schedule
Saturday, May 20 • 8:45am - 10:15am
Type-safe Programming

Log in to save this to your schedule, view media, leave feedback and see who's attending!

Feedback form is now closed.
Slides: https://github.com/boostcon/cppnow_presentations_2017/blob/master/05-20-2017_saturday/type_safe_programming__jonathan_muller__cppnow_05-20-2017.pdf
Video: https://www.youtube.com/watch?v=iihlo9A2Ezw

C++ provides a really advanced type system. A prime example of its application is std::chrono: It uses the type system to create different types for different units and prevent programmer errors.

But the same principle can be applied to your everyday code - this talk is going to show you how. I'll present simple techniques to leverage the C++ type system to detect and prevent possible bugs at compile-time. We'll start with the bare minimum - minimize implicit conversions, and then quickly go to more advanced things like using types to express preconditions or general guidelines about type-safe class design.

This talk is in part based on ideas and concepts implemented in my type_safe library (http://type_safe.foonathan.net/).

avatar for Jonathan Müller

Jonathan Müller

Student, RWTH Aachen University
Jonathan is a Computer Science graduate currently studying Physics. In his spare time he works on various C++ open source libraries for memory allocation, cache-friendly containers or parsing. He also blogs about C++ and library development at foonathan.net.

Saturday May 20, 2017 8:45am - 10:15am MDT
Hudson Commons