Explore concept-based testing in C++ through this 58-minute ACCU Conference talk. Learn how to create generic tests for C++ concepts using C++17 features, focusing on the detection idiom and constexpr if. Discover techniques for verifying concept operations, handling partial concept implementations, and guiding class development. Gain insights into constraining classes and functions, testing incomplete models, and examining compound concepts like EqualityComparable and BidirectionalIterator. Suitable for C++ developers familiar with the language, but extensive template meta-programming knowledge is not required.
Overview
Syllabus
Intro
Overview
Vision
Example
Concept Use
Concept Definition
Requires Expression
Type Requirement
Nested Requirement
Detect Operations
Simulating Requires Clauses
Simple Requirement
Compound Requirement
Constraining Classes
Constraining Functions
Concept Testing
Incomplete Models
EqualityComparable: Existence Tests
EqualityComparable: Semantic Tests
Concept Bidirectionaliterator
Compound Concept Check
Post-Decrement Test
Basic Decrement Test
Taught by
ACCU Conference
