Допустимо ли использование статической диспетчеризации для всех типов данных, являющихся значениями?

Статическая диспетчеризация означает, что выбор метода для вызова происходит во время компиляции, а не во время выполнения. В Swift, например, для значимых типов (struct, enum) по умолчанию используется статическая диспетчеризация, что повышает производительность.

Однако, использование статической диспетчеризации для всех значимых типов не всегда допустимо или удобно. Если требуется полиморфизм и динамический выбор реализации (например, через протоколы с классами или наследование), тогда нужна динамическая диспетчеризация.

Таким образом, статическая диспетчеризация подходит для значимых типов, когда не требуется динамическое поведение, но для всех случаев её использовать нельзя, особенно если нужен runtime-полиморфизм.