형 객체 구조¶
Python 객체 시스템에서 가장 중요한 구조 중 하나는 새로운 형을 정의하는 구조인 PyTypeObject 입니다. 형 객체는 PyObject_* 또는 PyType_* 함수를 사용하여 처리할 수 있지만, 대부분의 Python 애플리케이션에서는 특별히 흥미로운 기능을 제공하지 않습니다. 이러한 객체들은 객체의 동작 방식에 있어 근간이 되므로 인터프리터 자체와 새로운 형을 구현하는 모든 확장 모듈에 매우 중요합니다.
형 객체는 대부분 표준형보다 상당히 큽니다. 크기가 큰 이유는 각 형 객체가 많은 수의 값을 저장하기 때문인데, 주로 C 함수 포인터이고 각기 형의 기능 중 작은 부분을 구현합니다. 이 섹션에서는 형 객체의 필드를 자세히 살펴봅니다. 필드는 구조체에서 나타나는 순서대로 설명됩니다.
다음의 간략 참조 외에도, 예 섹션은 PyTypeObject의 의미와 사용에 대한 통찰을 제공합니다.
간략 참조¶
“tp 슬롯”¶
PyTypeObject 슬롯 [1] |
특수 메서드/어트리뷰트 |
정보 [2] |
||||
|---|---|---|---|---|---|---|
O |
T |
D |
I |
|||
<R> |
const char * |
__name__ |
X |
X |
||
X |
X |
X |
||||
X |
X |
|||||
X |
X |
X |
||||
X |
X |
|||||
__getattribute__, __getattr__ |
G |
|||||
__setattr__, __delattr__ |
G |
|||||
% |
||||||
__repr__ |
X |
X |
X |
|||
% |
||||||
% |
||||||
% |
||||||
__hash__ |
X |
G |
||||
__call__ |
X |
X |
||||
__str__ |
X |
X |
||||
__getattribute__, __getattr__ |
X |
X |
G |
|||
__setattr__, __delattr__ |
X |
X |
G |
|||
% |
||||||
unsigned long |
X |
X |
? |
|||
const char * |
__doc__ |
X |
X |
|||
X |
G |
|||||
X |
G |
|||||
__lt__, __le__, __eq__, __ne__, __gt__, __ge__ |
X |
G |
||||
X |
? |
|||||
__iter__ |
X |
|||||
__next__ |
X |
|||||
|
X |
X |
||||
|
X |
|||||
|
X |
X |
||||
__base__ |
X |
|||||
|
__dict__ |
? |
||||
__get__ |
X |
|||||
__set__, __delete__ |
X |
|||||
X |
? |
|||||
__init__ |
X |
X |
X |
|||
X |
? |
? |
||||
__new__ |
X |
X |
? |
? |
||
X |
X |
? |
? |
|||
X |
X |
|||||
< |
|
__bases__ |
~ |
|||
< |
|
__mro__ |
~ |
|||
[ |
|
|||||
void * |
__subclasses__ |
|||||
|
||||||
( |
||||||
unsigned int |
||||||
__del__ |
X |
|||||
부호 없는 char |
||||||
서브 슬롯¶
슬롯 |
특수 메서드 |
|
|---|---|---|
__await__ |
||
__aiter__ |
||
__anext__ |
||
__add__ __radd__ |
||
__iadd__ |
||
__sub__ __rsub__ |
||
__isub__ |
||
__mul__ __rmul__ |
||
__imul__ |
||
__mod__ __rmod__ |
||
__imod__ |
||
__divmod__ __rdivmod__ |
||
__pow__ __rpow__ |
||
__ipow__ |
||
__neg__ |
||
__pos__ |
||
__abs__ |
||
__bool__ |
||
__invert__ |
||
__lshift__ __rlshift__ |
||
__ilshift__ |
||
__rshift__ __rrshift__ |
||
__irshift__ |
||
__and__ __rand__ |
||
__iand__ |
||
__xor__ __rxor__ |
||
__ixor__ |
||
__or__ __ror__ |
||
__ior__ |
||
__int__ |
||
void * |
||
__float__ |
||
__floordiv__ |
||
__ifloordiv__ |
||
__truediv__ |
||
__itruediv__ |
||
__index__ |
||
__matmul__ __rmatmul__ |
||
__imatmul__ |
||
__len__ |
||
__getitem__ |
||
__setitem__, __delitem__ |
||
__len__ |
||
__add__ |
||
__mul__ |
||
__getitem__ |
||
__setitem__ __delitem__ |
||
__contains__ |
||
__iadd__ |
||
__imul__ |
||
__buffer__ |
||
__release_buffer__ |
||
슬롯 typedef¶
typedef |
매개 변수 형 |
반환형 |
|---|---|---|
|
||
|
void |
|
void * |
void |
|
int |
||
|
||
int |
||
|
|
|
PyObject *const char *
|
|
|
int |
||
|
||
int |
||
|
||
int |
||
|
Py_hash_t |
|
|
||
|
|
|
|
|
|
|
||
int |
||
void |
||
|
int |
|
PyObject * |
|
|
|
||
|
||
|
||
int |
||
int |
||
int |
자세한 내용은 아래 슬롯 형 typedef를 참조하십시오.
PyTypeObject 정의¶
PyTypeObject 의 구조 정의는 Include/cpython/object.h 에서 확인할 수 있습니다. 참고의 편의를 위해 해당 위치에 있는 정의를 다시 적습니다:
typedef struct _typeobject {
PyObject_VAR_HEAD
const char *tp_name; /* 출력용, "<module>.<name>" 형식 */
Py_ssize_t tp_basicsize, tp_itemsize; /* 할당용 */
/* 표준 동작을 구현하기 위한 메서드 */
destructor tp_dealloc;
Py_ssize_t tp_vectorcall_offset;
getattrfunc tp_getattr;
setattrfunc tp_setattr;
PyAsyncMethods *tp_as_async; /* 이전 명칭: tp_compare (Python 2)
또는 tp_reserved (Python 3) */
reprfunc tp_repr;
/* 표준 클래스용 메서드 세트 */
PyNumberMethods *tp_as_number;
PySequenceMethods *tp_as_sequence;
PyMappingMethods *tp_as_mapping;
/* 기타 표준 동작 (이진 호환성용) */
hashfunc tp_hash;
ternaryfunc tp_call;
reprfunc tp_str;
getattrofunc tp_getattro;
setattrfunc tp_setattro;
/* 객체를 입출력 버퍼로 접근하기 위한 함수 */
PyBufferProcs *tp_as_buffer;
/* 선택적/확장 기능의 존재를 정의하는 플래그 */
unsigned long tp_flags;
const char *tp_doc; /* 설명 문자열 */
/* 릴리스 2.0에서 의미 부여됨 */
/* 모든 접근 가능한 객체에 대한 탐색 기능 */
traverseproc tp_traverse;
/* 포함된 객체에 대한 참조 삭제 */
inquiry tp_clear;
/* 릴리스 2.1에서 의미 부여됨 */
/* 풍부한 비교(rich comparisons) */
richcmpfunc tp_richcompare;
/* 약한 참조 활성화 */
Py_ssize_t tp_weaklistoffset;
/* 반복자(Iterators) */
getiterfunc tp_iter;
iternextfunc tp_iternext;
/* 속성 설명자 및 서브클래싱 관련 사항 */
PyMethodDef *tp_methods;
PyMemberDef *tp_members;
PyGetSetDef *tp_getset;
// 힙 타입에서는 강한 참조, 정적 타입에서는 빌려온(borrowed) 참조
PyTypeObject *tp_base;
PyObject *tp_dict;
descrgetfunc tp_descr_get;
descrsetfunc tp_descr_set;
Py_ssize_t tp_dictoffset;
initproc tp_init;
allocfunc tp_alloc;
newfunc tp_new;
freefunc tp_free; /* 낮은 수준의 메모리 해제 루틴 */
inquiry tp_is_gc; /* PyObject_IS_GC용 */
PyObject *tp_bases;
PyObject *tp_mro; /* 메서드 결정 순서 */
PyObject *tp_cache; /* 더 이상 사용되지 않음 */
void *tp_subclasses; /* 정적 내장 타입의 경우 인덱스 역할 */
PyObject *tp_weaklist; /* 정적 내장 타입에서는 사용되지 않음 */
destructor tp_del;
/* 타입 속성 캐시 버전 태그. 2.6 버전에서 추가됨.
* 0인 경우 캐션이 유효하지 않으며 초기화가 필요함.
*/
unsigned int tp_version_tag;
destructor tp_finalize;
vectorcallfunc tp_vectorcall;
/* 이 타입을 주의 깊게 관찰하는 타입-감시자(type-watcher)의 비트셋 */
unsigned char tp_watched;
/* 사용된 tp_version_tag 값의 수.
* 이 형에 대한 속성 캐시가 비활성화된 경우(예: 사용자 정의 MRO 항목으로 인해)
* _Py_ATTR_CACHE_UNUSED로 설정됩니다.
* 그렇지 않으면, 다른 곳에서 정의된 MAX_VERSIONS_PER_CLASS로 제한됩니다.
*/
uint16_t tp_versions_used;
} PyTypeObject;
PyObject 슬롯¶
The type object structure extends the PyVarObject structure. The
ob_size field is used for dynamic types (created by type_new(),
usually called from a class statement). Note that PyType_Type (the
metatype) initializes tp_itemsize, which means that its instances (i.e.
type objects) must have the ob_size field.
The type object’s reference count is initialized to
1by thePyObject_HEAD_INITmacro. Note that for statically allocated type objects, the type’s instances (objects whoseob_typepoints back to the type) do not count as references. But for dynamically allocated type objects, the instances do count as references.계승:
이 필드는 서브 형에 의해 상속되지 않습니다.
이것은 형의 형, 즉 메타 형(metatype)입니다.
PyObject_HEAD_INIT매크로에 대한 인자로 초기화되며, 값은 일반적으로&PyType_Type이어야 합니다. 그러나, (적어도) 윈도우에서 사용 가능해야 하는 동적으로 로드 가능한 확장 모듈의 경우, 컴파일러는 유효한 초기화자가 아니라고 불평합니다. 따라서, 규칙은NULL을PyObject_HEAD_INIT매크로로 전달하고, 다른 작업을 수행하기 전에 모듈의 초기화 함수 시작에서 필드를 명시적으로 초기화하는 것입니다. 이것은 일반적으로 다음과 같이 수행됩니다:Foo_Type.ob_type = &PyType_Type;이 작업은 해당 형의 인스턴스가 생성되기 전에 수행되어야 합니다.
PyType_Ready()는ob_type이NULL인지 확인하고, 그렇다면 이를 기본 클래스의ob_type필드로 초기화합니다.PyType_Ready()는 해당 필드가 0이 아닌 경우 값을 변경하지 않습니다.계승:
이 필드는 서브 형으로 상속됩니다.
PyVarObject 슬롯¶
정적으로 할당된 형 객체 의 경우, 이 필드는 0으로 초기화되어야 합니다. 동적으로 할당된 형 객체 의 경우, 이 필드는 특별한 내부적 의미를 갖습니다.
이 필드는
Py_SIZE()매크로를 사용하여 접근해야 합니다.계승:
이 필드는 서브 형에 의해 상속되지 않습니다.
PyTypeObject 슬롯¶
각 슬롯은 상속을 설명하는 섹션을 포함합니다. 만약 필드가 NULL 로 설정되었을 때 PyType_Ready() 가 값을 할당할 가능성이 있다면 “Default” 섹션도 존재합니다. (참고로, PyBaseObject_Type 및 PyType_Type 에 설정된 많은 필드가 사실상 기본값 역할을 합니다.)
-
const char *PyTypeObject.tp_name¶
해당하는
슬롯 ID에 대해서는Py_tp_name을 참조하십시오.형의 이름을 포함하는 널 종료 문자열을 가리키는 포인터입니다. 모듈 전역 변수로 접근 가능한 형의 경우, 이 문자열은 전체 모듈 이름 뒤에 점(.)이 오고 그 뒤에 형 이름이 붙어야 합니다. 내장형 형의 경우, 단순히 형 이름만 포함하면 됩니다. 만약 해당 모듈이 패키지의 서브모듈인 경우, 전체 패키지 이름이 전체 모듈 이름에 포함됩니다. 예를 들어, 패키지
P의 서브패키지Q내 모듈M에서 정의된T라는 형은tp_name초기값으로"P.Q.M.T"를 가져야 합니다.동적으로 할당된 형 객체 의 경우, 이 필드는 단순히 형 이름이어야 하며, 모듈 이름은 타입 딕셔너리에
'__module__'키의 값으로 명시적으로 저장되어야 합니다.정적으로 할당된 형 객체 의 경우, tp_name 필드에 점(.)이 포함되어야 합니다. 마지막 점 이전의 모든 내용은
__module__속성으로, 마지막 점 이후의 모든 내용은__name__속성으로 접근 가능하게 됩니다.점이 없는 경우,
tp_name필드 전체가__name__속성으로 접근 가능해지며,__module__속성은 정의되지 않습니다(위에서 설명한 대로 딕셔너리에 명시적으로 설정하지 않는 한). 이는 해당 형을 피클링하는 것이 불가능함을 의미합니다. 또한, pydoc으로 생성된 모듈 문서에도 포함되지 않습니다.이 필드는
NULL이 아니어야 합니다.PyTypeObject()에서 유일하게 필요한 필드입니다 (잠재적인tp_itemsize를 제외하고).계승:
이 필드는 서브 형에 의해 상속되지 않습니다.
-
Py_ssize_t PyTypeObject.tp_basicsize¶
-
Py_ssize_t PyTypeObject.tp_itemsize¶
이 필드를 사용하면 형 인스턴스의 크기를 바이트 단위로 계산할 수 있습니다.
해당하는
Slot ID에 대해서는Py_tp_basicsize,Py_tp_extra_basicsize, 그리고Py_tp_itemsize를 참조하십시오.타입에는 두 종류가 있습니다. 고정 길이 인스턴스를 가진 타입은
tp_itemsize필드가 0이며, 가변 길이 인스턴스를 가진 타입은tp_itemsize필드가 0이 아닙니다. 고정 길이 인스턴스를 가진 타입의 경우 모든 인스턴스는tp_basicsize에 정의된 것과 동일한 크기를 가집니다. (PyUnstable_Object_GC_NewWithExtraData()를 사용하여 이 규칙의 예외를 만들 수 있습니다.)가변 길이 인스턴스를 가진 타입의 경우, 인스턴스는
ob_size필드를 가져야 하며, 인스턴스 크기는tp_basicsize`에 N 곱하기 :c:member:!tp_itemsize`를 더한 값입니다. 여기서 N은 객체의 “길이”를 의미합니다.PyObject_NewVar()와 같은 함수는 N의 값을 인수로 받아 인스턴스의ob_size필드에 저장합니다.ob_size필드는 나중에 다른 용도로 사용될 수 있음에 유의하십시오. 예를 들어,int인스턴스는ob_size의 비트를 구현 정의 방식에 따라 사용하며, 실제 저장소와 그 크기는PyLong_Export()를 사용하여 접근해야 합니다.참고
ob_size필드는Py_SIZE()및Py_SET_SIZE()매크로를 사용하여 접근해야 합니다.또한, 인스턴스 레이아웃에
ob_size필드가 존재한다고 해서 인스턴스 구조가 가변 길이임을 의미하는 것은 아닙니다. 예를 들어,list타입은 고정 길이 인스턴스를 가지지만 해당 인스턴스들은ob_size필드를 가지고 있습니다. (int와 마찬가지로, 리스트의ob_size를 직접 읽는 것을 피하십시오. 대신PyList_Size()를 호출하십시오.)tp_basicsize은 해당 타입의tp_base데이터에 필요한 크기와 각 인스턴스에서 필요한 추가 데이터를 포함합니다.tp_basicsize`를 설정하는 올바른 방법은 인스턴스 레이아웃을 선언하는 데 사용되는 구조체에 ``sizeof`연산자를 사용하는 것입니다. 이 구조체는 기본 타입을 선언하는 데 사용된 구조체를 포함해야 합니다. 즉,tp_basicsize`는 반드시 베이스의 :c:member:!tp_basicsize`보다 크거나 같아야 합니다.모든 타입은
object의 서브 타입이므로, 이 구조체는ob_size포함 여부에 따라PyObject또는PyVarObject를 포함해야 합니다. 이들은 대개 각각 매크로PyObject_HEAD또는PyObject_VAR_HEAD에 의해 정의됩니다.기본 크기에는 GC 헤더 크기가 포함되지 않는데, 이는 해당 헤더가
PyObject_HEAD의 일부가 아니기 때문입니다.기본 타입을 선언하는 데 사용되는 구조체를 알 수 없는 경우,
PyType_Spec.basicsize및PyType_FromMetaclass()를 참조하십시오.정렬에 관한 참고 사항:
tp_basicsize는_Alignof(PyObject)의 배수여야 합니다. 권장되는 대로PyObject_HEAD를 포함하는struct에sizeof를 사용하는 경우 컴파일러가 이를 보장합니다. Cstruct를 사용하지 않거나__attribute__((packed))와 같은 컴파일러 확장을 사용하는 경우에는 개발자가 직접 관리해야 합니다.가변 항목이 특정 정렬을 요구하는 경우,
tp_basicsize와tp_itemsize는 각각 해당 정렬의 배수여야 합니다. 예를 들어, 어떤 타입의 가변 부분이double을 저장하는 경우 두 필드 모두_Alignof(double)의 배수가 되도록 하는 것은 개발자의 책임입니다.
계승:
이 필드들은 서브 타입에 의해 개별적으로 상속됩니다. (즉, 필드가 0으로 설정된 경우,
PyType_Ready()가 기본 타입에서 값을 복사하며 이는 인스턴스가 추가 저장 공간을 필요로 하지 않음을 의미합니다.)If the base type has a non-zero
tp_itemsize, it is generally not safe to settp_itemsizeto a different non-zero value in a subtype (though this depends on the implementation of the base type).
-
destructor PyTypeObject.tp_dealloc¶
The corresponding slot ID
Py_tp_deallocis part of the 안정 ABI.인스턴스 파괴자 함수에 대한 포인터입니다. 함수 서명은 다음과 같습니다:
void tp_dealloc(PyObject *self);
파괴자 함수는 인스턴스가 소유한 모든 참조를 제거(예:
Py_CLEAR()호출)하고, 인스턴스가 소유한 모든 메모리 버퍼를 해제하며, 해당 타입의tp_free함수를 호출하여 객체 자체를 해제해야 합니다.에러 표시기를 설정할 수 있는 함수를 호출해야 하는 경우, 기존 에러 표시기가 덮어씌워지지 않도록(다른 에러를 처리하는 중에 해제가 발생했을 수 있으므로)
PyErr_GetRaisedException()및PyErr_SetRaisedException()을 사용해야 합니다:static void foo_dealloc(foo_object *self) { PyObject *et, *ev, *etb; PyObject *exc = PyErr_GetRaisedException(); ... PyErr_SetRaisedException(exc); }
dealloc 핸들러 자체는 예외를 발생시켜서는 안 됩니다. 에러 케이스에 도달하면
PyErr_FormatUnraisable()을 호출하여 발생시킬 수 없는 예외를 기록(및 제거)해야 합니다.다음 상황을 제외하고 객체가 언제 파괴되는지에 대한 보장은 없습니다:
파이썬은 객체의 마지막 참조가 삭제된 직후 또는 약간의 시간이 흐른 뒤에 객체를 파괴합니다. 단, 최종화 프로그램(
tp_finalize)에 의해 객체가 다시 살아나는(resurrect) 경우는 제외됩니다.객체가 자동으로 최종화(
tp_finalize)되거나 자동 정리(tp_clear)되는 동안에는 파괴되지 않습니다.
현재 CPython은 새로운 참조 횟수가 0이 될 때
Py_DECREF()에서 즉시 객체를 파괴하지만, 이는 향후 버전에서 변경될 수 있습니다.객체가 파괴되기 전에 항상 최종화되도록 보장하기 위해
tp_dealloc시작 부분에서PyObject_CallFinalizerFromDealloc()을 호출하는 것이 좋습니다.형이 가비지 수거를 지원하는 경우(
Py_TPFLAGS_HAVE_GC플래그 설정됨), 파괴자는 모든 멤버 필드를 지우기 전에PyObject_GC_UnTrack()을 호출해야 합니다.코드 중복을 줄이고 객체가 파괴되기 전에 항상 정리됨을 보장하기 위해
tp_dealloc에서tp_clear를 호출하는 것이 허용됩니다. 단,tp_clear가 이미 호출되었을 수 있으므로 주의하십시오.형이 힙에 할당된 경우(
Py_TPFLAGS_HEAPTYPE), deallocer는 타입 deallocer를 호출한 후 자신의 타입 객체에 대한 소유 참조를 해제해야 합니다(Py_DECREF()). 아래 예제 코드를 참조하십시오.:static void foo_dealloc(PyObject *op) { foo_object *self = (foo_object *) op; PyObject_GC_UnTrack(self); Py_CLEAR(self->ref); Py_TYPE(self)->tp_free(self); }
tp_dealloc은 예외 상태를 변경하지 않은 채로 유지해야 합니다. 예외를 발생시킬 수 있는 것을 호출해야 하는 경우, 예외 상태를 먼저 백업하고 나중에 복원해야 합니다(PyErr_WriteUnraisable()을 사용하여 모든 예외를 기록한 후).예제:
static void foo_dealloc(PyObject *self) { PyObject *exc = PyErr_GetRaisedException(); if (PyObject_CallFinalizerFromDealloc(self) < 0) { // self was resurrected. goto done; } PyTypeObject *tp = Py_TYPE(self); if (tp->tp_flags & Py_TPFLAGS_HAVE_GC) { PyObject_GC_UnTrack(self); } // Optional, but convenient to avoid code duplication. if (tp->tp_clear && tp->tp_clear(self) < 0) { PyErr_WriteUnraisable(self); } // Any additional destruction goes here. tp_free_call = tp->tp_free; if (tp_free_call) { tp_free_call(self); } self = NULL; // In case PyErr_WriteUnraisable() is called below. if (tp->tp_flags & Py_TPFLAGS_HEAPTYPE) { Py_CLEAR(tp); } done: // Optional, if something was called that might have raised an // exception. if (PyErr_Occurred()) { PyErr_WriteUnraisable(self); } PyErr_SetRaisedException(exc); }
tp_dealloc은 객체를 생성한 스레드뿐만 아니라 어떤 Python 스레드에서도 호출될 수 있습니다(객체가 참조 횟수 사이클의 일부가 되면, 해당 사이클이 다른 스레드의 가비지 수거에 의해 수거될 수 있기 때문입니다).tp_dealloc이 호출되는 스레드는 attached thread state 를 가지고 있으므로 Python API 호출 시에는 문제가 되지 않습니다. 그러나 파괴되는 객체가 다른 C 라이브러리의 객체를 파괴하는 경우,tp_dealloc을 호출한 스레드에서 해당 객체들을 파괴하는 것이 해당 라이브러리의 가정에 위배되지 않도록 주의해야 합니다.계승:
이 필드는 서브 형으로 상속됩니다.
더 보기
이 슬롯이 다른 슬롯과 어떻게 관련되는지에 대한 자세한 내용은 객체 생명주기 을 참조하십시오.
-
Py_ssize_t PyTypeObject.tp_vectorcall_offset¶
간단한
tp_call의 더 효율적인 대안인 벡터콜(vectorcall) 프로토콜을 사용하여 객체를 호출하는 것을 구현하는 인스턴스별 함수에 대한 선택적 오프셋입니다.이 필드는
Py_TPFLAGS_HAVE_VECTORCALL플래그가 설정된 경우에만 사용됩니다. 이 경우, 이 필드는vectorcallfunc포인터가 인스턴스에서 차지하는 오프셋을 포함하는 양의 정수여야 합니다.vectorcallfunc 포인터가
NULL일 경우, 인스턴스는Py_TPFLAGS_HAVE_VECTORCALL이 설정되지 않은 것처럼 동작합니다. 즉, 인스턴스를 호출할 때tp_call로 대체됩니다.Py_TPFLAGS_HAVE_VECTORCALL을 설정하는 모든 클래스는tp_call도 설정해야 하고, 해당 동작이 vectorcallfunc 함수와 일관되도록 만들어야 합니다. tp_call을PyVectorcall_Call()로 설정하면 됩니다:버전 3.8에서 변경: 버전 3.8 이전에는, 이 슬롯의 이름이
tp_print였습니다. 파이썬 2.x에서는, 파일로 인쇄하는 데 사용되었습니다. 파이썬 3.0에서 3.7까지는, 사용되지 않았습니다.버전 3.12에서 변경: 3.12 버전 이전에는 mutable heap types 가 vectorcall 프로토콜을 구현하는 것을 권장하지 않았습니다. 사용자가 Python 코드에서
__call__을 설정할 때 tp_call 만 업데이트되므로, vectorcall 함수와 일치하지 않을 가능성이 높았습니다. 3.12부터는__call__을 설정하면Py_TPFLAGS_HAVE_VECTORCALL플래그를 제거하여 vectorcall 최적화를 비활성화합니다.계승:
This field is always inherited. However, the
Py_TPFLAGS_HAVE_VECTORCALLflag is not always inherited. If it’s not set, then the subclass won’t use vectorcall, except whenPyVectorcall_Call()is explicitly called.
-
getattrfunc PyTypeObject.tp_getattr¶
The corresponding slot ID
Py_tp_getattris part of the 안정 ABI.get-attribute-string 함수에 대한 선택적 포인터.
이 필드는 폐지되었습니다. 정의될 때,
tp_getattro함수와 같게 작동하지만, 어트리뷰트 이름을 제공하기 위해 파이썬 문자열 객체 대신 C 문자열을 받아들이는 함수를 가리켜야 합니다.계승:
그룹:
tp_getattr,tp_getattro이 필드는
tp_getattro와 함께 서브 형에 의해 상속됩니다: 서브 형은 서브 형의tp_getattr과tp_getattro가 모두NULL일 때 베이스형에서tp_getattr과tp_getattro를 모두 상속합니다.
-
setattrfunc PyTypeObject.tp_setattr¶
The corresponding slot ID
Py_tp_setattris part of the 안정 ABI.어트리뷰트 설정과 삭제를 위한 함수에 대한 선택적 포인터.
이 필드는 폐지되었습니다. 정의될 때,
tp_setattro함수와 같게 작동하지만, 어트리뷰트 이름을 제공하기 위해 파이썬 문자열 객체 대신 C 문자열을 받아들이는 함수를 가리켜야 합니다.계승:
그룹:
tp_setattr,tp_setattro이 필드는
tp_setattro와 함께 서브 형에 의해 상속됩니다. 서브 형은 서브 형의tp_setattr과tp_setattro가 모두NULL일 때 베이스형에서tp_setattr과tp_setattro를 모두 상속합니다.
-
PyAsyncMethods *PyTypeObject.tp_as_async¶
C 수준에서 어웨이터블과 비동기 이터레이터 프로토콜을 구현하는 객체에만 관련된 필드를 포함하는 추가 구조체에 대한 포인터. 자세한 내용은 비동기 객체 구조체를 참조하십시오.
Added in version 3.5: 이전에는
tp_compare와tp_reserved라고 했습니다.계승:
tp_as_async필드는 상속되지 않지만, 포함된 필드는 개별적으로 상속됩니다.
-
reprfunc PyTypeObject.tp_repr¶
The corresponding slot ID
Py_tp_repris part of the 안정 ABI.내장 함수
repr()을 구현하는 함수에 대한 선택적 포인터.서명은
PyObject_Repr()과 같습니다:PyObject *tp_repr(PyObject *self);
함수는 문자열이나 유니코드 객체를 반환해야 합니다. 이상적으로, 이 함수는
eval()에 전달될 때 적합한 환경이 주어지면 같은 값을 가진 객체를 반환하는 문자열을 반환해야 합니다. 이것이 가능하지 않으면,'<'로 시작하고'>'로 끝나는 문자열을 반환해야 하는데, 이 문자열에서 객체의 형과 값을 모두 추론할 수 있어야 합니다.계승:
이 필드는 서브 형으로 상속됩니다.
기본값:
이 필드를 설정하지 않으면,
<%s object at %p>형식의 문자열이 반환됩니다. 여기서%s는 형 이름으로,%p는 객체의 메모리 주소로 치환됩니다.
-
PyNumberMethods *PyTypeObject.tp_as_number¶
숫자 프로토콜을 구현하는 객체에만 관련된 필드를 포함하는 추가 구조체에 대한 포인터. 이 필드는 숫자 객체 구조체에서 설명합니다.
계승:
tp_as_number필드는 상속되지 않지만, 포함된 필드는 개별적으로 상속됩니다.
-
PySequenceMethods *PyTypeObject.tp_as_sequence¶
시퀀스 프로토콜을 구현하는 객체에만 관련된 필드를 포함하는 추가 구조체에 대한 포인터. 이 필드는 시퀀스 객체 구조체에서 설명합니다.
계승:
tp_as_sequence필드는 상속되지 않지만, 포함된 필드는 개별적으로 상속됩니다.
-
PyMappingMethods *PyTypeObject.tp_as_mapping¶
매핑 프로토콜을 구현하는 객체에만 관련된 필드를 포함하는 추가 구조체에 대한 포인터. 이 필드는 매핑 객체 구조체에서 설명합니다.
계승:
tp_as_mapping필드는 상속되지 않지만, 포함된 필드는 개별적으로 상속됩니다.
-
hashfunc PyTypeObject.tp_hash¶
The corresponding slot ID
Py_tp_hashis part of the 안정 ABI.내장 함수
hash()를 구현하는 함수에 대한 선택적 포인터.서명은
PyObject_Hash()와 같습니다:Py_hash_t tp_hash(PyObject *);
-1값은 정상적인 반환 값으로 반환되지 않아야 합니다; 해시값을 계산하는 동안 에러가 발생하면 함수는 예외를 설정하고-1을 반환해야 합니다.이 필드가 설정되지 않고(동시에
tp_richcompare도 설정되지 않은 경우), 객체의 해시를 구하려 하면TypeError가 발생합니다. 이는 이 필드를PyObject_HashNotImplemented()로 설정한 것과 동일합니다.이 필드는 부모 형에서 해시 메서드의 상속을 차단하기 위해
PyObject_HashNotImplemented()로 명시적으로 설정할 수 있습니다. 이것은 파이썬 수준에서의__hash__ = None과 동등한 것으로 해석되어,isinstance(o, collections.Hashable)이False를 올바르게 반환하게 합니다. 반대의 경우도 마찬가지입니다 - 파이썬 수준의 클래스에서__hash__ = None을 설정하면tp_hash슬롯이PyObject_HashNotImplemented()로 설정됩니다.계승:
그룹:
tp_hash,tp_richcompare이 필드는
tp_richcompare와 함께 서브 형에 의해 상속됩니다: 서브 형의tp_richcompare와tp_hash가 모두NULL일 때, 서브 형은tp_richcompare와tp_hash를 모두 상속합니다.기본값:
PyBaseObject_Type은PyObject_GenericHash()을 사용합니다.
-
ternaryfunc PyTypeObject.tp_call¶
The corresponding slot ID
Py_tp_callis part of the 안정 ABI.객체 호출을 구현하는 함수에 대한 선택적 포인터. 객체가 콜러블이 아니면
NULL이어야 합니다. 서명은PyObject_Call()과 같습니다:PyObject *tp_call(PyObject *self, PyObject *args, PyObject *kwargs);
계승:
이 필드는 서브 형으로 상속됩니다.
-
reprfunc PyTypeObject.tp_str¶
The corresponding slot ID
Py_tp_stris part of the 안정 ABI.내장 연산
str()을 구현하는 함수에 대한 선택적 포인터. (str는 이제 형이며,str()은 그 형의 생성자를 호출함에 유의하십시오. 이 생성자는PyObject_Str()를 호출하여 실제 작업을 수행하고,PyObject_Str()은 이 처리기를 호출합니다.)서명은
PyObject_Str()과 같습니다:PyObject *tp_str(PyObject *self);
함수는 문자열이나 유니코드 객체를 반환해야 합니다. 다른 것 중에서도,
print()함수에 의해 사용될 표현이기 때문에, 객체의 “친숙한” 문자열 표현이어야 합니다.계승:
이 필드는 서브 형으로 상속됩니다.
기본값:
이 필드를 설정하지 않으면, 문자열 표현을 반환하기 위해
PyObject_Repr()이 호출됩니다.
-
getattrofunc PyTypeObject.tp_getattro¶
The corresponding slot ID
Py_tp_getattrois part of the 안정 ABI.어트리뷰트 읽기(get-attribute) 함수에 대한 선택적 포인터.
서명은
PyObject_GetAttr()과 같습니다:PyObject *tp_getattro(PyObject *self, PyObject *attr);
일반적으로 이 필드를
PyObject_GenericGetAttr()로 설정하는 것이 편리합니다, 객체 어트리뷰트를 찾는 일반적인 방법을 구현합니다.계승:
그룹:
tp_getattr,tp_getattro이 필드는
tp_getattr과 함께 서브 형에 의해 상속됩니다: 서브 형의tp_getattr과tp_getattro가 모두NULL일 때 서브 형은 베이스형에서tp_getattr과tp_getattro를 모두 상속합니다.기본값:
PyBaseObject_Type은PyObject_GenericGetAttr()을 사용합니다.
-
setattrofunc PyTypeObject.tp_setattro¶
The corresponding slot ID
Py_tp_setattrois part of the 안정 ABI.어트리뷰트 설정과 삭제를 위한 함수에 대한 선택적 포인터.
서명은
PyObject_SetAttr()과 같습니다:int tp_setattro(PyObject *self, PyObject *attr, PyObject *value);
또한, value를
NULL로 설정하여 어트리뷰트를 삭제하는 것을 반드시 지원해야 합니다. 일반적으로 이 필드를PyObject_GenericSetAttr()로 설정하는 것이 편리합니다, 객체 어트리뷰트를 설정하는 일반적인 방법을 구현합니다.계승:
그룹:
tp_setattr,tp_setattro이 필드는
tp_setattr과 함께 서브 형에 의해 상속됩니다: 서브 형의tp_setattr과tp_setattro가 모두NULL일 때, 서브 형은 베이스형에서tp_setattr과tp_setattro를 모두 상속합니다.기본값:
PyBaseObject_Type은PyObject_GenericSetAttr()을 사용합니다.
-
PyBufferProcs *PyTypeObject.tp_as_buffer¶
버퍼 인터페이스를 구현하는 객체에만 관련된 필드를 포함하는 추가 구조체에 대한 포인터. 이 필드는 버퍼 객체 구조체에서 설명합니다.
계승:
tp_as_buffer필드는 상속되지 않지만, 포함된 필드는 개별적으로 상속됩니다.
-
unsigned long PyTypeObject.tp_flags¶
해당하는
Slot ID는Py_tp_flags를 참조하십시오.이 필드는 다양한 플래그의 비트 마스크입니다. 일부 플래그는 특정 상황에 대한 변형 의미론을 나타냅니다; 다른 것들은 역사적으로 항상 존재하지는 않았던 형 객체(또는
tp_as_number,tp_as_sequence,tp_as_mapping및tp_as_buffer를 통해 참조되는 확장 구조체)의 특정 필드가 유효함을 나타내는 데 사용됩니다; 이러한 플래그 비트가 없으면, 이것이 보호하는 형 필드에 액세스하지 말아야 하며 대신 0이나NULL값을 갖는 것으로 간주해야 합니다.계승:
이 필드의 상속은 복잡합니다. 대부분의 플래그 비트는 개별적으로 상속됩니다. 즉, 베이스 형에 특정 플래그 비트가 설정되어 있으면 서브 형도 해당 플래그 비트를 상속받습니다. 확장 구조와 관련된 플래그 비트는 확장 구조가 상속될 경우 엄격하게 상속되며, 즉 베이스 형의 플래그 비트 값이 확장 구조에 대한 포인터와 함께 서브 형으로 복사됩니다.
Py_TPFLAGS_HAVE_GC플래그 비트는tp_traverse및tp_clear필드와 함께 상속됩니다. 즉, 서브 형에서Py_TPFLAGS_HAVE_GC플래그 비트가 해제되어 있고, 서브 형의tp_traverse및tp_clear필드가 존재하면서NULL값을 가지는 경우입니다.기본값:
PyBaseObject_Type은Py_TPFLAGS_DEFAULT | Py_TPFLAGS_BASETYPE을 사용합니다.비트 마스크:
다음 비트 마스크가 현재 정의되어 있습니다; 이들은
|연산자로 함께 OR 하여tp_flags필드의 값을 형성할 수 있습니다. 매크로PyType_HasFeature()는 형과 플래그 값 tp와 f를 취하고tp->tp_flags & f가 0이 아닌지 확인합니다.-
Py_TPFLAGS_HEAPTYPE¶
이 비트는 형 객체 자체가 힙에 할당될 때 설정됩니다. 예를 들어,
PyType_FromSpec()을 사용하여 동적으로 생성된 형들이 이에 해당합니다. 이 경우 인스턴스의ob_type필드는 형에 대한 참조로 간주되며, 새 인스턴스가 생성될 때 형 객체가 INCREF되고 인스턴스가 파괴될 때 DECREF됩니다(이는 서브 형의 인스턴스에는 적용되지 않으며, 인스턴스의 ob_type이 가리키는 형만 INCREF 또는 DECREF됩니다). 힙 형은 자체 모듈 객체와 참조 순환을 형성할 수 있으므로 반드시 가비지 수집을 지원해야 합니다.계승:
???
-
Py_TPFLAGS_BASETYPE¶
- …의 일부 안정 ABI.
이 비트는 형을 다른 형의 베이스형으로 사용할 수 있을 때 설정됩니다. 이 비트가 설정되지 않으면 이 형으로 서브 형을 만들 수 없습니다 (Java의 “final” 클래스와 유사합니다).
계승:
???
-
Py_TPFLAGS_READY¶
이 비트는
PyType_Ready()에 의해 형 객체가 완전히 초기화될 때 설정됩니다.계승:
???
-
Py_TPFLAGS_READYING¶
이 비트는
PyType_Ready()가 형 객체를 초기화하는 동안 설정됩니다.계승:
???
-
Py_TPFLAGS_HAVE_GC¶
- …의 일부 안정 ABI.
이 비트는 객체가 가비지 수집을 지원할 때 설정됩니다. 이 비트가 설정된 경우, 새 인스턴스를 위한 메모리(
tp_alloc참조)는 반드시PyObject_GC_New또는PyType_GenericAlloc()을 사용하여 할당해야 하며, 해제할 때(seetp_free)는PyObject_GC_Del()을 사용해야 합니다. 자세한 내용은 가비지 수집 지원 섹션을 참조하십시오.계승:
그룹:
Py_TPFLAGS_HAVE_GC,tp_traverse,tp_clearPy_TPFLAGS_HAVE_GC플래그 비트는tp_traverse및tp_clear필드와 함께 상속됩니다. 즉, 서브 형에서Py_TPFLAGS_HAVE_GC플래그 비트가 해제되어 있고 서브 형의tp_traverse및tp_clear필드가 존재하며NULL값을 가지는 경우입니다.
-
Py_TPFLAGS_DEFAULT¶
- …의 일부 안정 ABI.
이것은 형 객체와 확장 구조에 있는 특정 필드의 존재 여부와 관련된 모든 비트의 비트마스크입니다. 현재에는 다음과 같은 비트가 포함됩니다:
Py_TPFLAGS_HAVE_STACKLESS_EXTENSION.계승:
???
-
Py_TPFLAGS_METHOD_DESCRIPTOR¶
- …의 일부 안정 ABI 버전 3.8 이후로.
이 비트는 객체가 연결되지 않은 메서드(unbound method)처럼 동작함을 나타냅니다.
이 플래그가
type(meth)에 설정되면:meth.__get__(obj, cls)(*args, **kwds)(obj가 None이 아닐 때)는meth(obj, *args, **kwds)와 동등해야 합니다.meth.__get__(None, cls)(*args, **kwds)는meth(*args, **kwds)와 동등해야 합니다.
이 플래그는
obj.meth()와 같은 일반적인 메서드 호출에 대한 최적화를 가능하게 합니다:obj.meth에 대한 임시 “연결된 메서드(bound method)” 객체를 만들지 않습니다.Added in version 3.8.
계승:
이 플래그는
Py_TPFLAGS_IMMUTABLETYPE플래그가 설정되지 않은 형에서는 절대로 상속되지 않습니다. 확장형의 경우,tp_descr_get이 상속될 때마다 상속됩니다.
-
Py_TPFLAGS_MANAGED_DICT¶
이 비트는 클래스의 인스턴스가
__dict__어트리뷰트를 가지며, 딕셔너리를 위한 공간이 VM에 의해 관리됨을 나타냅니다.이 플래그가 설정된 경우,
Py_TPFLAGS_HAVE_GC도 반드시 설정되어야 합니다.형 탐색(traverse) 함수는
PyObject_VisitManagedDict()를 호출해야 하며, 정리(clear) 함수는PyObject_ClearManagedDict()를 호출해야 합니다.Added in version 3.12.
계승:
슈퍼클래스에서
tp_dictoffset필드가 설정되지 않는 한 이 플래그는 상속됩니다.
-
Py_TPFLAGS_MANAGED_WEAKREF¶
이 비트는 클래스의 인스턴스가 약하게 참조 가능해야 함을 나타냅니다.
이 플래그가 설정된 경우,
Py_TPFLAGS_HAVE_GC도 반드시 설정되어야 합니다.Added in version 3.12.
계승:
슈퍼클래스에서
tp_weaklistoffset필드가 설정되지 않는 한 이 플래그는 상속됩니다.
-
Py_TPFLAGS_PREHEADER¶
이 비트들은 VM이 특정 필드들을 객체 앞에 저장하여 관리함을 나타냅니다. 현재 이 매크로는 Py_TPFLAGS_MANAGED_DICT | Py_TPFLAGS_MANAGED_WEAKREF 와 동일합니다.
이 매크로 값은 VM의 구현에 의존하므로 값이 고정되어 있지 않으며 향후 버전에서 변경될 수 있습니다. 대신 개별 플래그를 사용하는 것을 권장합니다.
Added in version 3.12.
-
Py_TPFLAGS_ITEMS_AT_END¶
- …의 일부 안정 ABI 버전 3.12 이후로.
변동 크기 형(즉,
tp_itemsize가 0이 아닌 형)에서만 사용할 수 있습니다.이 형의 인스턴스에서 변동 크기 부분은 인스턴스의 메모리 영역 끝에 있으며, 그 오프셋은
Py_TYPE(obj)->tp_basicsize입니다(서브 클래스마다 다를 수 있습니다).이 플래그를 설정할 때, 모든 슈퍼클래스가 이 메모리 레이아웃을 사용하거나 변동 크기가 아님을 확인하십시오. 파이썬은 이를 검사하지 않습니다.
Added in version 3.12.
계승:
이 플래그는 상속됩니다.
-
Py_TPFLAGS_LONG_SUBCLASS¶
-
Py_TPFLAGS_LIST_SUBCLASS¶
-
Py_TPFLAGS_TUPLE_SUBCLASS¶
-
Py_TPFLAGS_BYTES_SUBCLASS¶
-
Py_TPFLAGS_UNICODE_SUBCLASS¶
-
Py_TPFLAGS_DICT_SUBCLASS¶
-
Py_TPFLAGS_BASE_EXC_SUBCLASS¶
-
Py_TPFLAGS_TYPE_SUBCLASS¶
PyLong_Check()과 같은 함수는 이 플래그 중 하나를 사용하여 형이 내장형의 서브 클래스인지 신속하게 판별하기 위해PyType_FastSubclass()를 호출합니다. 이러한 특정 검사는PyObject_IsInstance()와 같은 일반적인 검사보다 빠릅니다. 내장을 상속하는 사용자 정의 형은tp_flags를 적절하게 설정해야 하며, 그렇지 않으면 해당 형과 상호 작용하는 코드가 어떤 종류의 검사를 사용하느냐에 따라 다르게 동작할 수 있습니다.
-
Py_TPFLAGS_HAVE_FINALIZE¶
이 비트는
tp_finalize슬롯이 형 구조체에 있을 때 설정됩니다.Added in version 3.4.
버전 3.8부터 폐지됨: 인터프리터는
tp_finalize슬롯이 항상 형 구조체에 있다고 가정하기 때문에, 이 플래그는 더는 필요하지 않습니다.
-
Py_TPFLAGS_HAVE_VECTORCALL¶
- …의 일부 안정 ABI 버전 3.12 이후로.
이 비트는 클래스가 벡터콜 프로토콜을 구현할 때 설정됩니다. 자세한 내용은
tp_vectorcall_offset을 참조하십시오.계승:
tp_call도 상속되는 경우 이 비트도 상속됩니다.Added in version 3.8:
_Py_TPFLAGS_HAVE_VECTORCALL로버전 3.9에서 변경: Renamed to the current name, without the leading underscore. The old provisional name is soft deprecated.
버전 3.12에서 변경: 이제 클래스의
__call__()메서드가 재할당되면 이 플래그가 클래스에서 제거됩니다.이 플래그는 이제 가변(mutable) 클래스에 의해 상속될 수 있습니다.
-
Py_TPFLAGS_IMMUTABLETYPE¶
이 비트는 형 객체가 불변(immutable)일 때 설정됩니다. 즉, 형 속성을 설정하거나 삭제할 수 없습니다.
PyType_Ready()는 정적 형 에 이 플래그를 자동으로 적용합니다.계승:
이 플래그는 상속되지 않습니다.
Added in version 3.10.
-
Py_TPFLAGS_DISALLOW_INSTANTIATION¶
형의 인스턴스 생성을 금지하려면:
tp_new를 NULL로 설정하고 형 딕셔너리에__new__키를 생성하지 마십시오.이 플래그는 형을 생성하기 전에 설정되어야 하며, 그 이후에 설정해서는 안 됩니다. 예를 들어, 형에 대해
PyType_Ready()가 호출되기 전에 설정되어야 합니다.tp_base가 NULL 또는&PyBaseObject_Type이고,tp_new이 NULL인 경우 정적 형 에서 이 플래그가 자동으로 설정됩니다.계승:
이 플래그는 상속되지 않습니다. 그러나 서브 형이 비어 있지 않은(non-NULL)
tp_new를 제공하지 않는 한 인스턴스를 생성할 수 없습니다(이는 C API를 통해서만 가능합니다).참고
To disallow instantiating a class directly but allow instantiating its subclasses (e.g. for an abstract base class), do not use this flag. Instead, make
tp_newonly succeed for subclasses.Added in version 3.10.
-
Py_TPFLAGS_MAPPING¶
이 비트는 클래스 인스턴스가
match블록의 대상(subject)으로 사용될 때 매핑 패턴과 일치할 수 있음을 나타냅니다.collections.abc.Mapping을 등록하거나 서브 클래스로 만들 때 자동으로 설정되며,collections.abc.Sequence를 등록할 때 해제됩니다.참고
Py_TPFLAGS_MAPPING과Py_TPFLAGS_SEQUENCE는 상호 배타적입니다. 두 플래그를 동시에 활성화하는 것은 오류입니다.계승:
이 플래그는 아직
Py_TPFLAGS_SEQUENCE를 설정하지 않은 형에 의해 상속됩니다.더 보기
PEP 634 – 구조적 패턴 매칭: 사양
Added in version 3.10.
-
Py_TPFLAGS_SEQUENCE¶
This bit indicates that instances of the class may match sequence patterns when used as the subject of a
matchblock. It is automatically set when registering or subclassingcollections.abc.Sequence, and unset when registeringcollections.abc.Mapping.참고
Py_TPFLAGS_MAPPING과Py_TPFLAGS_SEQUENCE는 상호 배타적입니다. 두 플래그를 동시에 활성화하는 것은 오류입니다.계승:
이 플래그는 아직
Py_TPFLAGS_MAPPING을 설정하지 않은 형에 의해 상속됩니다.더 보기
PEP 634 – 구조적 패턴 매칭: 사양
Added in version 3.10.
-
Py_TPFLAGS_VALID_VERSION_TAG¶
내부용입니다. 이 플래그를 설정하거나 해제하지 마십시오. 클래스가 변경되었음을 나타내려면
PyType_Modified()를 호출하십시오.경고
이 플래그는 헤더 파일에는 존재하지만 사용되지 않습니다. 향후 CPython 버전에서 제거될 예정입니다.
-
Py_TPFLAGS_HAVE_VERSION_TAG¶
이 매크로는 아무것도 하지 않습니다. 과거에 이 매크로는
tp_version_tag필드가 사용 가능하고 초기화되었음을 나타냈습니다.버전 3.13부터 약하게 폐지 <Soft deprecated>.
-
Py_TPFLAGS_INLINE_VALUES¶
이 비트는 이 형의 인스턴스가 객체 끝 바로 뒤에
이 기능은
Py_TPFLAGS_HAVE_GC가 설정되어 있어야 합니다.계승:
이 플래그는 상속되지 않습니다.
Added in version 3.13.
-
Py_TPFLAGS_HAVE_STACKLESS_EXTENSION¶
내부용입니다. 이 플래그를 설정하거나 해제하지 마십시오. 과거에 이것은 Stackless Python에서 사용하기 위한 예약된 플래그였습니다.
경고
이 플래그는 헤더 파일에 존재하지만 사용되지 않습니다. 향후 CPython 버전에서 제거될 수 있습니다.
-
Py_TPFLAGS_HEAPTYPE¶
-
const char *PyTypeObject.tp_doc¶
The corresponding slot ID
Py_tp_docis part of the 안정 ABI.이 형 객체에 대한 독스트링을 제공하는 널 종료(NUL-terminated) C 문자열을 가리키는 선택적 포인터입니다. 이것은 형과 해당 형의 인스턴스에서
__doc__어트리뷰트로 노출됩니다.계승:
이 필드는 서브 형에 의해 상속되지 않습니다.
-
traverseproc PyTypeObject.tp_traverse¶
The corresponding slot ID
Py_tp_traverseis part of the 안정 ABI.가비지 수집기를 위한 탐색 함수를 가리키는 선택적 포인터입니다. 이 기능은
Py_TPFLAGS_HAVE_GC플래그 비트가 설정된 경우에만 사용됩니다.문서는 순회 을 참조하십시오.
계승:
그룹:
Py_TPFLAGS_HAVE_GC,tp_traverse,tp_clear이 필드는 서브 형에 의해
tp_clear및Py_TPFLAGS_HAVE_GC플래그 비트와 함께 상속됩니다. 즉, 서브 형에서 해당 필드들이 모두 0인 경우 플래그 비트,tp_traverse, 그리고tp_clear가 모두 베이스형으로부터 상속됩니다.
-
inquiry PyTypeObject.tp_clear¶
The corresponding slot ID
Py_tp_clearis part of the 안정 ABI.정리(clear) 함수를 가리키는 선택적 포인터입니다. 서명은 다음과 같습니다:
int tp_clear(PyObject *);
The purpose of this function is to break reference cycles that are causing a cyclic isolate so that the objects can be safely destroyed. A cleared object is a partially destroyed object; the object is not obligated to satisfy design invariants held during normal use.
tp_clear는 파이썬 문자열이나 파이썬 정수와 같이 참조 순환에 참여할 수 없는 객체에 대한 참조를 삭제할 필요가 없습니다. 하지만 모든 참조를 정리하는 것이 편리할 수 있으므로, 코드 중복을 피하기 위해 형의tp_dealloc함수가tp_clear을 호출하도록 작성할 수 있습니다. (tp_clear이 이미 호출되었을 수 있으니 주의하십시오. idempotent한 기능인Py_CLEAR()와 같은 것을 호출하는 것을 권장합니다.)어떠한 중요하지 않은 정리 작업도
tp_clear대신에tp_finalize에서 수행되어야 합니다.참고
If
tp_clearfails to break a reference cycle then the objects in the cyclic isolate may remain indefinitely uncollectable (“leak”). Seegc.garbage.참고
참조 대상(직접 및 간접)이 이미 정리되었을 수 있으며, 일관된 상태임을 보장할 수 없습니다.
참고
tp_clear함수는 어떤 스레드에서든 호출할 수 있습니다.참고
객체가 파괴자(
tp_dealloc)가 호출되기 전에 자동으로 정리되는 것을 보장할 수 없습니다.이 함수는 파괴자(
tp_dealloc)와 다음과 같은 점에서 다릅니다.객체를 정리하는 목적은 참조 순환에 참여할 가능성이 있는 다른 객체들에 대한 참조를 제거하는 것입니다. 반면, 파괴자의 목적은 그보다 더 넓은 범위를 포함합니다. 파괴자는 참조 순환에 참여할 수 없는 객체(예: 정수)에 대한 참조뿐만 아니라 객체 자체의 메모리(
tp_free호출을 통한 것)를 포함하여 자신이 소유한 모든 자원을 해제해야 합니다.tp_clear`가 호출될 때, 다른 객체들이 여전히 정리 중인 객체에 대한 참조를 보유하고 있을 수 있습니다. 이 때문에 :c:member:!tp_clear`은 객체의 자체 메모리(tp_free)를 해제해서는 안 됩니다. 반면, 파괴자는 (강한) 참조가 존재하지 않을 때만 호출되므로, 해제를 통해 객체 자신을 안전하게 파괴해야 합니다.tp_clear은 자동으로 호출되지 않을 수도 있습니다. 반면, 객체의 파괴자는 객체가 도달 불가능해진 후(즉, 객체에 대한 참조가 없거나 객체가 cyclic isolate 의 멤버인 경우) 일정 시간이 지난 후 자동으로 호출됩니다.
다음 사항을 제외하고, 파이썬이 객체를 언제, 또는 호출 여부나 빈도를 보장하며 자동으로 정리하지는 않습니다.
Python will not automatically clear an object if it is reachable, i.e., there is a reference to it and it is not a member of a cyclic isolate.
파이썬은 객체가 자동으로 마무리되지 않은 경우 해당 객체를 자동으로 정리하지 않습니다(
tp_finalize참조). (파이널라이저가 객체를 부활시킨 경우, 객체가 정리되기 전에 다시 자동화되어 마무리될 수도 있고 그렇지 않을 수도 있습니다.))객체가 cyclic isolate 의 멤버인 경우, 해당 사이클 내의 어떤 멤버라도 아직 자동화되어 마무리되지 않았다면(
tp_finalize) 파이썬은 객체를 자동으로 정리하지 않습니다.파이썬은
tp_clear함수에 대한 모든 자동 호출이 완료된 후에만 객체를 파괴합니다. 이는tp_clear`가 실행되는 동안 참조 순환을 끊는 행위로 인해 ``self`포인터가 무효화되지 않도록 보장합니다.파이썬은
tp_clear를 동시에 여러 번 자동으로 호출하지 않습니다.
현재 CPython은 cyclic isolate 에서 참조 순환을 끊기 위해 필요한 경우에만 객체를 자동으로 정리하지만, 향후 버전에서는 파괴 전에 정기적으로 객체를 정리할 수도 있습니다.
전체적으로 시스템의 모든
tp_clear함수는 결합하여 모든 참조 순환을 끊어야 합니다. 이는 미묘한 부분이며, 의구심이 드는 경우 항상tp_clear함수를 제공하십시오. 예를 들어, 튜플 타입은 튜플만으로 구성된 참조 순환이 존재할 수 없음을 증명할 수 있으므로tp_clear함수를 구현하지 않습니다. 따라서 다른 타입의tp_clear함수가 튜플을 포함하는 모든 순환을 끊는 책임을 집니다. 이는 즉각적으로 명확하지 않을 수 있지만,tp_clear구현을 피해야 할 타당한 이유가 거의 없습니다.tp_clear의 구현은 다음 예제와 같이 파이썬 객체일 수 있는 자신의 멤버에 대한 인스턴스의 참조를 삭제하고 해당 멤버에 대한 포인터를NULL로 설정해야 합니다:static int local_clear(PyObject *op) { localobject *self = (localobject *) op; Py_CLEAR(self->key); Py_CLEAR(self->args); Py_CLEAR(self->kw); Py_CLEAR(self->dict); return 0; }
참조를 정리하는 작업은 섬세하므로
Py_CLEAR()매크로를 사용해야 합니다. 포함된 객체에 대한 포인터가NULL로 설정된 후에 해당 객체에 대한 참조를 해제(Py_DECREF())해야 하기 때문입니다. 참조를 바로 해제하면 포함된 객체가 가비지가 되어 일련의 회수 활동을 유발할 수 있으며, 이 과정에서 (해당 객체와 관련된 파이널라이저나 약한 참조 콜백으로 인해) 임의의 파이썬 코드가 실행될 수 있습니다. 만약 이러한 코드가 다시 self 를 참조할 가능성이 있다면, 그 시점에 포함된 객체의 포인터가NULL이어야만 self 가 해당 객체를 더 이상 사용할 수 없음을 인식하게 됩니다.Py_CLEAR()매크로는 이러한 작업들을 안전한 순서로 수행합니다.tp_flags필드에Py_TPFLAGS_MANAGED_DICT비트가 설정된 경우, clear 함수는 다음과 같이PyObject_ClearManagedDict()를 호출해야 합니다:PyObject_ClearManagedDict((PyObject*)self);
파이썬의 가비지 수집 체계에 대한 자세한 정보는 섹션 순환 가비지 수집 지원에서 찾을 수 있습니다.
계승:
그룹:
Py_TPFLAGS_HAVE_GC,tp_traverse,tp_clear이 필드는
tp_traverse와Py_TPFLAGS_HAVE_GC플래그 비트와 함께 서브형에 의해 상속됩니다: 서브형에서 이들이 모두NULL인 경우, 플래그 비트,tp_traverse, 그리고tp_clear는 모두 베이스형으로부터 상속됩니다.더 보기
이 슬롯이 다른 슬롯과 어떻게 관련되는지에 대한 자세한 내용은 객체 생명주기 을 참조하십시오.
-
richcmpfunc PyTypeObject.tp_richcompare¶
The corresponding slot ID
Py_tp_richcompareis part of the 안정 ABI.풍부한 비교 함수(rich comparison function)에 대한 선택적 포인터. 서명은 다음과 같습니다:
PyObject *tp_richcompare(PyObject *self, PyObject *other, int op);
첫 번째 매개 변수는
PyTypeObject에 의해 정의된 형의 인스턴스임이 보장됩니다.이 함수는 비교 결과(일반적으로
Py_True나Py_False)를 반환해야 합니다. 비교가 정의되어 있지 않으면,Py_NotImplemented를 반환하고, 다른 에러가 발생하면NULL을 반환하고 예외 조건을 설정해야 합니다.다음 상수는
tp_richcompare와PyObject_RichCompare()의 세 번째 인자로 사용되도록 정의됩니다:상수
비교
-
Py_LT¶
<-
Py_LE¶
<=-
Py_EQ¶
==-
Py_NE¶
!=-
Py_GT¶
>-
Py_GE¶
>=풍부한 비교 함수를 쉽게 작성할 수 있도록 다음 매크로가 정의됩니다:
-
Py_RETURN_RICHCOMPARE(VAL_A, VAL_B, op)¶
비교 결과에 따라, 함수에서
Py_True나Py_False를 반환합니다. VAL_A와 VAL_B는 C 비교 연산자로 순서를 정할 수 있어야 합니다 (예를 들어, C int나 float일 수 있습니다). 세 번째 인자는PyObject_RichCompare()에서처럼 요청된 연산을 지정합니다.반환된 값은 새로운 강한 참조 입니다.
에러가 발생하면, 예외를 설정하고 함수에서
NULL을 반환합니다.Added in version 3.7.
계승:
그룹:
tp_hash,tp_richcompare이 필드는
tp_hash와 함께 서브 형에 의해 상속됩니다. 서브 형의tp_richcompare와tp_hash가 모두NULL이면 서브 형은tp_richcompare와tp_hash를 상속합니다.기본값:
PyBaseObject_Type은 상속될 수 있는tp_richcompare구현을 제공합니다. 하지만tp_hash만 정의된 경우, 상속된 함수조차 사용되지 않으며 해당 형의 인스턴스는 어떠한 비교도 수행할 수 없습니다.-
Py_LT¶
-
Py_ssize_t PyTypeObject.tp_weaklistoffset¶
이 필드가 여전히 지원되기는 하지만, 가능한 경우 대신
Py_TPFLAGS_MANAGED_WEAKREF를 사용해야 합니다.이 형의 인스턴스가 약하게 참조될 수 있는 경우, 이 필드는 0보다 크며 (존재하는 경우 GC 헤더를 제외하고) 인스턴스 구조체 내에서 약한 참조 리스트 헤드의 오프셋을 포함합니다. 이 오프셋은
PyObject_ClearWeakRefs()및PyWeakref_*함수에서 사용됩니다. 인스턴스 구조체는NULL로 초기화된 PyObject* 타입의 필드를 포함해야 합니다.이 필드를
tp_weaklist와 혼동하지 마십시오; 그것은 형 객체 자체에 대한 약한 참조의 리스트 헤드입니다.Py_TPFLAGS_MANAGED_WEAKREF비트와tp_weaklistoffset을 모두 설정하는 것은 오류입니다.계승:
이 필드는 서브 형에 의해 상속되지만, 아래 나열된 규칙을 참조하십시오. 서브 형이 이 오프셋을 재정의할 수 있습니다; 이는 서브 형이 베이스형과 다른 약한 참조 리스트 헤드를 사용함을 의미합니다. 리스트 헤드는 항상
tp_weaklistoffset을 통해 발견되므로, 문제가 되지 않습니다.기본값:
tp_flags필드에Py_TPFLAGS_MANAGED_WEAKREF비트가 설정된 경우,tp_weaklistoffset은 이 필드를 사용하는 것이 안전하지 않음을 나타내기 위해 음수 값으로 설정됩니다.
-
getiterfunc PyTypeObject.tp_iter¶
The corresponding slot ID
Py_tp_iteris part of the 안정 ABI.객체에 대한 이터레이터 를 반환하는 함수에 대한 선택적 포인터입니다. 이 포인터가 존재하면 일반적으로 해당 형의 인스턴스가 이터러블 임을 나타냅니다(다만 시퀀스는 이 함수 없이도 이터러블일 수 있습니다).
이 함수는
PyObject_GetIter()와 같은 서명을 갖습니다:PyObject *tp_iter(PyObject *self);
계승:
이 필드는 서브 형으로 상속됩니다.
-
iternextfunc PyTypeObject.tp_iternext¶
The corresponding slot ID
Py_tp_iternextis part of the 안정 ABI.이터레이터 의 다음 항목을 반환하는 함수에 대한 선택적 포인터입니다. 시그니처는 다음과 같습니다:
PyObject *tp_iternext(PyObject *self);
이터레이터가 소진되면
NULL을 반환해야 합니다;StopIteration예외가 설정될 수도, 그렇지 않을 수도 있습니다. 다른 에러가 발생하면, 역시NULL을 반환해야 합니다. 그 존재는 이 형의 인스턴스가 이터레이터라는 신호입니다.이터레이터 형은
tp_iter함수도 정의해야 하며, 해당 함수는 (새 이터레이터 인스턴스가 아닌) 이터레이터 인스턴스 자체를 반환해야 합니다.이 함수는
PyIter_Next()와 같은 서명을 갖습니다.계승:
이 필드는 서브 형으로 상속됩니다.
-
struct PyMethodDef *PyTypeObject.tp_methods¶
The corresponding slot ID
Py_tp_methodsis part of the 안정 ABI.이 형의 일반 메서드를 선언하는
PyMethodDef구조체의 정적NULL-종료 배열에 대한 선택적 포인터.배열의 항목마다, 메서드 디스크립터를 포함하는 형의 딕셔너리(아래
tp_dict를 참조하십시오)에 항목이 추가됩니다.계승:
이 필드는 서브 형에 의해 상속되지 않습니다 (메서드는 다른 메커니즘을 통해 상속됩니다).
-
struct PyMemberDef *PyTypeObject.tp_members¶
The corresponding slot ID
Py_tp_membersis part of the 안정 ABI.이 형의 인스턴스의 일반 데이터 멤버(필드나 슬롯)를 선언하는
PyMemberDef구조체의 정적NULL-종료 배열에 대한 선택적 포인터.배열의 항목마다, 멤버 디스크립터를 포함하는 형의 딕셔너리(아래
tp_dict를 참조하십시오)에 항목이 추가됩니다.계승:
이 필드는 서브 형에 의해 상속되지 않습니다 (멤버는 다른 메커니즘을 통해 상속됩니다).
-
struct PyGetSetDef *PyTypeObject.tp_getset¶
The corresponding slot ID
Py_tp_getsetis part of the 안정 ABI.이 형의 인스턴스의 계산된 어트리뷰트를 선언하는
PyGetSetDef구조체의 정적NULL-종료 배열에 대한 선택적 포인터.배열의 항목마다, getset 디스크립터를 포함하는 형의 딕셔너리(아래
tp_dict를 참조하십시오)에 항목이 추가됩니다.계승:
이 필드는 서브 형에 의해 상속되지 않습니다 (계산된 어트리뷰트는 다른 메커니즘을 통해 상속됩니다).
-
PyTypeObject *PyTypeObject.tp_base¶
형 속성이 상속되는 베이스형에 대한 선택적 포인터. 이 수준에서는, 단일 상속만 지원됩니다; 다중 상속은 메타 형을 호출하여 형 객체를 동적으로 작성해야 합니다.
해당 슬롯 ID는
Py_tp_base를 참조하십시오.참고
슬롯 초기화에는 전역 초기화 규칙이 적용됩니다. C99에서는 초기화자가 “주소 상수(address constants)”여야 합니다. 포인터로 묵시적으로 변환되는
PyType_GenericNew()와 같은 함수 지정자는 유효한 C99 주소 상수입니다.그러나
PyBaseObject_Type과 같은 비정적 변수에 적용되는 단항 ‘&’ 연산자가 주소 상수를 생성해야 하는 것은 아닙니다. 컴파일러에 따라 이를 지원할 수도 있으며(gcc는 지원함), MSVC는 지원하지 않습니다. 두 컴파일러 모두 이 특정 동작에 대해 엄격하게 표준을 준수합니다.결과적으로,
tp_base는 확장 모듈의 초기화 함수에서 설정되어야 합니다.계승:
이 필드는 서브 형에 의해 상속되지 않습니다 (명백히).
기본값:
이 필드의 기본값은
&PyBaseObject_Type입니다 (파이썬 프로그래머에게는object형으로 알려져 있습니다).
-
PyObject *PyTypeObject.tp_dict¶
형의 딕셔너리는
PyType_Ready()에 의해 여기에 저장됩니다.이 필드는 일반적으로 PyType_Ready가 호출되기 전에
NULL로 초기화되어야 하며, 해당 형의 초기 속성들을 포함하는 딕셔너리로 초기화될 수도 있습니다.PyType_Ready()가 형을 초기화한 후에는 중복 정의된 연산(예:__add__())에 해당하지 않는 경우에만 이 딕셔너리에 추가 속성을 추가할 수 있습니다. 형의 초기화가 완료되면 이 필드는 읽기 전용으로 취급되어야 합니다.일부 형은 이 슬롯에 딕셔너리를 저장하지 않을 수 있습니다. 임의의 형에 대한 딕셔너리를 가져오려면
PyType_GetDict()를 사용하십시오.버전 3.12에서 변경: 내부 세부 사항: 정적 내장 형의 경우 이 필드는 항상
NULL입니다. 대신 이러한 형의 딕셔너리는PyInterpreterState에 저장됩니다. 임의의 형에 대한 딕셔너리를 가져오려면PyType_GetDict()을 사용하십시오.계승:
이 필드는 서브 형에 의해 상속되지 않습니다 (여기에 정의된 어트리뷰트는 다른 메커니즘을 통해 상속됩니다).
기본값:
이 필드가
NULL이면,PyType_Ready()는 새 딕셔너리를 할당합니다.경고
PyDict_SetItem()을 사용하거나 다른 식으로 딕셔너리 C-API로tp_dict를 수정하는 것은 안전하지 않습니다.
-
descrgetfunc PyTypeObject.tp_descr_get¶
The corresponding slot ID
Py_tp_descr_getis part of the 안정 ABI.“디스크립터 get” 함수에 대한 선택적 포인터.
함수 서명은 다음과 같습니다:
PyObject * tp_descr_get(PyObject *self, PyObject *obj, PyObject *type);
계승:
이 필드는 서브 형으로 상속됩니다.
-
descrsetfunc PyTypeObject.tp_descr_set¶
The corresponding slot ID
Py_tp_descr_setis part of the 안정 ABI.디스크립터 값을 설정하고 삭제하기 위한 함수에 대한 선택적 포인터.
함수 서명은 다음과 같습니다:
int tp_descr_set(PyObject *self, PyObject *obj, PyObject *value);
value 인자는 값을 삭제하기 위해
NULL로 설정됩니다.계승:
이 필드는 서브 형으로 상속됩니다.
-
Py_ssize_t PyTypeObject.tp_dictoffset¶
이 필드가 여전히 지원되기는 하지만, 가능한 경우 대신
Py_TPFLAGS_MANAGED_DICT를 사용해야 합니다.이 형의 인스턴스에 인스턴스 변수를 포함하는 딕셔너리가 있으면, 이 필드는 0이 아니며 인스턴스 변수 딕셔너리 형의 인스턴스에서의 오프셋을 포함합니다; 이 오프셋은
PyObject_GenericGetAttr()에서 사용됩니다.이 필드를
tp_dict와 혼동하지 마십시오; 그것은 형 객체 자체의 어트리뷰트에 대한 딕셔너리입니다.이 값은 인스턴스 구조체 시작 지점부터 딕셔너리까지의 오프셋을 지정합니다.
tp_dictoffset은 쓰기 전용으로 간주되어야 합니다. 딕셔너리 포인터를 가져오려면PyObject_GenericGetDict()를 호출하십시오.PyObject_GenericGetDict()를 호출할 때 딕셔너리를 위한 메모리가 할당될 수 있으므로, 객체의 속성에 접근할 때는PyObject_GetAttr()을 호출하는 것이 더 효율적일 수 있습니다.Py_TPFLAGS_MANAGED_DICT비트와tp_dictoffset을 모두 설정하는 것은 오류입니다.계승:
이 필드는 서브 형에 의해 상속됩니다. 서브 형은 이 오프셋을 재정의해서는 안 됩니다. C 코드가 이전 오프셋에서 딕셔너리에 접근하려고 할 경우 안전하지 않을 수 있기 때문입니다. 상속을 올바르게 지원하려면
Py_TPFLAGS_MANAGED_DICT를 사용하십시오.기본값:
이 슬롯은 기본값이 없습니다. 정적 형 의 경우, 이 필드가
NULL이면 인스턴스에 대해__dict__가 생성되지 않습니다.tp_flags필드에Py_TPFLAGS_MANAGED_DICT비트가 설정된 경우,tp_dictoffset은 이 필드를 사용하는 것이 안전하지 않음을 나타내기 위해-1로 설정됩니다.
-
initproc PyTypeObject.tp_init¶
The corresponding slot ID
Py_tp_initis part of the 안정 ABI.인스턴스 초기화 함수에 대한 선택적 포인터.
이 함수는 클래스의
__init__()메서드에 대응합니다.__init__`와 마찬가지로, :meth:()!__init__`을 호출하지 않고 인스턴스를 생성할 수 있으며,__init__()메서드를 다시 호출하여 인스턴스를 재초기화할 수도 있습니다.함수 서명은 다음과 같습니다:
int tp_init(PyObject *self, PyObject *args, PyObject *kwds);
self 인자는 초기화할 인스턴스이며, *args* 및 *kwds* 인자는
__init__()호출 시의 위치 및 키워드 인자를 나타냅니다.NULL이 아닐 때,tp_init함수는 형을 호출하여 인스턴스를 정상적으로 만들 때, 형의tp_new함수가 형의 인스턴스를 반환한 후 호출됩니다.tp_new함수가 원래 형의 서브 형이 아닌 다른 형의 인스턴스를 반환하면, 아무런tp_init함수도 호출되지 않습니다;tp_new가 원래 형의 서브 형 인스턴스를 반환하면, 서브 형의tp_init가 호출됩니다.성공하면
0을 반환하고, 에러 시에는-1을 반환하고 예외를 설정합니다.계승:
이 필드는 서브 형으로 상속됩니다.
기본값:
정적 형 의 경우 이 필드는 기본값이 없습니다.
-
allocfunc PyTypeObject.tp_alloc¶
The corresponding slot ID
Py_tp_allocis part of the 안정 ABI.인스턴스 할당 함수에 대한 선택적 포인터.
함수 서명은 다음과 같습니다:
PyObject *tp_alloc(PyTypeObject *self, Py_ssize_t nitems);
계승:
정적 서브 형은 이 슬롯을 상속받으며,
object에서 상속받은 경우PyType_GenericAlloc()이 됩니다.힙 형 은 이 슬롯을 상속받지 않습니다.
기본값:
힙 형의 경우, 이 필드는 항상
PyType_GenericAlloc()으로 설정됩니다.정적 서브 형의 경우, 이 슬롯은 상속됩니다(위 참조).
-
newfunc PyTypeObject.tp_new¶
The corresponding slot ID
Py_tp_newis part of the 안정 ABI.인스턴스 생성 함수에 대한 선택적 포인터.
함수 서명은 다음과 같습니다:
PyObject *tp_new(PyTypeObject *subtype, PyObject *args, PyObject *kwds);
subtype 인자는 만들어지고 있는 객체의 형입니다; args와 kwds 인자는 형 호출의 위치와 키워드 인자를 나타냅니다. subtype이
tp_new함수가 호출되는 형과 같을 필요는 없음에 유의하십시오; 이 형의 서브 형일 수 있습니다 (하지만 관련이 없는 형은 아닙니다).tp_new함수는 객체에 공간을 할당하기 위해subtype->tp_alloc(subtype, nitems)를 호출해야 하고, 그런 다음 꼭 필요한 만큼만 추가 초기화를 수행해야 합니다. 안전하게 무시하거나 반복할 수 있는 초기화는tp_init처리기에 배치해야 합니다. 간단한 규칙은, 불변 형의 경우 모든 초기화가tp_new에서 수행되어야 하고, 가변형의 경우 대부분 초기화는tp_init로 미뤄져야 합니다.Python에서 해당 형의 인스턴스를 생성하는 것을 금지하려면
Py_TPFLAGS_DISALLOW_INSTANTIATION플래그를 설정하십시오.계승:
이 필드는 서브 형에 의해 상속되지만,
tp_base가NULL또는&PyBaseObject_Type인 정적 형 은 제외됩니다.기본값:
정적 형 의 경우 이 필드는 기본값이 없습니다. 즉, 이 슬롯이
NULL로 정의된 경우 해당 형을 호출하여 새 인스턴스를 생성할 수 없음을 의미하며, 아마도 팩토리 함수와 같이 인스턴스를 생성하는 다른 방법이 존재할 것입니다.
-
freefunc PyTypeObject.tp_free¶
The corresponding slot ID
Py_tp_freeis part of the 안정 ABI.인스턴스 할당 해제 함수에 대한 선택적 포인터. 서명은 다음과 같습니다:
void tp_free(void *self);
이 함수는
tp_alloc에 의해 할당된 메모리를 해제해야 합니다.계승:
Static subtypes inherit this slot, which will be
PyObject_Free()if inherited fromobject. Exception: If the type supports garbage collection (i.e., thePy_TPFLAGS_HAVE_GCflag is set intp_flags) and it would inheritPyObject_Free(), then this slot is not inherited but instead defaults toPyObject_GC_Del().힙 형 은 이 슬롯을 상속받지 않습니다.
기본값:
힙 서브 형 의 경우, 이 슬롯은
PyType_GenericAlloc()및Py_TPFLAGS_HAVE_GC플래그 값에 적합한 해제 프로그램(deallocator)을 기본값으로 사용합니다.정적 서브 형의 경우, 이 슬롯은 상속됩니다(위 참조).
-
inquiry PyTypeObject.tp_is_gc¶
The corresponding slot ID
Py_tp_is_gcis part of the 안정 ABI.가비지 수집기에서 호출되는 함수에 대한 선택적 포인터.
가비지 컬렉터는 특정 객체가 수집 가능 여부를 알아야 합니다. 일반적으로는 해당 객체의 형의
tp_flags필드를 확인하고Py_TPFLAGS_HAVE_GC플래그 비트를 체크하는 것으로 충분합니다. 하지만 일부 형은 정적으로 할당된 인스턴스와 동적으로 할당된 인스턴스가 섞여 있으며, 정적으로 할당된 인스턴스는 수집이 불가능합니다. 이러한 형은 이 함수를 정의해야 하며, 수집 가능한 인스턴스에 대해서는1을, 수집 불가능한 인스턴스에 대해서는0을 반환해야 합니다. 서명은 다음과 같습니다:int tp_is_gc(PyObject *self);
(이것의 유일한 예는 형 자체입니다. 메타형인
PyType_Type은 정적 인스턴스와 동적으로 할당된 형 을 구분하기 위해 이 함수를 정의합니다.)계승:
이 필드는 서브 형으로 상속됩니다.
기본값:
이 슬롯은 기본값이 없습니다. 이 필드가
NULL이면, 기능적으로 동일한Py_TPFLAGS_HAVE_GC가 사용됩니다.
-
PyObject *PyTypeObject.tp_bases¶
베이스형의 튜플.
이 필드는
NULL로 설정되어야 하며 읽기 전용으로 취급되어야 합니다. Python은 형이initialized될 때 이 값을 채웁니다.해당 슬롯 ID에 대해서는
Py_tp_bases를 참조하십시오.경고
다중 상속은 정적으로 정의된 형의 경우 제대로 작동하지 않습니다.
tp_bases를 튜플로 설정하면 Python이 오류를 발생시키지는 않지만, 일부 슬롯은 첫 번째 베이스에서만 상속됩니다.계승:
이 필드는 상속되지 않습니다.
-
PyObject *PyTypeObject.tp_mro¶
형 자체에서 시작하여
object로 끝나는 확장된 베이스형 집합을 포함하는 튜플.이 필드는
NULL로 설정되어야 하며 읽기 전용으로 취급되어야 합니다. Python은 형이initialized될 때 이 값을 채웁니다.계승:
이 필드는 상속되지 않습니다;
PyType_Ready()에 의해 새로 계산됩니다.
-
PyObject *PyTypeObject.tp_cache¶
사용되지 않습니다. 내부 전용.
계승:
이 필드는 상속되지 않습니다.
-
void *PyTypeObject.tp_subclasses¶
서브 클래스 모음입니다. 내부용으로만 사용됩니다. 유효하지 않은 포인터일 수 있습니다.
서브 클래스 목록을 가져오려면 Python 메서드
__subclasses__()를 호출하십시오.버전 3.12에서 변경: 일부 형의 경우, 이 필드는 유효한 PyObject* 를 보유하지 않습니다. 이를 나타내기 위해 해당 유형은 void* 로 변경되었습니다.
계승:
이 필드는 상속되지 않습니다.
-
PyObject *PyTypeObject.tp_weaklist¶
이 형 객체에 대한 약한 참조를 위한 약한 참조 리스트 헤드. 상속되지 않습니다. 내부 전용.
버전 3.12에서 변경: 내부 상세 정보: 약한 참조가 추가되더라도 정적 내장형의 경우 이 값은 항상
NULL``입니다. 대신, 각각의 약한 참조는 ``PyInterpreterState``에 저장됩니다. 이러한 구분을 피하려면 공개 C-API 또는 내부 ``_PyObject_GET_WEARKREFS_LISTPTR()매크로를 사용하십시오.계승:
이 필드는 상속되지 않습니다.
-
destructor PyTypeObject.tp_del¶
The corresponding slot ID
Py_tp_delis part of the 안정 ABI.이 필드는 폐지되었습니다. 대신
tp_finalize를 사용하십시오.
-
unsigned int PyTypeObject.tp_version_tag¶
메서드 캐시에 인덱싱하는 데 사용됩니다. 내부 전용.
계승:
이 필드는 상속되지 않습니다.
-
destructor PyTypeObject.tp_finalize¶
The corresponding slot ID
Py_tp_finalizeis part of the 안정 ABI 버전 3.5 이후로.인스턴스 종료 함수에 대한 선택적 포인터입니다. 이것은
__del__()특수 메서드의 C 구현체입니다. 서명은 다음과 같습니다:void tp_finalize(PyObject *self);
종료(finalization)의 주된 목적은 객체가 파괴되기 전에 수행해야 하는 비자명한 정리 작업을 객체와 해당 객체가 직접 또는 간접적으로 참조하는 다른 객체들이 모두 일관된 상태일 때 수행하는 것입니다. 종료 함수는 임의의 Python 코드를 실행할 수 있습니다.
Python이 객체를 자동으로 종료하기 전에, 객체의 일부 직접 또는 간접 참조가 이미 자동 종료되었을 수 있습니다. 그러나 어떤 참조도 아직 정리(
tp_clear)되지는 않았습니다.다른 종료되지 않은 객체들이 여전히 완료된 객체를 사용할 수 있으므로, 종료 함수는 해당 객체를 양호한 상태(예: 불변 조건이 충족되는 상태)로 유지해야 합니다.
참고
Python이 객체를 자동으로 종료한 후, Python은 해당 객체와 그 참조들을 자동 정리(
tp_clear)하기 시작할 수 있습니다. 정리된 객체는 일관된 상태임이 보장되지 않으므로, 종료된 객체는 정리된 참조를 견딜 수 있어야 합니다.참고
객체의 파괴자(
tp_dealloc)가 호출되기 전에 객체가 자동으로 종료된다는 보장이 없습니다. 객체가 파괴되기 전에 항상 종료되도록 보장하려면tp_dealloc시작 부분에서PyObject_CallFinalizerFromDealloc()을 호출하는 것이 권장됩니다.참고
tp_finalize함수는 어느 스레드에서도 호출될 수 있지만, 이때 GIL 이 보유됩니다.참고
tp_finalize함수는 일부 전역 변수가 삭제된 후인 종료 단계 중에 호출될 수 있습니다. 자세한 내용은__del__()메서드의 문서를 참조하십시오.Python이 객체를 종료할 때 다음 알고리즘과 같이 동작합니다:
Python은 객체를 종료됨(finalized) 으로 표시할 수 있습니다. 현재 Python은 가비지 컬렉션을 지원하는 형(즉,
tp_flags에Py_TPFLAGS_HAVE_GC플래그가 설정된 경우)의 객체만 표시하며 다른 유형의 객체는 표시하지 않습니다. 이 내용은 향후 버전에서 변경될 수 있습니다.객체가 종료됨 으로 표시되지 않고
tp_finalize종료 함수가NULL이 아니면, 종료 함수를 호출합니다.종료 함수가 호출되었고 그 결과로 객체가 도달 가능해졌다면(즉, 객체에 대한 참조가 있고 cyclic isolate 의 멤버가 아닌 경우), 해당 종료 함수는 객체를 부활(resurrected) 시킨 것으로 간주됩니다. 종료 함수가 객체를 도달 가능하게 만들지 않으면서 새로운 참조를 추가하여 객체를 부활시킬 수 있는지는 정의되지 않았습니다.
종료 함수가 객체를 부활시키면, 해당 객체의 대기 중인 파괴 절차가 취소되며 존재할 경우 객체의 종료됨 표시가 제거될 수 있습니다. 현재 Python은 종료됨 표시를 절대 제거하지 않지만, 이는 향후 버전에서 변경될 수 있습니다.
자동 종료(Automatic finalization) 는
PyObject_CallFinalizer()또는PyObject_CallFinalizerFromDealloc()을 통한 호출을 제외하고 Python에 의해 수행되는 모든 종료를 의미합니다. 객체가 언제, 또는 여부나 횟수에 대해 다음을 제외하고는 보장되지 않습니다:Python은 객체가 도달 가능한 경우(즉, 참조가 있고 cyclic isolate 의 멤버가 아닌 경우)에는 자동으로 종료하지 않습니다.
Python은 특정 객체를 종료하는 것이 해당 객체를 종료됨 으로 표시하지 않는 경우, 이를 자동으로 종료하지 않습니다. 현재 이는 가비지 컬렉션을 지원하지 않는 형(즉,
Py_TPFLAGS_HAVE_GC플래그가 설정되지 않은 경우)의 객체에 적용됩니다. 이러한 객체는 여전히PyObject_CallFinalizer()또는PyObject_CallFinalizerFromDealloc()을 호출하여 수동으로 종료할 수 있습니다.Python은 cyclic isolate 의 두 멤버를 동시에 자동 종료하지 않습니다.
Python은 객체를 자동으로 정리(
tp_clear)한 후에 해당 객체를 자동 종료하지 않습니다.객체가 cyclic isolate 의 멤버인 경우, Python은 다른 어떤 멤버를 자동 정리(see
tp_clear)한 후에도 해당 객체를 자동으로 종료하지 않습니다.Python은 cyclic isolate 의 어떤 것도 자동 정리(
tp_clear)하기 전에 모든 멤버를 자동 종료합니다.Python이 객체를 자동 정리(
tp_clear)할 예정이라면, 먼저 해당 객체를 자동으로 종료합니다.
현재 Python은 cyclic isolate 의 멤버인 객체만 자동으로 종료하지만, 향후 버전에서는 파괴 전에 객체를 정기적으로 종료할 수도 있습니다.
객체를 수동으로 종료하려면 이 함수를 직접 호출하지 말고 대신
PyObject_CallFinalizer()또는PyObject_CallFinalizerFromDealloc()을 호출하십시오.tp_finalize는 현재 예외 상태를 변경하지 않아야 합니다. 사소하지 않은 파이널라이저를 작성하는 권장 방법은PyErr_GetRaisedException()을 호출하여 시작 부분에서 예외를 백업하고, 마지막에PyErr_SetRaisedException()을 호출하여 예외를 복원하는 것입니다. 파이널라이저 중간에 예외가 발생하면,PyErr_WriteUnraisable()또는PyErr_FormatUnraisable()로 로그를 남기고 제거하십시오. 예시는 다음과 같습니다:static void foo_finalize(PyObject *self) { // 현재 예외가 있다면 저장합니다. PyObject *exc = PyErr_GetRaisedException(); // ... if (do_something_that_might_raise() != success_indicator) { PyErr_WriteUnraisable(self); goto done; } done: // 저장된 예외를 복원합니다. 이 과정에서 위에서 발생한 모든 예외는 // 조용히 버려지므로, 필요한 경우 먼저 PyErr_WriteUnraisable을 호출해야 합니다. PyErr_SetRaisedException(exc); }
계승:
이 필드는 서브 형으로 상속됩니다.
Added in version 3.4.
버전 3.8에서 변경: 버전 3.8 이전에는 이 필드를 사용하기 위해
Py_TPFLAGS_HAVE_FINALIZE플래그 비트를 설정해야 했습니다. 이제는 더 이상 요구되지 않습니다.
-
vectorcallfunc PyTypeObject.tp_vectorcall¶
The corresponding slot ID
Py_tp_vectorcallis part of the 안정 ABI 버전 3.14 이후로.이 형의 객체(인스턴스가 아님)를 호출할 때 사용할 벡터콜 함수 입니다. 다시 말해,
tp_vectorcall은 보통 새로운 인스턴스를 반환하는type.__call__을 최적화하는 데 사용될 수 있습니다.다른 벡터콜 함수와 마찬가지로,
tp_vectorcall``이 ``NULL``인 경우 대신 *tp_call* 프로토콜(``Py_TYPE(type)->tp_call)이 사용됩니다.참고
벡터콜 프로토콜 은 벡터콜 함수가 해당
tp_call과 동일한 동작을 수행할 것을 요구합니다. 즉,type->tp_vectorcall은Py_TYPE(type)->tp_call의 동작과 일치해야 합니다.구체적으로, type 이 기본 메타 클래스를 사용하는 경우
type->tp_vectorcall은 PyType_Type->tp_call 과 동일하게 작동해야 하며, 이는:type->tp_new를 호출하고,결과가 type 의 서브 형인 경우
tp_new의 결과에 대해type->tp_init을 호출하며,tp_new의 결과를 반환합니다.
일반적으로,
tp_vectorcall은 특정tp_new및tp_init를 위해 이 프로세스를 최적화하도록 재정의됩니다. 사용자 정의 가능 형에 대해 이를 수행할 때는 두 기능 모두가 각각__new__()및__init__()을 통해 재정의될 수 있음을 유의하십시오.계승:
이 필드는 상속되지 않습니다.
Added in version 3.9: (필드는 3.8부터 존재하지만 3.9부터 사용됩니다)
-
unsigned char PyTypeObject.tp_watched¶
내부용. 사용하지 마십시오.
Added in version 3.12.
정적 형¶
전통적으로, C 코드에서 정의된 형은 정적(static)입니다. 즉 정적 PyTypeObject 구조체는 코드에서 직접 정의되고 PyType_Ready()를 사용하여 초기화됩니다.
결과적으로 파이썬에서 정의된 형에 비해 형이 제한됩니다:
정적 형은 하나의 베이스로 제한됩니다. 즉, 다중 상속을 사용할 수 없습니다.
정적 형 객체(그러나 이들의 인스턴스는 아닙니다)는 불변입니다. 파이썬에서 형 객체의 어트리뷰트를 추가하거나 수정할 수 없습니다.
정적 형 객체는 서브 인터프리터에서 공유되므로, 서브 인터프리터 관련 상태를 포함하지 않아야 합니다.
또한, PyTypeObject 은 불투명 구조체(opaque struct)로서 제한된 API 의 일부이기 때문에, 정적 형을 사용하는 모든 확장 모듈은 특정 파이썬 마이너 버전에 맞춰 컴파일되어야 합니다.
힙 형¶
정적 형 의 대안은 힙 할당 형, 또는 줄여서 힙 형 이며, 이는 파이썬의 class 문으로 생성된 클래스와 밀접하게 대응합니다. 힙 형은 Py_TPFLAGS_HEAPTYPE 플래그가 설정되어 있습니다.
이는 PyType_Spec 구조체를 채우고 PyType_FromSpec(), PyType_FromSpecWithBases(), PyType_FromModuleAndSpec(), 또는 PyType_FromMetaclass() 를 호출하여 수행됩니다.
숫자 객체 구조체¶
-
type PyNumberMethods¶
이 구조체는 객체가 숫자 프로토콜을 구현하는 데 사용하는 함수에 대한 포인터를 담습니다. 각 함수는 숫자 프로토콜 섹션에서 설명하는 유사한 이름의 함수가 사용합니다.
구조체 정의는 다음과 같습니다:
typedef struct { binaryfunc nb_add; binaryfunc nb_subtract; binaryfunc nb_multiply; binaryfunc nb_remainder; binaryfunc nb_divmod; ternaryfunc nb_power; unaryfunc nb_negative; unaryfunc nb_positive; unaryfunc nb_absolute; inquiry nb_bool; unaryfunc nb_invert; binaryfunc nb_lshift; binaryfunc nb_rshift; binaryfunc nb_and; binaryfunc nb_xor; binaryfunc nb_or; unaryfunc nb_int; void *nb_reserved; unaryfunc nb_float; binaryfunc nb_inplace_add; binaryfunc nb_inplace_subtract; binaryfunc nb_inplace_multiply; binaryfunc nb_inplace_remainder; ternaryfunc nb_inplace_power; binaryfunc nb_inplace_lshift; binaryfunc nb_inplace_rshift; binaryfunc nb_inplace_and; binaryfunc nb_inplace_xor; binaryfunc nb_inplace_or; binaryfunc nb_floor_divide; binaryfunc nb_true_divide; binaryfunc nb_inplace_floor_divide; binaryfunc nb_inplace_true_divide; unaryfunc nb_index; binaryfunc nb_matrix_multiply; binaryfunc nb_inplace_matrix_multiply; } PyNumberMethods;
참고
이항과 삼항 함수는 모든 피연산자의 형을 확인하고, 필요한 변환을 구현해야합니다 (적어도 피연산자 중 하나는 정의된 형의 인스턴스입니다). 주어진 피연산자에 대해 연산이 정의되지 않으면, 이항과 삼항 함수는
Py_NotImplemented를 반환해야하며, 다른 에러가 발생하면NULL을 반환하고 예외를 설정해야 합니다.참고
nb_reserved필드는 항상NULL이어야 합니다. 이 필드는 이전에는nb_long으로 불렸으며, 파이썬 3.0.1에서 이름이 변경되었습니다.
-
binaryfunc PyNumberMethods.nb_add¶
-
binaryfunc PyNumberMethods.nb_subtract¶
The corresponding slot ID
Py_nb_subtractis part of the 안정 ABI.
-
binaryfunc PyNumberMethods.nb_multiply¶
The corresponding slot ID
Py_nb_multiplyis part of the 안정 ABI.
-
binaryfunc PyNumberMethods.nb_remainder¶
The corresponding slot ID
Py_nb_remainderis part of the 안정 ABI.
-
binaryfunc PyNumberMethods.nb_divmod¶
The corresponding slot ID
Py_nb_divmodis part of the 안정 ABI.
-
ternaryfunc PyNumberMethods.nb_power¶
The corresponding slot ID
Py_nb_poweris part of the 안정 ABI.
-
unaryfunc PyNumberMethods.nb_negative¶
The corresponding slot ID
Py_nb_negativeis part of the 안정 ABI.
-
unaryfunc PyNumberMethods.nb_positive¶
The corresponding slot ID
Py_nb_positiveis part of the 안정 ABI.
-
unaryfunc PyNumberMethods.nb_absolute¶
The corresponding slot ID
Py_nb_absoluteis part of the 안정 ABI.
-
inquiry PyNumberMethods.nb_bool¶
-
unaryfunc PyNumberMethods.nb_invert¶
The corresponding slot ID
Py_nb_invertis part of the 안정 ABI.
-
binaryfunc PyNumberMethods.nb_lshift¶
The corresponding slot ID
Py_nb_lshiftis part of the 안정 ABI.
-
binaryfunc PyNumberMethods.nb_rshift¶
The corresponding slot ID
Py_nb_rshiftis part of the 안정 ABI.
-
binaryfunc PyNumberMethods.nb_and¶
-
binaryfunc PyNumberMethods.nb_xor¶
-
binaryfunc PyNumberMethods.nb_or¶
-
unaryfunc PyNumberMethods.nb_int¶
-
void *PyNumberMethods.nb_reserved¶
-
unaryfunc PyNumberMethods.nb_float¶
The corresponding slot ID
Py_nb_floatis part of the 안정 ABI.
-
binaryfunc PyNumberMethods.nb_inplace_add¶
The corresponding slot ID
Py_nb_inplace_addis part of the 안정 ABI.
-
binaryfunc PyNumberMethods.nb_inplace_subtract¶
The corresponding slot ID
Py_nb_inplace_subtractis part of the 안정 ABI.
-
binaryfunc PyNumberMethods.nb_inplace_multiply¶
The corresponding slot ID
Py_nb_inplace_multiplyis part of the 안정 ABI.
-
binaryfunc PyNumberMethods.nb_inplace_remainder¶
The corresponding slot ID
Py_nb_inplace_remainderis part of the 안정 ABI.
-
ternaryfunc PyNumberMethods.nb_inplace_power¶
The corresponding slot ID
Py_nb_inplace_poweris part of the 안정 ABI.
-
binaryfunc PyNumberMethods.nb_inplace_lshift¶
The corresponding slot ID
Py_nb_inplace_lshiftis part of the 안정 ABI.
-
binaryfunc PyNumberMethods.nb_inplace_rshift¶
The corresponding slot ID
Py_nb_inplace_rshiftis part of the 안정 ABI.
-
binaryfunc PyNumberMethods.nb_inplace_and¶
The corresponding slot ID
Py_nb_inplace_andis part of the 안정 ABI.
-
binaryfunc PyNumberMethods.nb_inplace_xor¶
The corresponding slot ID
Py_nb_inplace_xoris part of the 안정 ABI.
-
binaryfunc PyNumberMethods.nb_inplace_or¶
The corresponding slot ID
Py_nb_inplace_oris part of the 안정 ABI.
-
binaryfunc PyNumberMethods.nb_floor_divide¶
The corresponding slot ID
Py_nb_floor_divideis part of the 안정 ABI.
-
binaryfunc PyNumberMethods.nb_true_divide¶
The corresponding slot ID
Py_nb_true_divideis part of the 안정 ABI.
-
binaryfunc PyNumberMethods.nb_inplace_floor_divide¶
The corresponding slot ID
Py_nb_inplace_floor_divideis part of the 안정 ABI.
-
binaryfunc PyNumberMethods.nb_inplace_true_divide¶
The corresponding slot ID
Py_nb_inplace_true_divideis part of the 안정 ABI.
-
unaryfunc PyNumberMethods.nb_index¶
The corresponding slot ID
Py_nb_indexis part of the 안정 ABI.
-
binaryfunc PyNumberMethods.nb_matrix_multiply¶
The corresponding slot ID
Py_nb_matrix_multiplyis part of the 안정 ABI 버전 3.5 이후로.
-
binaryfunc PyNumberMethods.nb_inplace_matrix_multiply¶
The corresponding slot ID
Py_nb_inplace_matrix_multiplyis part of the 안정 ABI 버전 3.5 이후로.
매핑 객체 구조체¶
-
type PyMappingMethods¶
이 구조체에는 객체가 매핑 프로토콜을 구현하는 데 사용하는 함수에 대한 포인터를 담습니다. 세 개의 멤버가 있습니다:
-
lenfunc PyMappingMethods.mp_length¶
The corresponding slot ID
Py_mp_lengthis part of the 안정 ABI.이 함수는
PyMapping_Size()와PyObject_Size()에서 사용되며, 같은 서명을 갖습니다. 객체에 길이가 정의되어 있지 않으면 이 슬롯을NULL로 설정할 수 있습니다.
-
binaryfunc PyMappingMethods.mp_subscript¶
The corresponding slot ID
Py_mp_subscriptis part of the 안정 ABI.이 함수는
PyObject_GetItem()과PySequence_GetSlice()에서 사용되며,PyObject_GetItem()과 같은 서명을 갖습니다.PyMapping_Check()함수가1을 반환하려면, 이 슬롯을 채워야합니다, 그렇지 않으면NULL일 수 있습니다.
-
objobjargproc PyMappingMethods.mp_ass_subscript¶
The corresponding slot ID
Py_mp_ass_subscriptis part of the 안정 ABI.이 함수는
PyObject_SetItem(),PyObject_DelItem(),PySequence_SetSlice()및PySequence_DelSlice()에서 사용됩니다. 이 함수는PyObject_SetItem()과 동일한 서명을 가지지만, 항목을 삭제하기 위해 v 를NULL로 설정할 수 있습니다. 이 슬롯이NULL인 경우, 해당 객체는 항목 대입 및 삭제를 지원하지 않습니다.
시퀀스 객체 구조체¶
-
type PySequenceMethods¶
이 구조체는 객체가 시퀀스 프로토콜을 구현하는 데 사용하는 함수에 대한 포인터를 담습니다.
-
lenfunc PySequenceMethods.sq_length¶
The corresponding slot ID
Py_sq_lengthis part of the 안정 ABI.이 함수는
PySequence_Size()와PyObject_Size()에서 사용되며, 같은 서명을 갖습니다. 또한sq_item과sq_ass_item슬롯을 통해 음수 인덱스를 처리하는 데 사용됩니다.
-
binaryfunc PySequenceMethods.sq_concat¶
The corresponding slot ID
Py_sq_concatis part of the 안정 ABI.이 함수는
PySequence_Concat()에서 사용되며 같은 서명을 갖습니다.nb_add슬롯을 통해 숫자 덧셈을 시도한 후,+연산자에서도 사용됩니다.
-
ssizeargfunc PySequenceMethods.sq_repeat¶
The corresponding slot ID
Py_sq_repeatis part of the 안정 ABI.이 함수는
PySequence_Repeat()에서 사용되며 같은 서명을 갖습니다.nb_multiply슬롯을 통해 숫자 곱셈을 시도한 후,*연산자에서도 사용됩니다.
-
ssizeargfunc PySequenceMethods.sq_item¶
The corresponding slot ID
Py_sq_itemis part of the 안정 ABI.이 함수는
PySequence_GetItem()에서 사용되며 같은 서명을 갖습니다.mp_subscript슬롯을 통해 서브스크립션(subscription)을 시도한 후,PyObject_GetItem()에서도 사용됩니다.PySequence_Check()함수가1을 반환하려면, 이 슬롯을 채워야합니다, 그렇지 않으면NULL일 수 있습니다.음수 인덱스는 다음과 같이 처리됩니다.
sq_length슬롯이 채워져 있으면 해당 함수를 호출하고 시퀀스 길이를 사용하여 양의 인덱스를 계산한 후sq_item에 전달합니다.sq_length가NULL인 경우, 인덱스가 있는 그대로 함수로 전달됩니다.
-
ssizeobjargproc PySequenceMethods.sq_ass_item¶
The corresponding slot ID
Py_sq_ass_itemis part of the 안정 ABI.이 함수는
PySequence_SetItem()에서 사용되며 같은 서명을 갖습니다.mp_ass_subscript슬롯을 통해 항목 대입과 삭제를 시도한 후,PyObject_SetItem()과PyObject_DelItem()에서도 사용됩니다. 객체가 항목 대입과 삭제를 지원하지 않으면 이 슬롯은NULL로 남겨 둘 수 있습니다.
-
objobjproc PySequenceMethods.sq_contains¶
The corresponding slot ID
Py_sq_containsis part of the 안정 ABI.이 함수는
PySequence_Contains()에서 사용될 수 있으며 같은 서명을 갖습니다. 이 슬롯은NULL로 남겨 둘 수 있습니다, 이때PySequence_Contains()는 일치하는 것을 찾을 때까지 시퀀스를 단순히 탐색합니다.
-
binaryfunc PySequenceMethods.sq_inplace_concat¶
The corresponding slot ID
Py_sq_inplace_concatis part of the 안정 ABI.이 함수는
PySequence_InPlaceConcat()에서 사용되며 같은 서명을 갖습니다. 첫 번째 피연산자를 수정하고 그것을 반환해야 합니다. 이 슬롯은NULL로 남겨 둘 수 있으며, 이때PySequence_InPlaceConcat()은PySequence_Concat()으로 폴백 됩니다.nb_inplace_add슬롯을 통해 숫자 제자리 덧셈을 시도한 후, 증분 대입+=에서 사용됩니다.
-
ssizeargfunc PySequenceMethods.sq_inplace_repeat¶
The corresponding slot ID
Py_sq_inplace_repeatis part of the 안정 ABI.이 함수는
PySequence_InPlaceRepeat()에서 사용되며 같은 서명을 갖습니다. 첫 번째 피연산자를 수정하고 그것을 반환해야 합니다. 이 슬롯은NULL로 남겨 둘 수 있으며, 이때PySequence_InPlaceRepeat()는PySequence_Repeat()로 폴백 됩니다.nb_inplace_multiply슬롯을 통해 숫자 제자리 곱셈을 시도한 후, 증분 대입*=에서도 사용됩니다.
버퍼 객체 구조체¶
-
type PyBufferProcs¶
이 구조체는 버퍼 프로토콜에 필요한 함수에 대한 포인터를 담습니다. 프로토콜은 제공자(exporter) 객체가 내부 데이터를 소비자 객체에 노출하는 방법을 정의합니다.
-
getbufferproc PyBufferProcs.bf_getbuffer¶
The corresponding slot ID
Py_bf_getbufferis part of the 안정 ABI 버전 3.11 이후로.이 함수의 서명은 다음과 같습니다:
int (PyObject *exporter, Py_buffer *view, int flags);
view를 채우기 위해 exporter에 대한 flags에 지정된 요청을 처리합니다. 포인트 (3) 을 제외하고, 이 함수의 구현은 다음 단계를 반드시 수행해야 합니다:
요청을 충족할 수 있는지 확인합니다. 충족할 수 없다면,
BufferError`를 발생시키고 ``view->obj``를 ``NULL``로 설정한 후 `-1``을 반환하십시오.요청된 필드를 채웁니다.
내보내기 횟수에 대한 내부 카운터를 증가시킵니다.
view->obj를 exporter 로 설정하고view->obj를 증가시키십시오.0을 반환합니다.
스레드 안전성:
free-threaded build 에서 구현체는 다음 사항을 보장해야 합니다:
단계 (3)에서의 내보내기 카운터 증가가 원자적(atomic)이어야 합니다.
기본 버퍼 데이터는 모든 내보내기의 수명 동안 유효하며 안정적인 메모리 위치에 있어야 합니다.
bytearray와 같이 크기 조정이나 재할당을 지원하는 객체의 경우, 해당 작업 전에 내보내기 카운트를 원자적으로 확인하며, 내보내기가 존재하면BufferError가 발생합니다.이 함수는 여러 스레드에서 동시에 호출해도 안전합니다.
memoryview객체의 파이썬 수준 스레드 안전성 보장에 대해서는 memoryview 객체의 스레드 안전성 를 참조하십시오.exporter가 버퍼 공급자의 체인이나 트리의 일부이면, 두 가지 주요 체계를 사용할 수 있습니다:
재내보내기(Re-export): 트리의 각 멤버는 내보내는 객체로 작동하며,
view->obj를 자기 자신에 대한 새로운 참조로 설정합니다.리디렉션(Redirect): 버퍼 요청이 트리의 루트 객체로 리디렉션됩니다. 여기서
view->obj는 루트 객체에 대한 새로운 참조가 됩니다.
view의 개별 필드는 섹션 버퍼 구조체에 설명되어 있으며, 제공자가 특정 요청에 응답해야 하는 규칙은 섹션 버퍼 요청 유형에 있습니다.
Py_buffer구조체에서 가리키는 모든 메모리는 제공자에게 속하며 남은 소비자가 없어질 때까지 유효해야 합니다.format,shape,strides,suboffsets및internal은 소비자에게는 읽기 전용입니다.PyBuffer_FillInfo()는 모든 요청 유형을 올바르게 처리하면서 간단한 바이트열 버퍼를 쉽게 노출 할 수 있는 방법을 제공합니다.PyObject_GetBuffer()는 이 함수를 감싸는 소비자 용 인터페이스입니다.
-
releasebufferproc PyBufferProcs.bf_releasebuffer¶
The corresponding slot ID
Py_bf_releasebufferis part of the 안정 ABI 버전 3.11 이후로.이 함수의 서명은 다음과 같습니다:
void (PyObject *exporter, Py_buffer *view);
버퍼 자원 해제 요청을 처리합니다. 자원을 해제할 필요가 없으면,
PyBufferProcs.bf_releasebuffer는NULL일 수 있습니다. 그렇지 않으면, 이 함수의 표준 구현은 다음과 같은 선택적 단계를 수행합니다:내보내기 횟수에 대한 내부 카운터를 줄입니다.
카운터가
0이면, view와 관련된 모든 메모리를 해제합니다.
스레드 안전성:
단계 (1)에서의 내보내기 카운트 감소는 원자적이어야 합니다.
카운트가 0에 도달할 때의 리소스 정리는 원자적으로 수행되어야 합니다. 마지막 해제가 다른 스레드에서의 동시 해제와 경합(race)을 일으킬 수 있으며, 메모리 해제는 단 한 번만 발생해야 하기 때문입니다.
제공자는 반드시
internal필드를 사용하여 버퍼 특정 자원을 추적해야 합니다. 이 필드는 변경되지 않고 유지됨이 보장되지만, 소비자는 원래 버퍼의 사본을 view 인자로 전달할 수 있습니다.이 함수는
view->obj를 감소시켜서는 안 됩니다. 이는PyBuffer_Release()에서 자동으로 처리됩니다(이 방식은 참조 사이클을 끊는 데 유용합니다).PyBuffer_Release()는 이 기능을 감싸는 소비자 용 인터페이스입니다.
비동기 객체 구조체¶
Added in version 3.5.
-
type PyAsyncMethods¶
이 구조체는 어웨이터블와 비동기 이터레이터 객체를 구현하는 데 필요한 함수에 대한 포인터를 담습니다.
구조체 정의는 다음과 같습니다:
typedef struct { unaryfunc am_await; unaryfunc am_aiter; unaryfunc am_anext; sendfunc am_send; } PyAsyncMethods;
-
unaryfunc PyAsyncMethods.am_await¶
The corresponding slot ID
Py_am_awaitis part of the 안정 ABI 버전 3.5 이후로.이 함수의 서명은 다음과 같습니다:
PyObject *am_await(PyObject *self);
반환된 객체는 반드시 iterator 여야 합니다. 즉,
PyIter_Check()가 이에 대해1을 반환해야 합니다.객체가 어웨이터블이 아니면 이 슬롯을
NULL로 설정할 수 있습니다.
-
unaryfunc PyAsyncMethods.am_aiter¶
The corresponding slot ID
Py_am_aiteris part of the 안정 ABI 버전 3.5 이후로.이 함수의 서명은 다음과 같습니다:
PyObject *am_aiter(PyObject *self);
Must return an asynchronous iterator object. See
__anext__()for details.객체가 비동기 이터레이션 프로토콜을 구현하지 않으면 이 슬롯은
NULL로 설정될 수 있습니다.
-
unaryfunc PyAsyncMethods.am_anext¶
The corresponding slot ID
Py_am_anextis part of the 안정 ABI 버전 3.5 이후로.이 함수의 서명은 다음과 같습니다:
PyObject *am_anext(PyObject *self);
반드시 awaitable 객체를 반환해야 합니다. 세부 사항은
__anext__()를 참조하십시오. 이 슬롯은NULL로 설정될 수 있습니다.
-
sendfunc PyAsyncMethods.am_send¶
The corresponding slot ID
Py_am_sendis part of the 안정 ABI 버전 3.10 이후로.이 함수의 서명은 다음과 같습니다:
PySendResult am_send(PyObject *self, PyObject *arg, PyObject **result);
PyIter_Send()를 참조하십시오. 이 슬롯은NULL으로 설정될 수 있습니다.Added in version 3.10.
슬롯 형 typedef¶
-
typedef PyObject *(*allocfunc)(PyTypeObject *cls, Py_ssize_t nitems)¶
- …의 일부 안정 ABI.
이 함수의 목적은 메모리 할당과 메모리 초기화를 분리하는 것입니다. 이 함수는 인스턴스에 적절한 길이의 메모리 블록을 가리키는 포인터를 반환해야 하며, 이는 적절히 정렬되고 0으로 초기화되어야 합니다. 단,
ob_refcnt은1로 설정하고ob_type은 타입 인자로 설정해야 합니다. 해당 타입의tp_itemsize가 0이 아닌 경우, 객체의ob_size필드는 nitems 로 초기화되어야 하며 할당된 메모리 블록의 길이는tp_basicsize + nitems*tp_itemsize가 되어야 하고,sizeof(void*)의 배수가 되도록 올림 처리해야 합니다. 그렇지 않으면 nitems 는 사용되지 않으며 블록의 길이는tp_basicsize여야 합니다.이 함수는 다른 인스턴스 초기화를 수행하지 않아야 합니다, 추가 메모리를 할당도 안 됩니다; 그것은
tp_new에 의해 수행되어야 합니다.
-
typedef int (*setattrfunc)(PyObject *self, char *attr, PyObject *value)¶
- …의 일부 안정 ABI.
객체의 명명된 어트리뷰트 값을 설정합니다. 어트리뷰트를 삭제하려면 value 인자가
NULL로 설정됩니다.
-
typedef PyObject *(*getattrofunc)(PyObject *self, PyObject *attr)¶
- …의 일부 안정 ABI.
객체의 명명된 어트리뷰트 값을 반환합니다.
tp_getattro를 참조하십시오.
-
typedef int (*setattrofunc)(PyObject *self, PyObject *attr, PyObject *value)¶
- …의 일부 안정 ABI.
객체의 명명된 어트리뷰트 값을 설정합니다. 어트리뷰트를 삭제하려면 value 인자가
NULL로 설정됩니다.tp_setattro를 참조하십시오.
-
typedef PyObject *(*descrgetfunc)(PyObject*, PyObject*, PyObject*)¶
- …의 일부 안정 ABI.
tp_descr_get을 참조하십시오.
-
typedef PyObject *(*iternextfunc)(PyObject*)¶
- …의 일부 안정 ABI.
tp_iternext를 참조하십시오.
-
typedef Py_ssize_t (*lenfunc)(PyObject*)¶
- …의 일부 안정 ABI.
-
typedef PyObject *(*ssizeargfunc)(PyObject*, Py_ssize_t)¶
- …의 일부 안정 ABI.
-
typedef int (*ssizeobjargproc)(PyObject*, Py_ssize_t, PyObject*)¶
- …의 일부 안정 ABI.
예¶
다음은 파이썬 형 정의의 간단한 예입니다. 여기에는 여러분이 만날 수 있는 일반적인 사용법이 포함됩니다. 일부는 까다로운 코너 사례를 보여줍니다. 더 많은 예제, 실용 정보 및 자습서는 확장형 정의하기: 자습서와 확장형 정의하기: 여러 가지 주제를 참조하십시오.
기본적인 정적 형:
typedef struct {
PyObject_HEAD
const char *data;
} MyObject;
static PyTypeObject MyObject_Type = {
PyVarObject_HEAD_INIT(NULL, 0)
.tp_name = "mymod.MyObject",
.tp_basicsize = sizeof(MyObject),
.tp_doc = PyDoc_STR("My objects"),
.tp_new = myobj_new,
.tp_dealloc = (destructor)myobj_dealloc,
.tp_repr = (reprfunc)myobj_repr,
};
더 상세한 초기화자를 사용하는 이전 코드(특히 CPython 코드 베이스에서)를 찾을 수도 있습니다:
static PyTypeObject MyObject_Type = {
PyVarObject_HEAD_INIT(NULL, 0)
"mymod.MyObject", /* tp_name */
sizeof(MyObject), /* tp_basicsize */
0, /* tp_itemsize */
(destructor)myobj_dealloc, /* tp_dealloc */
0, /* tp_vectorcall_offset */
0, /* tp_getattr */
0, /* tp_setattr */
0, /* tp_as_async */
(reprfunc)myobj_repr, /* tp_repr */
0, /* tp_as_number */
0, /* tp_as_sequence */
0, /* tp_as_mapping */
0, /* tp_hash */
0, /* tp_call */
0, /* tp_str */
0, /* tp_getattro */
0, /* tp_setattro */
0, /* tp_as_buffer */
0, /* tp_flags */
PyDoc_STR("My objects"), /* tp_doc */
0, /* tp_traverse */
0, /* tp_clear */
0, /* tp_richcompare */
0, /* tp_weaklistoffset */
0, /* tp_iter */
0, /* tp_iternext */
0, /* tp_methods */
0, /* tp_members */
0, /* tp_getset */
0, /* tp_base */
0, /* tp_dict */
0, /* tp_descr_get */
0, /* tp_descr_set */
0, /* tp_dictoffset */
0, /* tp_init */
0, /* tp_alloc */
myobj_new, /* tp_new */
};
약한 참조, 인스턴스 딕셔너리 및 해싱을 지원하는 형:
typedef struct {
PyObject_HEAD
const char *data;
} MyObject;
static PyTypeObject MyObject_Type = {
PyVarObject_HEAD_INIT(NULL, 0)
.tp_name = "mymod.MyObject",
.tp_basicsize = sizeof(MyObject),
.tp_doc = PyDoc_STR("My objects"),
.tp_flags = Py_TPFLAGS_DEFAULT | Py_TPFLAGS_BASETYPE |
Py_TPFLAGS_HAVE_GC | Py_TPFLAGS_MANAGED_DICT |
Py_TPFLAGS_MANAGED_WEAKREF,
.tp_new = myobj_new,
.tp_traverse = (traverseproc)myobj_traverse,
.tp_clear = (inquiry)myobj_clear,
.tp_alloc = PyType_GenericNew,
.tp_dealloc = (destructor)myobj_dealloc,
.tp_repr = (reprfunc)myobj_repr,
.tp_hash = (hashfunc)myobj_hash,
.tp_richcompare = PyBaseObject_Type.tp_richcompare,
};
Py_TPFLAGS_DISALLOW_INSTANTIATION 플래그를 사용하여 하위 클래스로 정의할 수 없고 인스턴스 생성을 위해 호출될 수도 없는(예: 별도의 팩토리 함수 사용) str의 하위 클래스:
typedef struct {
PyUnicodeObject raw;
char *extra;
} MyStr;
static PyTypeObject MyStr_Type = {
PyVarObject_HEAD_INIT(NULL, 0)
.tp_name = "mymod.MyStr",
.tp_basicsize = sizeof(MyStr),
.tp_base = NULL, // set to &PyUnicode_Type in module init
.tp_doc = PyDoc_STR("my custom str"),
.tp_flags = Py_TPFLAGS_DEFAULT | Py_TPFLAGS_DISALLOW_INSTANTIATION,
.tp_repr = (reprfunc)myobj_repr,
};
고정 길이 인스턴스를 갖는 가장 간단한 정적 형:
typedef struct {
PyObject_HEAD
} MyObject;
static PyTypeObject MyObject_Type = {
PyVarObject_HEAD_INIT(NULL, 0)
.tp_name = "mymod.MyObject",
};
가변 길이 인스턴스를 갖는 가장 간단한 정적 형:
typedef struct {
PyObject_VAR_HEAD
const char *data[1];
} MyObject;
static PyTypeObject MyObject_Type = {
PyVarObject_HEAD_INIT(NULL, 0)
.tp_name = "mymod.MyObject",
.tp_basicsize = sizeof(MyObject) - sizeof(char *),
.tp_itemsize = sizeof(char *),
};