Determine type in python

Проверка типов данных и «утиная» типизация в Python

В этой статье мы вам расскажем о проверке типов, о различных типах данных в разных языках, а также о неявной типизации и подсказках.

В Python проверка типов выполняется в интерпретаторе. Так как Python — язык с динамической типизацией, он не заставляет пользователя принудительно указывать тип объектов. Это потенциально может привести к ошибкам, причем их будет трудно найти. Чтобы избежать этого, Python можно использовать вместе с другими инструментами и реализовывать проверки типов вместе с собственным алгоритмом неявной типизации.

Существует два метода типизации, за каждым из которых стоят определенные языки программирования:

Языки со статической типизацией

Проверка типа переменной выполняется во время компиляции. Кроме того, система типов языка заставляет явно объявлять «тип данных» переменной перед ее использованием.

Вот ряд языков программирования со статической типизацией: Scala, Java, C++ и так далее. Например, объявление переменной строкового типа в языке Scala выглядит следующим образом:

var myCar:String = "Mercedes";

В этом примере мы видим, что переменная myCar объявлена явным образом как тип данных String со значением Mercedes .

Языки с динамической типизацией

В этих языках проверка типа переменной выполняется во время выполнения. Кроме того, система типизации языка не требует явного объявления типа данных переменной перед ее использованием. К языкам программирования с динамической типизацией относятся Python, JavaScript, Ruby и так далее.

Например, переменная строкового типа в языке Python определяется следующим образом:

Здесь мы видим, что переменную myCar не нужно явно объявлять.

Функции type() и ‘isinstance() в Python

Тип переменной в Python можно определить при помощи встроенной функции type() . Функция type() может использоваться во время выполнения программы в целях отладки, чтобы точно идентифицировать типы используемых переменных. Давайте проверим тип переменной:

my_var = 12 print(type(my_var))

Приведенный выше код выдает в качестве результата ‘int’. Тип данных переменной my_var является целочисленным, и функция type() определяет его именно таким образом.

При помощи функции isinstance(‘ obj ‘,’ class ‘) в языке Python можно определить, является ли данный объект ( ‘obj’ ) экземпляром класса ( ‘class’ ). Возвращается булево значение ( True или False ).

my_var = "Hello" print(isinstance(my_var,str))

Приведенный выше код выдает в качестве результата True . Поскольку тип данных переменной my_var строковый, то данная переменная является экземпляром класса str и функция isinstance() это удостоверяет.

Неявная («утиная») типизация в Python

В Python действует популярный принцип: «Если это выглядит как утка, плавает как утка и крякает как утка, то это, вероятно, и есть утка». Попросту говоря, тип объекта или класса не имеет значения, но объект должен содержать аналогичные методы и свойства, тогда объект может использоваться для определенной цели.
Давайте разберем это на конкретном примере.

У нас есть два класса: Duck и Human . Класс Duck содержит методы quack и fly . Аналогично класс Human — это класс со своим собственным набором методов quack и fly . Duck и Human это разные классы и, соответственно, объекты этих классов также отличаются друг от друга. Однако класс Human содержит те же методы, quack и fly , что есть и в классе Duck . Ещё у нас есть метод fly_quack() . Он больше подошел бы утке (класс Duck ), чем человеку (класс Human ), так как с помощью данного метода можно одновременно крякать и летать.

class Duck: def quack(self): print('Quack') def fly(self): print('Flap') class Human: def quack(self): print('Trying to Quack like a duck') def fly(self): print('Spreading my arm to flap like a duck') def fly_quack(thing): thing.quack() thing.fly()

Давайте теперь создадим в переменной du экземпляр класса Duck и передадим его в функцию fly_quack(du) . Точно также в переменной h создадим экземпляр класса Human и передадим его в ту же функцию.

du = Duck() fly_quack(du) h = Human() fly_quack(h)

Результат выполнения данного кода будет следующим:

Quack Flap Trying to Quack like a duck Spreading my arm to flap like a duck

Поскольку Duck и Human это разные классы, Python повторно вызывает функцию fly_quack() для экземпляра класса Human . И хотя класс Human имеет похожие методы quack и fly , типы объектов были разными и поэтому все работает правильно и вызываются верные методы.

Подсказки типов и модуль mypy

У динамически типизированных языков, таких как Python, есть свои мощные преимущества, но есть и некоторые недостатки. Одним из недостатков является возникновение ошибок выполнения (runtime error) когда Python не производит принудительного преобразования типов. В результате могут возникать баги, которые с увеличением длины кода становится все трудней найти.

Подсказки типов реализованы в Python начиная с версии 3.5. А более старые версии могут не поддерживать данный функционал.

