class tag;

template
struct type { friend constexpr auto get(type); };

template<class TKey, class TValue>
struct set { friend constexpr auto get(TKey) { return TValue{}; } };

void foo() {            // never called
 if constexpr(false) { // never true
   if (false) {        // never true
       constexpr auto call = [](auto value) { std::printf("called %d", value); };
       void(set<type, decltype(call)>{});
   }
 }
}

int main() {
 get(type{})(42); // prints called 42
}

Привет, Хабр. Пару дней назад мне на глаза попался вот этот твит: C++ - Stateful TMP#cpp #cplusplus #Cpp20https://t.co/Q3sh3XtiHC pic.twitter.com/AkCRB2zvrT— Kri...

[color=blue][u]https://twitter.com/krisjusiak/status/1186363017329594368[/color][/u]
[b]Какой C++20 )))[/b]