Хотите холиварную тему?
Я не читал 300 сообщений про буфер на стеке. Но представим, что буфер у нас таки есть, или он образуется при первом вызове и далее переиспользуется. То есть нечто вроде Lazy<Buffer> buffer.
А ведь при каждом обращении к этому буферу будет происходить проверка, может это самый первый вызов и нам надо его инициализировать. Между тем, после инициализации буфера можно было бы модифицировать сам код проверки, поставив туда безусловный переход или nop, или нечто вроде.
Что-то подобное умеет делать JVM-оптимизатор. А вот в языках без VM я что-то не помню возможностей языка переписывать сам исполняемый код во время исполнения.
А зря, потому что такая возможность есть.