Что такое «типы данных» в Python?

Question

[kazakovmaksim]

Вопрос вроде простой, задают на всех собеседованиях, но мне не всё понятно в общепринятых ответах на этот вопрос)
Вот что такое "типы данных в Python?"
Ну понятно, что это строка, список, словарь и т.д.
Но вот map, range, срез это же тоже типы данных?
И всё остальное для чего есть классы тоже же сюда следует отнести?
То есть их больше 40? (не принимая во внимание пользовательские классы).
На сколько я понимаю, все типы данных - это классы. Но верно ли обратное утверждение? Каждый класс - это отдельный тип данных?

Comments

[mkone112]

Просто прочитай Лутца.

Answer 1

[Сергей П]

Все типы данных - это классы, но не все классы - это типы данных. Хотя классы - это типы=) но не буду вас путать.
"map, range, срез" - это не типы данных.
Полагаю в том вашем вопросе од типами жанных имеют в виду простые типы вроде строк, чисел с плавающей точкой, целых чисел и даже комплЕксных.
Кортежи (tuple) и словари (dict) - это уже структуры данных, коллекции... как угодно. Да, технически это тоже классы и в каком-то смысле их можно назвать типами, но все эти терминологические дебри вам ни к чему.
Просто считайте типами данных атомарные значения простых типов. Если к вам докопаются при таком понимании, то надо таких слать=).
Дальше интереснее. range, к примеру, это класс, инстанс которого "умеет" делать генератор арифметических последовательностей. Вот это вот слово "умеет" связано с питоновским понятием протоколов. К примеру, если к объекту можно обратиться по индексу, значит он поддерживает соответствующий протокол __getitem__. Если объект поддерживает срезы, то в этот метод можно подать специальный объект - инстанс slice. Этот инстанс просто несёт три параметра среза (начало, конец и шаг), а как его будет применять объект - это на откуп программисту.

Вам, надо, наверно, еще понимать разницу между изменяемыми и неизменяемыми объектами, но... мне кажется вы решили избежать чтения учебников и планомерного изучения языка, а просто решили приёти сюда за персональным репетитором, который станет тут тратить своё время на объяснение тривиальных вещей из каждого первого учебника?

Просто доверьтесь одному из учебников и не пытайтесь перепрыгнуть через голову.

Comments

[kazakovmaksim]

Спасибо за ответ. К счастью вопросы возникли не на пустом месте и после прочтения нескольких книг.
Возможно я не верно сформулировал вопрос.
В моем вопросе под типами данных имеются ввиду именно типы данных в Python. Суть моего вопроса в том, что тип данных - это термин, у него есть много трактовок. Например "a class of data, characterized by the members of the class and the operations that can be applied to them".
Строку едва ли стоит относить к "простым" данным - это особая упорядоченная последовательность. т.е. строка это тоже упорядоченная коллекция как и список и кортеж. Просто в отличии от кортежа или списка, она хранит свои элементы непосредственно.
Я конечно занимаюсь буквоедством, но мне хотелось бы разобраться в этом вопросе не на уровне утилитарного применения.
Терминология для меня важна. А терминологические дебри - интересны.
Если под термином "простые типы данных" имеется ввиду "примитивный тип данных", то вполне возможно, что в рамках Python сюда стоит включить и кортежи и списки со словарями.
В Python 3 есть вот такие типы данных:

• Объект None.
  
• Числа (int, float, complex).
  
• Последовательности (строка, список, кортеж, bytearry, bytes).
  
• Множества (set, frozenset).
  
• Словари (dict).
  
• Вызываемые объекты (да-да, функции и методы в Python это тип данных).
  
• Логический тип (bool, класс которого наследует от int).
  

Конечно, все их можно разделить на изменяемые и не изменяемые, но вопрос мой не об этом.
Как известно в Python всё - объекты. Все объекты создаются каким-то классом, в котором определяется поведение объекта. Ну вот, функция range() возвращает специальный объект - он не словарь, не список. Но он же тоже данные, с которыми можно проделать какие-то операции, перечень которых определяется в class range. Следовательно это вполне подходит под определение типа данных.
То есть, получается, что в список чуть выше, следует добавить ещё пункт "специальные типы данных".
А если подумать, то и модули - это тоже тип данных.
Так вот мне и не понятно, почему обычно в типы данных включают int, float, complex, set, dict, tuple, bool, иногда вспоминая про frozenset и совсем редко вспоминая про bytearry, bytes. Но если посмотреть на то как реализованы классы этих объектов, становится не понятно почему бы не считать всё что создают другие классы - другими типами данных.

[Сергей П]

