Доказательство zst для конструирования или ссылок из воздуха бесполезно. Надо, чтобы можно было его создать не просто конструктором, а тривиальным конструктором. Потом можно размер проверить. И уже затем плодить сколько угодно. С существующим константным значением и ограничением на размер можно максимум плодить ссылки из воздуха, и то не факт.
с целом испытваю проблемы с пониманием идиом при работе со строками и фиксироваными массивами символов будь то одно, двух или четырех байтовые символы. нет случайно на примете хорошой статьи объясняющей данные идеомы и или шаблоны кода?