No Concepts Beyond This Point: The Detection Idiom
summary
Detection idiom implements is_detected/ detected_t and companions from Library Fundamentals TS V2 using void_t so you can write trait-style constraints without compiler concepts; includes is_detected_exact and is_detected_convertible, plus the sentinel none_such type. Examples show building real traits like swappable and an iterator checker (value_type, reference, increment, copyable, swappable), validated with static_asserts. Code runs in C++11/14 and lives on the linked GitHub so you can uncomment and reproduce the examples.
AI-written summary · about
chapters (4)
related talks
53mThe Detection Idiom - a simpler way to SFINAE
58mConcept Based Testing
01h 11mConcepts in 60: Everything you need to know and nothing you don't
06mConstraints not Satisfied
01h 28mC++ Concepts "Lite" in Practice
50mType safe C++? LOL!
01h 27mC++20 Templates - the Next Level: Concepts and More
12mTraits Go Mainstream...