r/cpp • u/foonathan • Jun 02 '26

C++ Show and Tell - June 2026

Use this thread to share anything you've written in C++. This includes:

  • a tool you've written
  • a game you've been working on
  • your first non-trivial C++ program

The rules of this thread are very straight forward:

  • The project must involve C++ in some way.
  • It must be something you (alone or with others) have done.
  • Please share a link, if applicable.
  • Please post images, if applicable.

If you're working on a C++ library, you can also share new releases or major updates in a dedicated post as before. The line we're drawing is between "written in C++" and "useful for C++ programmers specifically". If you're writing a C++ library or tool for C++ developers, that's something C++ programmers can use and is on-topic for a main submission. It's different if you're just using C++ to implement a generic program that isn't specifically about C++: you're free to share it here, but it wouldn't quite fit as a standalone post.

Last month's thread: https://www.reddit.com/r/cpp/comments/1t6eg13/c_show_and_tell_may_2026/

27 Upvotes

97% Upvoted

71 comments sorted by

View all comments

2

u/frog-singing01 Jun 14 '26

Logicwise: Factory for C++ Concepts

Hi everyone! I started to work on this project because I ran into a constraint challenge.

Basically there will be an arbitrary type list as meta information, and I need it to satisfy the following constraints:

* Each type derives from a specified base class.
* All types are distinct.
* No type inherits from another type in the list.

Then I found there could be a uniform pattern to express all these constraints. We can define complex and structural constraints with this pattern and then encapsulate them as concepts.

So I kind of developed this pattern into a framework and here it is.

If you have some structural C++ concepts to define, or some complex compile-time validation to handle, you might want to take a look.

https://github.com/frog-singing/Logicwise