Что означает строгая типизация в программировании?

Строгая типизация означает, что тип данных переменной определяется на этапе компиляции или выполнения, и язык программирования следит за соблюдением этих типов, ограничивая или запрещая операции между несовместимыми типами.

Основные характеристики в контексте Python (динамическая, утиная типизация, но тем не менее считается условно "строгой" в сравнении с C/C++):

• Неявное преобразование типов: Python выполняет меньше автоматических преобразований типов, чем некоторые другие языки. Например, нельзя напрямую сложить строку и число.

  # Пример неявного преобразования, которое не сработает
  # print("Число: " + 5) # Вызовет TypeError
  

• Проверка типов во время выполнения: Ошибки, связанные с несовместимостью типов, обычно обнаруживаются во время выполнения программы.

  # Пример проверки типа во время выполнения
  def add_numbers(a, b):
      if not isinstance(a, (int, float)) or not isinstance(b, (int, float)):
          raise TypeError("Оба аргумента должны быть числами")
      return a + b
  
  # add_numbers(5, "текст") # Вызовет TypeError
  

• Сохранение типа: Тип данных переменной обычно сохраняется на протяжении ее жизненного цикла, если не происходит явного преобразования или присвоения значения другого типа.

  # Пример сохранения типа
  x = 10      # x имеет тип int
  x = "Hello" # Теперь x имеет тип str - динамическая типизация, но тип сохраняется после присвоения
  

Строгая типизация (даже в динамически_типизированном Python) помогает предотвратить ошибки, связанные с некорректными операциями между данными разных типов, делая код более предсказуемым и безопасным.