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

R>расскажите по эту конструкцию
R>это 17 стандарт ?
R>краткая запись того что функция overloaded возвращает структуру оверлоадед ? тело автоматом создастся ?
R>или это только декларация без тела ?

декларация.
на ее основании автоматически выводятся типы шаблонных параметров template<class... Ts> у класса,
чтобы можно было просто писать overloaded вместо overloaded<T1, T2, ...>