Semantic Sugar - Tips for Effective Template Library APIs

This talk examines ways to constrain and tailor C++ template library APIs, including concepts, tag dispatch, specialization, and customization points. It explores the difference between syntactic and semantic concepts and discusses pitfalls in their use.

Syllabus

Intro
Roi Barkan
Introduction
Documentation
Concepts are fundamental
Templates
EnableIf
Outline
Concepts
Overload
Syntax vs Semantic
Recap
Assign Integral
Required Expressions
Type Trades
Variable Templates
Boolean Expression
And Requires Expression
Specialization
Boolean Expressions on Types
The Basic Idea
Templated Library
Risk of incorrect assumptions
Foot Guns
Concept Syntax
Alternative Syntax
Conclusion
Library Guided Approach
Partial Specialization
Tag Dispatch
PolicyBased Design
Customization Points
Application Guided Approach
Summary
Advanced Examples
Comments Questions
Semantics are Tricky