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

Log in to save this to your schedule 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 second-year Computer Science passionate about C++. In his spare time he works on various C++ open source projects, like foonathan/memory, an allocoator library, or standardese, a C++ documentation generator. He also blogs about C++ and library development at foonathan.net... Read More →

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

Attendees (27)