Действительно ли шаблоны должны быть конструкциями времени компиляции?

Действительно ли стандарт C ++ предписывает , что шаблоны должны создаваться во время компиляции, а не запускаться -time?

Если нет, то используем ли мы это соглашение исключительно потому, что очевидно имеет смысл делать это таким образом? Или есть какая-то практическая причина, которая теоретически помешала бы существовать реализации, которая может создавать экземпляры шаблонов во время выполнения?