Что за ... вместо тела функции?

Question

[PesyCorm]

Привет!
Иногда заглядываю в исходники и ничего для себя не нахожу, потому что вместо тела функции после двоеточия стоят ...

def connect_ex(self, address: Union[_Address, bytes]) -> int: ...
def detach(self) -> int: ...
def dup(self) -> socket: ...

Что это такое? Как посмотреть исходники функции?
Спасибо

Comments

[Kadabrov]

а на каком ресурсе вы читаете код?

[PesyCorm]

На ресурсе своего компьютера)

[Kadabrov]

PesyCorm, это фича пайчарма, двойной клик по трем точкам и развернете тело функции

[Василий Банников]

Kadabrov, разве развернёт? Этож pyi

[Владимир Куц]

Kadabrov, не развернет... - там же видно что номера строк последовательно идут.
Были бы свернуты - были бы пропуски в нумерации на те строки которые не видны...

[Kadabrov]

Владимир Куц, спасибо большое, с таким еще к сожалению не сталкивался, но начал изучать этот момент

Answer 1

[Владимир Куц]

Вы бы хоть погуглили что за файл вы там пытаетесь глянуть:

.pyi файлы - это стабы (stubs), их назначение и формат описаны в PEP 484. Эти файлы вообще никак не используются интерпретатором, их назначение - предоставлять информацию о типизации кода. К примеру, у тебя есть сторонний модуль без типизации, который не твой, редактировать его ты не можешь, а прописать типы хотелось бы:

# fizz.py

def greet(who):
    return f'Hello {who}'

Выход находится с помощью стаба: создаешь файл fizz.pyi, который содержит типизированную сигнатуру greet без имплементации:

# fizz.pyi

def greet(who: str) -> str:
    ...

В этих файлах имплементация кода НЕ ПРЕДУСМОТРЕНА.

Answer 2

[Rsa97]

.pyi - stab-файлы, которые нужны только для тайпчекинга и не используются в рантайме.
https://www.python.org/dev/peps/pep-0484/#id44