kazakovmaksim, видимо сказывается наследие классики вроде C, Pascal и иже с ними.
Если речь о философских вопросах в терминологических дебрях, то я тут пас, мне жалко времени на это.
Склонен считать скоре уж, что термин "тип данных" плохо применим к языку питон и вводит больше неразберихи, чем разрешает.
Пусть всё будет объектами, мутабельными и немутабельными. У объектов есть методы и протоколы, которые реализуют унарные, бинарные и тернарные операции (суть - синтаксический сахар).

[kazakovmaksim]

Сергей Паньков, вот с этим полностью согласен!

Answer 2

[SuperZombi]

Нет map, range, срез это не типы данных. Это функции. Они выполняют операции над данными.
На счет классов, да. class Int или class String описывают типы данных и их методы (функции которые можно выполнить с ними).
Если вам трудно это понять, то представьте, что тип данных это надпись на коробке, которая обозначает что в ней находится.
Например, есть две коробки, на одной написано "Игрушки", а на другой "Провода". Это своего рода типы данных.

Comments

[kazakovmaksim]

Спасибо за ответ! Но list(), int() это тоже функции) И если мы обращаемся к map, не как к функции, а к тому, что вернула эта функция, а возвращает она что? Какие-то данные. И эти данные - это объект класса map. К нему можно применить функцию list(). И получить из объекта класса map список. Тоже самое с range, срезом и т.д. Они же все реализованы как классы. Мне просто кажется что и сама по себе функция (без её вызова) - это отдельный тип данных в Python.

[mkone112]

Нет map, range, срез это не типы данных.

Нет

Это функции.

Нет, и кстати функции - тоже тип данных.

[mkone112]

kazakovmaksim,

Но list(), int() это тоже функции)

Это вызов метода инициализации класса

И если мы обращаемся к map, не как к функции, а к тому, что вернула эта функция, а возвращает она что? Какие-то данные. И эти данные - это объект класса map.

Тут я уже потерял нить.

[Hemul GM]

mkone112, ты можешь объявить переменную типа map, range?

Нет не можешь. Ты получишь переменную с функцией. Переменная будет у тебя типа func

[mkone112]

Hemul GM, а я вообще не могу объявить переменную. Имя могу. А переменную... я бы сказал нет.

[kazakovmaksim]

Hemul GM, в питоне переменные не объявляются. В нём же по другому устроено.
Есть имя, оно связывается с объектом в памяти. Сначала создается объект в памяти, а затем устанавливается ссылка с именем из пространства имен. То есть, это как-бы и не переменная.
Возьмем пример:
a = range(1, 5)
print(a) выдаст "range(1, 5)"
print(type(a)) выдаст:
<class 'range'>
То есть, "a" ссылается на какой-то конкретный объект в памяти, который имеет класс range. Он не list и не int. Он именно из class range. Вот к какому типу данных следует отнести вот этот конкретный объект из памяти?

[Hemul GM]

kazakovmaksim, конкретный класс - это тоже тип данных.

[Hemul GM]

kazakovmaksim, функция - тоже может быть типом данных. Типом переменной

[Hemul GM]

kazakovmaksim, объявление в питоне точно такое же как и в других языках. Просто используется вывод типов

[kazakovmaksim]

mkone112,

Тут я уже потерял нить.

Я имел ввиду, что a = map(int, list_a) создаст в памяти конкретный объект, который будет и не int и не list. А именно map. И для него будут доступны какие-то специфические действия, определенные его классом. т.е. это фактически специальный тип данных.

[Hemul GM]

kazakovmaksim, если что, то в Delphi (Pascal) работает точно так же.

var a := 1;
var b := 'строка';  
var c := TObject.Create;  
var f := function: integer begin Result := 123 end; // переменная типа функции
var d := f(); // d - уже будет типа integer

[Hemul GM]

kazakovmaksim, в питоне любой тип - класс. В нормальных же языках помимо классов есть примитивные типы (строка, число, вещ. число, символ, и т.д.)

[kazakovmaksim]

На сколько могу понять, d в этом примере будет integer только потому что функция возвращает integer. Но map(), range() в Python 3 возвращают свой особый объект, который не является ни списком, ни числом, ни чем-то ещё.

[Hemul GM]

kazakovmaksim, он является объектом класса которым является сам map

[kazakovmaksim]

Hemul GM,

объявление в питоне точно такое же как и в других языках. Просто используется вывод типов

В питоне всё же не объявление, а связывание.

[kazakovmaksim]

Hemul GM,

в питоне любой тип - класс. В нормальных же языках помимо классов есть примитивные типы (строка, число, вещ. число, символ, и т.д.)

Да, я именно про это! Про то как это сделано в питоне.