Здравствуйте, chaotic-kotik, Вы писали:

CK>абсолютно синтетический пример, при этом а) все типы, которые ф-я поддерживают должны перечисляться внутри
Это совсем не обязательно: просто не будет аннотации к типу, а основной цикл всё равно — работать будет.

CK>б) std::vector<int, myalloc> уже не пройдет, я уже молчу про std::array
Я деже не припомню, когда я такое последний раз применял
Ну и это можно дополнить, если так уж хочется.

CK>ну и я бы запилил такое на typeid::name и abi::__cxa_demangle (для gcc, clang)
Дело вкуса

Здравствуйте, chaotic-kotik, Вы писали:

CK>абсолютно синтетический пример, при этом а) все типы, которые ф-я поддерживают должны перечисляться внутри
Это совсем не обязательно: просто не будет аннотации к типу, а основной цикл всё равно — работать будет.

CK>б) std::vector<int, myalloc> уже не пройдет, я уже молчу про std::array
Я деже не припомню, когда я такое последний раз применял
Ну и это можно дополнить, если так уж хочется.

CK>ну и я бы запилил такое на typeid::name и abi::__cxa_demangle (для gcc, clang)
Дело вкуса

P.S. Несмотря на то, что пример действительно носит оттенок "синтетики", он позволяет скептикам (типа ТС), немного приоткрыть для себя C++17.