Давайте посмотрим простой пример без подсказок типов и модуля mypy.

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

def sub_this(x,y): return 'Subtraction' print(sub_this(8,'hello'))

Здесь функция должна принимать два целых числа x и y , но, поскольку никаких ограничений не наложено, она может принимать переменные любого типа данных. Также надо заметить, что данная функция вернет значение ‘Subtraction’ при любых входных данных, а нам бы хотелось видеть целочисленное значение.

Давайте рассмотрим выполнение данного кода с подсказками и модулем mypy . С его помощью можно реализовать проверку статических типов и легко уменьшить количество ошибок в программе.

mypy — это модуль Python, который помогает в проверке статических типов. Он использует собственную динамическую проверку Python или неявную («утиную») типизацию с подсказкой самого типа.

Для начала вам нужно установить сам модуль mypy:

Далее вам нужно создать файл с именем mypy_example.py на своем локальном компьютере и сохранить туда следующий код:

def sub_this(x:int,y:int) -> int: return 'Subtracted two integers' print(sub_this(8,4))

Это простая программа, которая принимает два целых числа в качестве входных данных в параметре, а после ‘->’ показывает тип возвращаемых данных, который также является целочисленным (‘int’). Но хотя функция должна возвращать целочисленное значение (int), возвращается строка ‘Subtracted two integers’.

Запустите указанный выше код в терминале следующим образом:

После этого будет показана ошибка, указывающая на несоответствие типов (должен быть ‘int», а выдается ‘str’).

Давайте теперь изменим тип возвращаемого значения. Заменим строковое значение на разницу двух целых чисел. Таким образом, будет возвращаться целочисленное значение.

def sub_this(x:int,y:int) -> int: return x - y print(sub_this(8,4))

Мы видим, что программа выполняется успешно, никаких проблем не обнаружено.

Поздравляем!

Дочитав эту статью до конца, вы познакомились с проверкой типов и узнали о разных системах типизации в разных языках программирования. Также вы познакомились с методами type() и isinstance() языка Python и с неявной («утиной») типизации. Еще вы узнали о подсказках типов и модуле mypy .

Источник

How to Determine a Python Variable Type?

The Python built-in type() function provides a quick and easy way to determine or find a variable type. In this article, we will explore various techniques to determine a variable’s type, including the isinstance() function and specific methods to determine the type. For example, to check if a variable is a float or an integer.

1. Quick Examples to Determine a Python Variable Type

These are quick examples of how to determine a variable’s type using the type() and isinstance() functions. We will discuss these examples in more detail.

 print(type(my_dict)) # class 'dict' # isinstance() function to determine # if a variable is of a certain type print(isinstance(age, int)) # True print(isinstance(greeting, str)) # Output # True print(isinstance(numbers, list)) # True print(isinstance(my_dict, dict)) # True 

2. Use type() to get Python Variable Type

The Python type() is a built-in function that finds the data type of a variable. It takes a variable as an argument and returns the type of the variable. This function is useful when you want to check the data type of a variable or perform certain operations based on the data type. The type() function returns the type of the object in the format .

See the following example we have used with the type() function to check the variables’ type:

 # The type() function with a tuple variable y = (1, 2, 3) print(type(y)) # Output: # # The type() function with a set variable z = print(type(z)) # Output: #

3. isinstance() – Determine The Type of a Variable

Besides the type() function, We can also use the isinstance() function to check the type of a variable. The isinstance() function takes two arguments: the variable you want to check and the data type you want to check against. It returns True if the variable is of the specified data type, and False otherwise.

See if a variable value is float data type:

4. type() vs isinstance() – Which one is Good?

We can use the type() and isinstance() functions to determine the type of a variable in Python, but they differ in their approach. The type() function returns the exact type of the object, whereas the isinstance() function checks whether the object is an instance of a specific class or any of its subclasses.

Now it depends on the specific case that you will be dealing with. If you want to find the type then you have to use the type() function. Otherwise, if you want to check the type against some data type, then the isinstance() function will be a good fit.

5. __class__ Attribute – Determine the Variable Type

Python provides a special attribute called __class__ that can be used to determine the type of a variable. This attribute returns the class of an instance, which you can use to determine the type of the variable.

It is suggested not to use the __class__ attribute as the type() function is working fine to determine the type of the variable.

6. Summary and Conclusion

We have discussed several methods for determining the type of a variable in Python, including type() , isinstance() , and the __class__ attribute. type() is a reliable method that can determine the type of any object in Python and will work 99% of the time. I hope this article was helpful. Please leave a comment if you have any questions.

You may also like reading:

Источник