A totally constexpr standard library

on YouTube ↗01h 00m

" summary

C'est provides a constexpr reimplementation of many std components (vector/string/unique_ptr/etc.) that rely on recently available C++20 features and are usable with MSVC 19.29 and libstdc++ 12.1 via Clang, enabling real compile‑time libraries; example projects include a compile‑time compiler poacher and a Metamath verifier ported to CT (CTcheckmm). CTBench measures the cost: small files compile in seconds (GCC ~2.3s, piano ~8.4s; Clang ~2.45s, piano ~14s), showing compile times increase substantially despite functional parity between compile and run time.

AI-written summary · about

" chapters (6)

1. 0:00Introduction and motivation
2. 5:18Dynamic memory at compile time
3. 22:06Metamath project case study
4. 32:49Techniques for code generation
5. 46:56Parallelizing constexpr
6. 57:21Conclusion and Q&A

" related talks

• 01h 07mHeterogeneous Modern C++ with SYCLMichael S Wong, Nevin Liber, Tom Deakin, Gordon Brown · CppCon 2021
• 40mParallelizing the Standard Algorithms LibraryJared Hoberock · CppCon 2014
• 01h 14mC++ on the Web: Ponies for developers without pwn’ing usersJF Bastien · CppCon 2015
• 01h 01mTake Advantage of All the MIPS - SYCL & C++Michael S Wong, Nevin Liber, Ronan Keryell, Hugh Delaney, Jakub Chlanda · CppCon 2022
• 56m“Towards Heterogeneous Programming in C++"Gordon Brown, Michael Wong · CppCon 2016
• 58mGenerating OpenCL/CUDA source code from C++ expressions in VexCLDennis Demidov · Meeting C++ 2014
• 57mC++ on the Web: Let's have some serious fun.Dan Gohman · CppCon 2016
• 48mBridging the Gap: Writing Portable C++ Programs for CPU and GPUThomas Mejstrik · CppCon 2024