Если кому-то интересно. Кажется, мы с @Malbu0698 заставили работать компил-тайм счётчик на C++11.

Сейчас внутренний код требует некоторого объема бойлерплейта, так что пришлось воспользоваться Boost Preprocessor. Число итераций счётчика ограничено сравнительно небольшим числом, но, полагаю, это временное ограничение и у меня есть догадки как  решить проблему

Увы, я пока не добавил в репозиторий пример и тесты, так что вот короткий пример:

#define CURIOUS_LOOPHOLED_COUNTER_LIMIT 10
...
static_assert(clc::counter() == 1, "");
static_assert(clc::counter() == 2, "");
static_assert(clc::counter() == 3, ""); 
...
static_assert(clc::counter() == 9, "");
static_assert(clc::counter() == 10, ""); // Failed


Работает, как указано, на Clang >= 3.9 и GCC >= 7.1. MSVC как всегда, его я не спешу указывать, он тоже работает, но явно не последовательные значения выдаёт, так что его пока не указал, для msvc 19.14:

static_assert(
        clc::counter() != clc::counter() 
     && clc::counter() != clc::counter(), "");

Кажется, всё уже украдено до нас, и неоднократно. Если правильно помню, вот один из первых примеров такого лупхола (перевод): https://habr.com/ru/post/268141/

Зачем его закрывать? Пусть будет что-нибудь эквивалентное по результату.

magic_get (хотя КМК он и без лупхолов работает, @antoshkka подтвердит или опровергнет)

Там маппинг id на тип. Без лупхола не обойтись для генерации id.

magic_get (хотя КМК он и без лупхолов работает, @antoshkka подтвердит или опровергнет)

Для magic_get вроде уже Антон согласился, что надо tuple_get сделать для агрегатов

Потому что constexpr обязан быть чистым

magic_get (хотя КМК он и без лупхолов работает, @antoshkka подтвердит или опровергнет)

Для magic_get вроде уже Антон согласился, что надо tuple_get сделать для агрегатов

Работает и без лупхола (через structured bindings, а ещё через статическую мапу для подов)

Даже предложение написал https://apolukhin.github.io/papers/Aggregates%20are%20named%20tuples.html