Оно только при первом вычислении выделяет столько, чтоб точно хватало, а потом использует уже имеющееся. Остается, конечно, небольшой оверхед (только в случае стека - не более 80 байт), если критично, можно и подсчитывать при компиляции, конечно.

А вот это кстати классный вариант, достойное предложение.

Не, не сможет. Аргументы рассматриваются последовательно, и при первом встречном %n сразу будет "это не константа, значит пишем в программу".