Concept Based Testing
summary
Claims a reusable, concept-like testing layer that uses the C++17 detection idiom and constexpr if to detect available operations, then runs semantic checks (reflexivity, symmetry, transitivity, iterator increment/decrement axioms) on provided specimen objects. Implements void_t/is_detected wrappers, is_convertible checks and optional generic-lambda shortcuts. Delivers a proof-of-concept test library and a live demo that compiles, reports which operations are missing, and suggests minimal implementations; the demo largely works but is rough and not yet polished.
AI-written summary · about
chapters (7)
- 0:00Introduction
- 1:35Motivation for generic testing
- 4:58Understanding C++ concepts
- 16:28The detection idiom
- 34:01Concept-based testing strategy
- 37:16Practical implementation
- 50:40Live demo and conclusion
related talks
06mNo Concepts Beyond This Point: The Detection Idiom
06mConstraints not Satisfied
01h 11mConcepts in 60: Everything you need to know and nothing you don't
04mConcepts in 5
01h 28mC++ Concepts "Lite" in Practice
01h 02mDiscovering a User-Facing Concept
05mConcept Driven Design with Dependency Injection
01h 03mClean Test: a modern C++20 testing framework