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

R>В качестве некоего N берется sizeof всей структуры. Это дает оценку сверху максимально возможного числа полей. А дальше идут декрементом. Бинарный поиск не катит, ибо агрегатная инициализация допускает меньшее количество элементов в инициализаторе, чем число полей в структуре.

Всего-то надо найти первое количество полей, которыми уже нельзя проинициализировать.

https://github.com/boostorg/pfr/blob/develop/include/boost/pfr/detail/fields_count.hpp#L230