타입 객체 구조¶
파이썬 객체 시스템에서 가장 중요한 구조 중 하나는 새로운 타입을 정의하는 구조체인 PyTypeObject 구조입니다. 타입 객체는 PyObject_* 또는 PyType_* 함수를 사용하여 처리할 수 있지만, 대부분의 파이썬 애플리케이션에는 흥미로운 점을 많이 제공하지 못합니다. 이 객체들은 객체가 동작하는 방식에 필수적이기 때문에 인터프리터 자체와 새로운 타입을 구현하는 어떤 확장 모듈에도 매우 중요합니다.
형 객체는 대부분 표준형보다 상당히 큽니다. 크기가 큰 이유는 각 형 객체가 많은 수의 값을 저장하기 때문인데, 주로 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 |
|||||
unsigned char |
||||||
서브 슬롯¶
슬롯 |
특수 메서드 |
|
|---|---|---|
__await__ |
||
__aiter__ |
||
__anext__ |
||
__add__ __radd__ |
||
__iadd__ |
||
__sub__ __rsub__ |
||
[msgid] __sub__ __rsub__ |
||
__mul__ __rmul__ |
||
__imul__ |
||
__mod__ __rmod__ |
||
[msgid] __imod__ |
||
__divmod__ __rdivmod__ |
||
__pow__ __rpow__ |
||
[msgid] __ipow__ |
||
__neg__ |
||
__pos__ |
||
__abs__ |
||
__bool__ |
||
__invert__ |
||
__lshift__ __rlshift__ |
||
__lshift__ |
||
__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 정의¶
:c:type:`PyTypeObject`에 대한 구조 정의는 :file:`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;
setattrofunc tp_setattro;
/* 입/출력 버퍼로 객체에 접근하는 함수들 */
PyBufferProcs *tp_as_buffer;
/* 선택적/확장된 기능의 존재 여부를 정의하는 플래그들 */
unsigned long tp_flags;
const char *tp_doc; /* 설명 문자열 */
/* 2.0 릴리스에서 할당된 의미 */
/* 모든 접근 가능한 객체를 위한 call 함수 */
traverseproc tp_traverse;
/* 포함된 객체에 대한 참조 삭제 */
inquiry tp_clear;
/* 2.1 릴리스에서 할당된 의미 */
/* riche 비교 연산 */
richcmpfunc tp_richcompare;
/* 약한 참조 활성화기 */
Py_ssize_t tp_weaklistoffset;
/* 이터레이터들 */
getiterfunc tp_iter;
iternextfunc tp_iternext;
/* 속성 디스크립터 및 하위 클래싱 관련 구조체들 */
PyMethodDef *tp_methods;
PyMemberDef *tp_members;
PyGetSetDef *tp_getset;
// 힙 유형에서의 강한 참조, 정적 유형에서의 빌린 참조
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;
/* 이 유형에 관심 있는 타입-워쳐들의 비트셋 */
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;This should be done before any instances of the type are created.
PyType_Ready()checks ifob_typeisNULL, and if so, initializes it to theob_typefield of the base class.PyType_Ready()will not change this field if it is non-zero.계승:
이 필드는 서브 형으로 상속됩니다.
PyVarObject 슬롯¶
For statically allocated type objects, this should be initialized to zero. For dynamically allocated type objects, this field has a special internal meaning.
이 필드는
Py_SIZE()매크로를 사용하여 접근해야 합니다.계승:
이 필드는 서브 형에 의해 상속되지 않습니다.
PyTypeObject 슬롯¶
각 슬롯에는 상속에 대한 설명을 담은 섹션이 있습니다. 만약 PyType_Ready() 가 필드가 NULL 일 때 값을 설정할 수 있다면, “Default” 섹션도 있을 것입니다. (참고로, PyBaseObject_Type 및 PyType_Type 에 설정된 많은 필드는 사실상 기본값 역할을 합니다.)
-
const char *PyTypeObject.tp_name¶
대응하는 :c:member:`Slot ID <PySlot.sl_id>`는 :c:macro:`Py_tp_name`을 참조하십시오.
Pointer to a NUL-terminated string containing the name of the type. For types that are accessible as module globals, the string should be the full module name, followed by a dot, followed by the type name; for built-in types, it should be just the type name. If the module is a submodule of a package, the full package name is part of the full module name. For example, a type named
Tdefined in moduleMin subpackageQin packagePshould have thetp_nameinitializer"P.Q.M.T".For dynamically allocated type objects, this should just be the type name, and the module name explicitly stored in the type dict as the value for key
'__module__'.For statically allocated type objects, the tp_name field should contain a dot. Everything before the last dot is made accessible as the
__module__attribute, and everything after the last dot is made accessible as the__name__attribute.If no dot is present, the entire
tp_namefield is made accessible as the__name__attribute, and the__module__attribute is undefined (unless explicitly set in the dictionary, as explained above). This means your type will be impossible to pickle. Additionally, it will not be listed in module documentations created with 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를 참조하십시오.두 가지 종류의 형이 있습니다. 고정 길이 인스턴스를 가진 형식은 0인
tp_itemsize필드를 가지고 있고, 가변 길이 인스턴스를 가진 형식은 0이 아닌tp_itemsize필드를 가지고 있습니다. 고정 길이 인스턴스를 가진 형식의 경우 모든 인스턴스는 :c:member:`!tp_basicsize`에 지정된 동일한 크기를 갖습니다. (규칙의 예외는 :c:func:`PyUnstable_Object_GC_NewWithExtraData`를 사용하여 만들 수 있습니다.)For a type with variable-length instances, the instances must have an
ob_sizefield, and the instance size istp_basicsizeplus N timestp_itemsize, where N is the “length” of the object.Functions like
PyObject_NewVar()will take the value of N as an argument, and store in the instance’sob_sizefield. Note that theob_sizefield may later be used for other purposes. For example,intinstances use the bits ofob_sizein an implementation-defined way; the underlying storage and its size should be accessed usingPyLong_Export().참고
ob_size필드는Py_SIZE()및Py_SET_SIZE()매크로를 사용하여 접근해야 합니다.또한, 인스턴스 레이아웃에
ob_size필드가 있다고 해서 인스턴스 구조체가 가변 길이라는 의미는 아닙니다. 예를 들어,list유형은 고정 길이의 인스턴스를 가지지만, 해당 인스턴스는ob_size필드를 포함합니다. (int`와 마찬가지로, 리스트의 :c:member:!ob_size`를 직접 읽는 것은 피하십시오. 대신 :c:func:`PyList_Size`을 호출하십시오.):c:member:`!tp_basicsize`에는 해당 유형의 :c:member:`~PyTypeObject.tp_base`에 필요한 데이터 크기와 각 인스턴스에 필요한 추가 데이터가 포함됩니다.
tp_basicsize`를 설정하는 올바른 방법은 인스턴스 레이아웃을 선언하는 데 사용되는 구조체에 ``sizeof`연산자를 사용하는 것입니다. 이 구조체는 기본 유형을 선언하는 데 사용된 구조체를 포함해야 합니다. 즉,tp_basicsize`는 기본 유형의 :c:member:!tp_basicsize`보다 크거나 같아야 합니다.Since every type is a subtype of
object, this struct must includePyObjectorPyVarObject(depending on whetherob_sizeshould be included). These are usually defined by the macroPyObject_HEADorPyObject_VAR_HEAD, respectively.기본 크기는 GC 헤더 크기를 포함하지 않는데, 해당 헤더는 :c:macro:`PyObject_HEAD`의 일부가 아니기 때문입니다.
기본 유형을 선언하는 데 사용된 구조체가 알려지지 않은 경우, :c:member:`PyType_Spec.basicsize`와 :c:func:`PyType_FromMetaclass`를 참조하십시오.
정렬에 대한 참고 사항:
tp_basicsize는_Alignof(PyObject_)의 배수여야 합니다. 권장되는 대로PyObject_HEAD를 포함하는struct에 대해sizeof를 사용할 때, 컴파일러가 이를 보장합니다. Cstruct을 사용하지 않거나__attribute__((packed))과 같은 컴파일러 확장을 사용하는 경우에는 사용자에게 달려 있습니다.가변 항목에 특정 정렬이 필요한 경우,
tp_basicsize와tp_itemsize모두 해당 정렬의 배수여야 합니다. 예를 들어, 유형의 가변 부분이double을 저장하는 경우, 두 필드 모두_Alignof(double)의 배수가 되도록 하는 것은 사용자의 책임입니다.
계승:
이러한 필드는 서브타입에 의해 별도로 상속됩니다. (즉, 이 필드가 0으로 설정되면, :c:func:`PyType_Ready`가 기본 유형에서 값을 복사하여 인스턴스가 추가적인 스토리지를 필요로 하지 않는다는 것을 나타냅니다.)
기본 유형의 :c:member:`~PyTypeObject.tp_itemsize`가 0이 아닌 경우, 서브타입에서 :c:member:`~PyTypeObject.tp_itemsize`를 다른 0이 아닌 값으로 설정하는 것은 일반적으로 안전하지 않습니다 (이는 기본 유형의 구현에 따라 달라집니다).
-
destructor PyTypeObject.tp_dealloc¶
The corresponding slot ID
Py_tp_deallocis part of the 안정 ABI.인스턴스 파괴자(destructor) 함수에 대한 포인터. 함수 서명은 다음과 같습니다:
void tp_dealloc(PyObject *self);
파괴자 함수는 인스턴스가 소유한 모든 참조를 제거하고 (예:
Py_CLEAR()호출), 인스턴스가 소유한 모든 메모리 버퍼를 해제하며, 객체 자체를 해제하기 위해 유형의tp_free함수를 호출해야 합니다.에러 표시기를 설정할 수 있는 함수를 호출하는 경우, 기존 에러 표시기를 덮어쓰지 않도록
PyErr_GetRaisedException()및 :c:func:`PyErr_SetRaisedException`을 사용해야 합니다 (해제는 다른 에러 처리 중에 발생했을 수 있습니다).static void foo_dealloc(foo_object *self) { PyObject *et, *ev, *etb; PyObject *exc = PyErr_GetRaisedException(); ... PyErr_SetRaisedException(exc); }
디알로케이션 핸들러 자체는 예외를 발생시켜서는 안 됩니다. 오류 사례에 도달하면, 기록(및 제거)할 수 없는(unraisable) 예외를 위해 :c:func:`PyErr_FormatUnraisable`을 호출해야 합니다.
객체가 파괴되는 시기는 다음을 제외하고는 보장되지 않습니다:
Python은 객체의 마지막 참조가 삭제된 직후 또는 어느 시점에 즉시 해당 객체를 파괴합니다. 단, 최종화자(
tp_finalize)가 이후에 이 객체를 부활시키는 경우가 아니라면 그러합니다.An object will not be destroyed while it is being automatically finalized (
tp_finalize) or automatically cleared (tp_clear).
CPython은 현재 새로운 참조 횟수가 0일 때 :c:func:`Py_DECREF`로부터 즉시 객체를 파괴하지만, 이는 향후 버전에서 변경될 수 있습니다.
PyObject_CallFinalizerFromDealloc()를tp_dealloc시작 부분에서 호출하는 것이 권장됩니다. 이렇게 하면 객체가 파괴되기 전에 항상 파이널라이즈됨을 보장 받을 수 있습니다:유형이 가비지 수거를 지원하면 (
Py_TPFLAGS_HAVE_GC플래그가 설정된 경우), 파괴자는 멤버 필드를 지우기 전에 :c:func:`PyObject_GC_UnTrack`을 호출해야 합니다:코드 중복을 줄이고 객체가 파괴되기 전에 항상 명확하게 해제됨을 보장하기 위해
tp_clear를tp_dealloc에서 호출하는 것은 허용됩니다. 다만,tp_clear가 이미 호출되었을 수 있다는 점에 주의하십시오:유형이 힙 할당된 경우 (
Py_TPFLAGS_HEAPTYPE), 파괴자는 유형의 파괴자를 호출한 후 소유한 해당 유형 객체에 대한 참조를 놓아주어야 합니다 ( :c:func:`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); }
:c:member:`!tp_dealloc``은 예외 상태를 변경하지 않고 남겨두어야 합니다. 만약 예외를 발생시킬 수 있는 무언가를 호출해야 한다면, 예외 상태는 반드시 백업된 후( :c:func:`PyErr_WriteUnraisable`로 모든 예외를 기록한 후에) 나중에 복원되어야 합니다:
예제:
static void foo_dealloc(PyObject *self) { PyObject *exc = PyErr_GetRaisedException(); if (PyObject_CallFinalizerFromDealloc(self) < 0) { // self가 부활되었습니다. goto done; } PyTypeObject *tp = Py_TYPE(self); if (tp->tp_flags & Py_TPFLAGS_HAVE_GC) { PyObject_GC_UnTrack(self); } // 코드 중복을 피하기 위해 선택 사항이지만 편리합니다. if (tp->tp_clear && tp->tp_clear(self) < 0) { PyErr_WriteUnraisable(self); } // 추가적인 파괴는 여기에 작성합니다. tp->tp_free(self); self = NULL; // 아래에서 PyErr_WriteUnraisable()이 호출되는 경우에 대비하여. if (tp->tp_flags & Py_TPFLAGS_HEAPTYPE) { Py_CLEAR(tp); } done: // 선택 사항: 무언가를 호출하여 예외를 발생시킬 수 있었을 경우. if (PyErr_Occurred()) { PyErr_WriteUnraisable(self); } PyErr_SetRaisedException(exc); }
tp_dealloc은 객체를 생성한 스레드뿐만 아니라 모든 Python 스레드에서 호출될 수 있습니다 (객체가 참조 횟수 사이클의 일부가 되면, 이 사이클은 어떤 스레드의 가비지 컬렉션에 의해 수거될 수 있기 때문입니다). 이는 Python API 호출에는 문제가 없습니다. 왜냐하면tp_dealloc이 호출된 스레드에서 attached thread state 를 사용하기 때문입니다. 그러나 객체가 다른 C 라이브러리의 객체를 파괴하는 경우 (턴), 해당 객체들을tp_dealloc을 호출한 스레드에서 파괴해도 라이브러리가 가정한 어떤 전제 조건도 위반되지 않도록 주의해야 합니다:계승:
이 필드는 서브 형으로 상속됩니다.
더 보기
이 슬롯이 다른 슬롯과 어떻게 관련되는지에 대한 자세한 내용은 :ref:`life-cycle`을 참조하십시오.
-
Py_ssize_t PyTypeObject.tp_vectorcall_offset¶
간단한
tp_call의 더 효율적인 대안인 벡터콜(vectorcall) 프로토콜을 사용하여 객체를 호출하는 것을 구현하는 인스턴스별 함수에 대한 선택적 오프셋입니다.이 필드는 플래그
Py_TPFLAGS_HAVE_VECTORCALL가 설정된 경우에만 사용됩니다. 이 경우, 이는vectorcallfunc포인터 인스턴스의 오프셋을 포함하는 양의 정수여야 합니다.vectorcallfunc 포인터는
NULL일 수 있으며, 이 경우 인스턴스는Py_TPFLAGS_HAVE_VECTORCALL이 설정되지 않은 것처럼 동작합니다. 즉, 인스턴스를 호출할 때tp_call로 폴백(fallback)됩니다: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 <heap-types>`가 벡터콜 프로토콜을 구현하는 것이 권장되지 않았습니다. 사용자가 Python 코드에서 :attr:`~object.__call__``을 설정할 때, *tp_call*만 업데이트되어 벡터콜 함수와 일관성이 없을 가능성이 높습니다. 3.12부터는 ``__call__``을 설정하면 :c:macro:`Py_TPFLAGS_HAVE_VECTORCALL 플래그를 지워 벡터콜 최적화가 비활성화됩니다:
계승:
이 필드는 항상 상속됩니다. 그러나
Py_TPFLAGS_HAVE_VECTORCALL플래그는 항상 상속되지 않습니다. 설정되어 있지 않다면, 서브클래스는 :c:func:`PyVectorcall_Call``가 명시적으로 호출되는 경우를 제외하고는 :ref:`vectorcall <vectorcall>`을 사용하지 않을 것입니다:
-
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을 반환해야 합니다.이 필드가 설정되지 않았을 경우 (그리고 :c:member:`~PyTypeObject.tp_richcompare`가 설정되지 않은 경우), 객체의 해시 값을 가져오는 시도는 :exc:`TypeError`를 발생시킵니다. 이는 해당 필드를 :c:func:`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를 모두 상속합니다.기본값:
:c:data:`PyBaseObject_Type`은 :c:func:`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를 모두 상속합니다.기본값:
:c:data:`PyBaseObject_Type`은 :c:func:`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를 모두 상속합니다.기본값:
:c:data:`PyBaseObject_Type`은 :c:func:`PyObject_GenericSetAttr`를 사용합니다.
-
PyBufferProcs *PyTypeObject.tp_as_buffer¶
버퍼 인터페이스를 구현하는 객체에만 관련된 필드를 포함하는 추가 구조체에 대한 포인터. 이 필드는 버퍼 객체 구조체에서 설명합니다.
계승:
tp_as_buffer필드는 상속되지 않지만, 포함된 필드는 개별적으로 상속됩니다.
-
unsigned long PyTypeObject.tp_flags¶
해당 :c:member:`Slot ID <PySlot.sl_id>`에 대한 내용은 :c:macro:`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()을 사용하여 할당하고, 해제(참조tp_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플래그가 설정되지 않은 타입에는 절대로 상속되지 않습니다. 확장형의 경우, :c:member:`~PyTypeObject.tp_descr_get`이 상속될 때마다 상속됩니다.
-
Py_TPFLAGS_MANAGED_DICT¶
이 비트는 클래스의 인스턴스가
__dict__속성을 가지며, 딕셔너리 공간이 VM에 의해 관리됨을 나타냅니다.이 플래그가 설정되면, :c:macro:`Py_TPFLAGS_HAVE_GC`도 반드시 설정되어야 합니다.
타입 트래버스는 :c:func:`PyObject_VisitManagedDict`를 호출해야 하며, 클리어 함수는 :c:func:`PyObject_ClearManagedDict`를 호출해야 합니다.
Added in version 3.12.
계승:
이 플래그는 상위 클래스에
tp_dictoffset필드가 설정되지 않는 한 상속됩니다.
-
Py_TPFLAGS_MANAGED_WEAKREF¶
이 비트는 해당 클래스의 인스턴스가 약하게 참조될 수 있음을 나타냅니다.
이 플래그가 설정되면, :c:macro:`Py_TPFLAGS_HAVE_GC`도 반드시 설정되어야 합니다.
Added in version 3.12.
계승:
이 플래그는 슈퍼클래스에
tp_weaklistoffset필드가 설정되지 않은 한 상속됩니다.
-
Py_TPFLAGS_PREHEADER¶
이 비트들은 VM이 해당 객체 앞에 일부 필드를 저장하여 관리한다는 것을 나타냅니다. 현재 이 매크로는 :c:expr:`Py_TPFLAGS_MANAGED_DICT | Py_TPFLAGS_MANAGED_WEAKREF`와 같습니다.
이 매크로 값은 VM의 구현에 의존하므로 안정적이지 않으며 향후 버전에서 변경될 수 있습니다. 대신 개별 플래그를 사용하는 것이 좋습니다.
Added in version 3.12.
-
Py_TPFLAGS_ITEMS_AT_END¶
- 상의 안정 ABI 버전 3.12 이후로.
변수 크기 타입인 경우에만 사용 가능합니다. 즉, :c:member:`~PyTypeObject.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¶
:c:func:`PyLong_Check`와 같은 함수는 다음 플래그 중 하나를 사용하여 형이 내장형의 서브클래스인지 신속하게 판별하기 위해 :c:func:`PyType_FastSubclass`를 호출합니다. 이러한 특정 검사는 :c:func:`PyObject_IsInstance`와 같은 일반 검사보다 빠릅니다. 내장에서 상속된 사용자 정의 타입은 :c:member:`~PyTypeObject.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을 참조하십시오.계승:
만약 :c:member:`~PyTypeObject.tp_call`도 상속된다면 이 비트가 상속됩니다.
Added in version 3.8:
_Py_TPFLAGS_HAVE_VECTORCALL로 이름이 변경되었습니다.버전 3.9에서 변경: 선행 언더스코어 없이 현재 이름으로 이름을 바꿨습니다. 이전 임시 이름은 :term:`soft deprecated`입니다.
버전 3.12에서 변경: 이 플래그는 클래스의
__call__()메서드가 재할당될 때 클래스에서 제거됩니다.이 플래그는 이제 가변 객체(mutable classes)에 의해 상속될 수 있습니다.
-
Py_TPFLAGS_IMMUTABLETYPE¶
이 비트는 불변 타입 객체에 설정됩니다: 따라서 타입 속성이 설정되거나 삭제되지 않습니다.
:c:func:`PyType_Ready`가 이 플래그를 :ref:`static types <static-types>`에 자동으로 적용합니다.
계승:
이 플래그는 상속되지 않습니다.
Added in version 3.10.
-
Py_TPFLAGS_DISALLOW_INSTANTIATION¶
타입의 인스턴스 생성을 거부합니다:
tp_new를 NULL로 설정하고 타입 딕셔너리에서__new__키를 생성하지 않습니다.이 플래그는 타입을 생성하기 전에, 나중에 설정해야 합니다. 예를 들어, 이 플래그는 타입에 :c:func:`PyType_Ready`가 호출되기 이전에 설정되어야 합니다.
만약
tp_base가 NULL이거나&PyBaseObject_Type이고tp_new가 NULL이면 static types 에 자동으로 설정됩니다.계승:
이 플래그는 상속되지 않습니다. 하지만 하위 클래스는 비-NULL의 :c:member:`~PyTypeObject.tp_new`를 제공하지 않는 한 인스턴스화할 수 없습니다 (이는 C API을 통해서만 가능합니다).
참고
클래스의 직접적인 인스턴스 생성을 허용하지 않으면서 하위 클래스의 인스턴스 생성은 허용하려면(예: :term:`abstract base class`의 경우), 이 플래그를 사용하지 마십시오. 대신, :c:member:`~PyTypeObject.tp_new`가 하위 클래스에 대해서만 성공하도록 만드십시오.
Added in version 3.10.
-
Py_TPFLAGS_MAPPING¶
이 비트는 해당 클래스의 인스턴스가
match블록의 피험체로 사용될 때 매핑 패턴과 일치할 수 있음을 나타냅니다. 이는 :class:`collections.abc.Mapping`을 등록하거나 서브클래싱할 때 자동으로 설정되며, :class:`collections.abc.Sequence`를 등록할 때 해제됩니다.참고
:c:macro:`Py_TPFLAGS_MAPPING`와 :c:macro:`Py_TPFLAGS_SEQUENCE`는 상호 배타적입니다. 두 플래그를 동시에 활성화하는 것은 오류입니다.
계승:
이 플래그는 이미 :c:macro:`Py_TPFLAGS_SEQUENCE`가 설정되지 않은 타입에 상속됩니다.
더 보기
PEP 634 – 구조적 패턴 매칭: 사양
Added in version 3.10.
-
Py_TPFLAGS_SEQUENCE¶
이 비트는 해당 클래스의 인스턴스가
match블록의 피험체로 사용될 때 시퀀스 패턴과 일치할 수 있음을 나타냅니다. 이는 :class:`collections.abc.Sequence`를 등록하거나 서브클래싱할 때 자동으로 설정되며, :class:`collections.abc.Mapping`을 등록할 때 해제됩니다.참고
:c:macro:`Py_TPFLAGS_MAPPING`와 :c:macro:`Py_TPFLAGS_SEQUENCE`는 상호 배타적입니다. 두 플래그를 동시에 활성화하는 것은 오류입니다.
계승:
이 플래그는 이미 :c:macro:`Py_TPFLAGS_MAPPING`가 설정되지 않은 타입에 상속됩니다.
더 보기
PEP 634 – 구조적 패턴 매칭: 사양
Added in version 3.10.
-
Py_TPFLAGS_VALID_VERSION_TAG¶
내부용입니다. 이 플래그를 설정하거나 해제하지 마십시오. 클래스가 변경되었음을 나타내려면 :c:func:`PyType_Modified`를 호출하십시오.
경고
이 플래그는 헤더 파일에 존재하지만, 사용되지 않습니다. 향후 CPython 버전에서 제거될 것입니다.
-
Py_TPFLAGS_HAVE_VERSION_TAG¶
이 매크로는 아무것도 하지 않습니다. 역사적으로 이것은
tp_version_tag필드가 존재하고 초기화되었음을 나타냈습니다.버전 3.13부터 약하게 폐지 <Soft deprecated>.
-
Py_TPFLAGS_INLINE_VALUES¶
이 비트가 해당 타입 인스턴스가 객체의 속성을 포함하는 “인라인 값” 배열을 가지게 함을 나타냅니다.
이를 위해서는 :c:macro:`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.이 타입 객체의 독스트링을 제공하는 선택적 포인터입니다. 이것은 타입의
__doc__속성 및 해당 타입의 인스턴스로 노출됩니다.계승:
이 필드는 서브 형에 의해 상속되지 않습니다.
-
traverseproc PyTypeObject.tp_traverse¶
The corresponding slot ID
Py_tp_traverseis part of the 안정 ABI.가비지 컬렉터를 위한 탐색 함수에 대한 선택적 포인터입니다. 이것은
Py_TPFLAGS_HAVE_GC플래그 비트가 설정된 경우에만 사용됩니다.문서는 :ref:`gc-traversal`을 참조하십시오.
계승:
그룹:
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.정리 함수에 대한 선택적 포인터입니다. 서명은 다음과 같습니다:
int tp_clear(PyObject *);
이 함수의 목적은 참조 순환을 끊어 :term:`cyclic isolate`로 인해 객체가 안전하게 파괴될 수 있도록 하는 것입니다. 정리된 객체는 부분적으로 파괴된 객체이며, 객체는 일반적인 사용 중에 유지되는 설계 불변성을 만족할 의무가 없습니다.
tp_clear`는 Python 문자열이나 Python 정수와 같이 참조 순환에 참여할 수 없는 객체에 대한 참조를 삭제할 필요가 없습니다. 하지만, 모든 참조를 정리하고 코드 중복을 방지하기 위해 타입의 :c:member:`~PyTypeObject.tp_dealloc함수에서tp_clear`를 호출하도록 작성하는 것이 편리할 수 있습니다. (주의: :c:member:!tp_clear`가 이미 호출되었을 수 있습니다. :c:func:`Py_CLEAR`와 같은 불변의 함수를 사용하는 것을 선호하십시오.)어떤 비자명한 정리 작업도
tp_clear대신 :c:member:`~PyTypeObject.tp_finalize`에서 수행되어야 합니다.참고
만약
tp_clear`가 참조 순환을 끊는 데 실패하면, :term:`cyclic isolate내의 객체는 무기한 수집 불가능할 (“누수”) 수 있습니다. :data:`gc.garbage`를 참조하십시오.참고
참조 대상(직접 및 간접)은 이미 정리되었을 수 있으며, 일관된 상태가 보장되지 않습니다.
참고
tp_clear함수는 모든 스레드에서 호출할 수 있습니다.참고
개체는 파괴자(
tp_dealloc)가 호출되기 전에 자동으로 정리될 것이라고 보장되지 않습니다.This function differs from the destructor (
tp_dealloc) in the following ways:객체를 정리하는 목적은 참조 순환에 참여할 수 있는 다른 객체에 대한 참조를 제거하는 것입니다. 반면에, 파괴자의 목적은 그보다 광범위합니다: 참조 순환에 참여할 수 없는 객체(예: 정수)에 대한 참조뿐만 아니라 객체 자체의 메모리(
tp_free호출을 통해)를 포함하여 소유하는 모든 리소스를 해제해야 합니다.tp_clear`가 호출될 때, 다른 객체는 정리 중인 객체에 대한 참조를 계속 보유할 수 있습니다. 이 때문에 :c:member:!tp_clear`는 객체 자체의 메모리(tp_free)를 해제해서는 안 됩니다. 반면에, 파괴자는 어떤 강한 참조도 존재하지 않을 때만 호출되며, 따라서 객체를 스스로 안전하게 파괴해야 합니다.:c:member:`!tp_clear`는 자동으로 호출되지 않을 수도 있습니다. 반면에 객체의 파괴자는 객체가 도달 불가능해진 후 어느 시점에 자동으로 호출됩니다 (즉, 객체에 대한 참조가 없거나 객체가 :term:`cyclic isolate`의 구성원인 경우).
Python에서는 객체를 언제, 어떤 방식으로, 어느 정도 자주 자동으로 정리할지에 대한 보장은 없습니다. 예외는 다음과 같습니다:
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참조)<0xC2><0xA0>Python에서는 객체를 자동으로 정리하지 않습니다. (최종화기에서 객체가 부활된 경우, 정리되기 전에 객체는 다시 자동으로 최종화될 수도 있고 아닐 수도 있습니다.)If an object is a member of a cyclic isolate, Python will not automatically clear it if any member of the cyclic isolate has not yet been automatically finalized (
tp_finalize).Python은 해당
tp_clear함수에 대한 자동 호출이 반환될 때까지 객체를 파괴하지 않습니다. 이는 참조 순환을 끊는 행위가tp_clear`가 실행되는 동안 ``self`포인터를 무효화하는 것을 방지합니다.Python은 :c:member:`!tp_clear`를 여러 번 동시에 자동 호출하지 않습니다.
CPython currently only automatically clears objects as needed to break reference cycles in a cyclic isolate, but future versions might clear objects regularly before their destruction.
시스템의 모든
tp_clear함수는 결합하여 모든 참조 순환을 끊어야 합니다. 이는 미묘한 부분이므로, 의심스러운 경우tp_clear함수를 제공하십시오. 예를 들어, 튜플 타입은 튜플만으로 구성된 참조 순환이 존재할 수 없음을 증명하는 것이 가능하기 때문에tp_clear함수를 구현하지 않습니다. 따라서 다른 타입의tp_clear함수가 튜플을 포함하는 모든 사이클을 끊는 역할을 합니다. 이는 즉시 명확하지 않으며, :c:member:`~PyTypeObject.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()이를 통해) 해제되어서는 안 됩니다. 이는 참조를 해제하면 포함된 객체가 쓰레기(trash)가 되어 임의의 Python 코드를 호출하는 일련의 복구 활동을 유발할 수 있기 때문입니다 (최종화기 또는 포함된 객체와 관련된 weakref 콜백으로 인해). 이러한 코드가 self 를 다시 참조하는 것이 가능한 경우, 그 시점에 포함된 객체의 포인터가NULL임을 아는 것이 중요합니다. 그래야 self 가 해당 객체를 더 이상 사용할 수 없음을 알기 때문입니다.Py_CLEAR()매크로는 안전한 순서로 작업을 수행합니다.만약
tp_flags필드에서Py_TPFLAGS_MANAGED_DICT비트가 설정되어 있다면, clear 함수는 다음과 같이 :c:func:`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는 모두 베이스형으로부터 상속됩니다.더 보기
이 슬롯이 다른 슬롯과 어떻게 관련되는지에 대한 자세한 내용은 :ref:`life-cycle`을 참조하십시오.
-
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()에서처럼 요청된 연산을 지정합니다.The returned value is a new strong reference.
에러가 발생하면, 예외를 설정하고 함수에서
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구현을 제공합니다. 하지만, o직tp_hash만 정의되어 있다면, 상속된 함수조차 사용되지 않으며 해당 타입의 인스턴스는 어떠한 비교에도 참여할 수 없습니다.-
Py_LT¶
-
Py_ssize_t PyTypeObject.tp_weaklistoffset¶
이 필드가 여전히 지원되지만, 가능하다면 대신 :c:macro:`Py_TPFLAGS_MANAGED_WEAKREF`를 사용해야 합니다.
If the instances of this type are weakly referenceable, this field is greater than zero and contains the offset in the instance structure of the weak reference list head (ignoring the GC header, if present); this offset is used by
PyObject_ClearWeakRefs()and thePyWeakref_*functions. The instance structure needs to include a field of type PyObject* which is initialized toNULL.이 필드를
tp_weaklist와 혼동하지 마십시오; 그것은 형 객체 자체에 대한 약한 참조의 리스트 헤드입니다.:c:macro:`Py_TPFLAGS_MANAGED_WEAKREF 비트와 :c:member:`~PyTypeObject.tp_weaklistoffset`을 모두 설정하는 것은 오류입니다.
계승:
이 필드는 서브 형에 의해 상속되지만, 아래 나열된 규칙을 참조하십시오. 서브 형이 이 오프셋을 재정의할 수 있습니다; 이는 서브 형이 베이스형과 다른 약한 참조 리스트 헤드를 사용함을 의미합니다. 리스트 헤드는 항상
tp_weaklistoffset을 통해 발견되므로, 문제가 되지 않습니다.기본값:
만약
tp_flags필드에Py_TPFLAGS_MANAGED_WEAKREF비트가 설정되어 있다면, :c:member:`~PyTypeObject.tp_weaklistoffset`은 이 필드를 사용하기에 안전하지 않음을 나타내는 음수 값으로 설정됩니다.
-
getiterfunc PyTypeObject.tp_iter¶
The corresponding slot ID
Py_tp_iteris part of the 안정 ABI.객체에 대한 :term:`이터레이터 <iterator>`를 반환하는 함수에 대한 선택적 포인터입니다. 이것의 존재는 보통 이 타입의 인스턴스가 :term:`이터러블 <iterable>`임을 나타냅니다 (시퀀스는 이 함수 없이도 이터러블일 수 있습니다).
이 함수는
PyObject_GetIter()와 같은 서명을 갖습니다:PyObject *tp_iter(PyObject *self);
계승:
이 필드는 서브 형으로 상속됩니다.
-
iternextfunc PyTypeObject.tp_iternext¶
The corresponding slot ID
Py_tp_iternextis part of the 안정 ABI.:term:`이터레이터 <iterator>`의 다음 항목을 반환하는 함수에 대한 선택적 포인터입니다. 시그니처는 다음과 같습니다:
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¶
The corresponding slot ID
Py_tp_baseis part of the 안정 ABI.형 속성이 상속되는 베이스형에 대한 선택적 포인터. 이 수준에서는, 단일 상속만 지원됩니다; 다중 상속은 메타 형을 호출하여 형 객체를 동적으로 작성해야 합니다.
참고
슬롯 초기화에는 전역 초기화 규칙이 적용됩니다. C99에서는 초기화자가 “주소 상수(address constants)”여야 합니다. 포인터로 묵시적으로 변환되는
PyType_GenericNew()와 같은 함수 지정자는 유효한 C99 주소 상수입니다.하지만, :c:data:`PyBaseObject_Type`과 같은 비정적 변수에 적용되는 단항 ‘&’ 연산자는 주소 상수를 생성하는 데 필요하지 않습니다. 컴파일러는 이를 지원할 수 있습니다 (gcc가 하는 것처럼), MSVC는 그렇지 않습니다. 이 특정 동작에 대해 두 컴파일러 모두 엄격하게 표준을 준수합니다.
결과적으로,
tp_base는 확장 모듈의 초기화 함수에서 설정되어야 합니다.계승:
이 필드는 서브 형에 의해 상속되지 않습니다 (명백히).
기본값:
이 필드의 기본값은
&PyBaseObject_Type입니다 (파이썬 프로그래머에게는object형으로 알려져 있습니다).
-
PyObject *PyTypeObject.tp_dict¶
형의 딕셔너리는
PyType_Ready()에 의해 여기에 저장됩니다.이 필드는 일반적으로 PyType_Ready가 호출되기 전에
NULL으로 초기화되어야 합니다. 또한 타입의 초기 속성을 포함하는 딕셔너리로 초기화될 수도 있습니다.PyType_Ready()가 타입을 초기화한 후에는, 해당 타입에 대한 추가 속성은 오버로드된 연산(__add__())과 일치하지 않는 경우에만 이 딕셔너리에 추가될 수 있습니다. 초기화가 끝나면, 이 필드는 읽기 전용으로 취급되어야 합니다.일부 타입은 해당 딕셔너리를 이 슬롯에 저장하지 않을 수 있습니다. 임의의 타입을 위해 딕셔너리를 검색하려면 :c:func:`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¶
이 필드는 여전히 지원되지만, 가능하다면 대신 :c:macro:`Py_TPFLAGS_MANAGED_DICT`를 사용해야 합니다.
이 형의 인스턴스에 인스턴스 변수를 포함하는 딕셔너리가 있으면, 이 필드는 0이 아니며 인스턴스 변수 딕셔너리 형의 인스턴스에서의 오프셋을 포함합니다; 이 오프셋은
PyObject_GenericGetAttr()에서 사용됩니다.이 필드를
tp_dict와 혼동하지 마십시오; 그것은 형 객체 자체의 어트리뷰트에 대한 딕셔너리입니다.값은 인스턴스 구조체의 시작으로부터 딕셔너리의 오프셋을 지정합니다.
:c:member:`~PyTypeObject.tp_dictoffset`는 쓰기 전용으로 간주해야 합니다. 딕셔너리로의 포인터를 얻으려면 :c:func:`PyObject_GenericGetDict`를 호출하세요. :c:func:`PyObject_GenericGetDict`를 호출할 때 딕셔너리에 대한 메모리를 할당해야 할 수도 있으므로, 객체에서 속성에 액세스할 때는 :c:func:`PyObject_GetAttr`를 호출하는 것이 더 효율적일 수 있습니다.
Py_TPFLAGS_MANAGED_DICT비트와 :c:member:`~PyTypeObject.tp_dictoffset`을 모두 설정하는 것은 오류입니다.계승:
이 필드는 서브 형에 의해 상속됩니다. 서브 형은 이 오프셋을 재정의해서는 안 됩니다. 그렇게 하면 C 코드가 이전 오프셋에서 딕셔너리에 액세스하려고 시도할 경우 안전하지 않을 수 있습니다. 상속을 올바르게 지원하려면 :c:macro:`Py_TPFLAGS_MANAGED_DICT`를 사용하세요.
기본값:
이 슬롯은 기본값이 없습니다. static types 의 경우, 해당 필드가
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을 반환하고 예외를 설정합니다.계승:
이 필드는 서브 형으로 상속됩니다.
기본값:
:ref:`정적 형식 <static-types>`는 이 필드가 기본값을 갖지 않습니다.
-
allocfunc PyTypeObject.tp_alloc¶
The corresponding slot ID
Py_tp_allocis part of the 안정 ABI.인스턴스 할당 함수에 대한 선택적 포인터.
함수 서명은 다음과 같습니다:
PyObject *tp_alloc(PyTypeObject *self, Py_ssize_t nitems);
계승:
정적 서브 유형은 이 슬롯을 상속받으며, :class:`object`에서 상속된 경우 :c:func:`PyType_GenericAlloc`이 됩니다.
:ref:`힙 서브 유형 <heap-types>`은 이 슬롯을 상속받지 않습니다.
기본값:
힙 서브 유형의 경우, 이 필드는 항상 :c:func:`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로 미뤄져야 합니다.Py_TPFLAGS_DISALLOW_INSTANTIATION플래그를 설정하여 Python에서 해당 유형의 인스턴스를 생성하는 것을 허용하지 않습니다.계승:
이 필드는 서브 유형에 의해 상속되지만, static types 중
tp_base가NULL이거나&PyBaseObject_Type인 경우에는 상속되지 않습니다.기본값:
static types 의 경우 이 필드는 기본값이 없습니다. 이는 해당 슬롯이
NULL로 정의된 경우, 유형을 호출하여 새 인스턴스를 생성할 수 없다는 의미입니다. 아마도 팩토리 함수와 같이 인스턴스를 생성하는 다른 방법이 있을 것입니다.
-
freefunc PyTypeObject.tp_free¶
The corresponding slot ID
Py_tp_freeis part of the 안정 ABI.인스턴스 할당 해제 함수에 대한 선택적 포인터. 서명은 다음과 같습니다:
void tp_free(void *self);
이 함수는 :c:member:`~PyTypeObject.tp_alloc`에 의해 할당된 메모리를 해제해야 합니다.
계승:
정적 서브 유형은 이 슬롯을 상속받으며,
object`에서 상속된 경우 :c:func:`PyObject_Free`가 됩니다. 예외: 유형이 가비지 컬렉션을 지원하고 (즉, :c:member:`~PyTypeObject.tp_flags`에 :c:macro:`Py_TPFLAGS_HAVE_GC플래그가 설정되어 있고) :c:func:`PyObject_Free`를 상속받는 경우, 이 슬롯은 상속되지 않고 대신 :c:func:`PyObject_GC_Del`의 기본값을 갖습니다.:ref:`힙 서브 유형 <heap-types>`은 이 슬롯을 상속받지 않습니다.
기본값:
힙 서브 유형 <heap-types>`의 경우, 이 슬롯은 :c:func:`PyType_GenericAlloc 및
Py_TPFLAGS_HAVE_GC플래그 값과 일치하는 해제기가 기본값입니다.정적 서브 유형의 경우, 이 슬롯은 상속받습니다 (위 참조).
-
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);
(이것의 유일한 예는 유형 자체입니다. 메타형인 :c:data:`PyType_Type`은 정적 유형과 :ref:`동적으로 할당된 유형 <heap-types>`을 구별하기 위해 이 함수를 정의합니다.)
계승:
이 필드는 서브 형으로 상속됩니다.
기본값:
이 슬롯에는 기본값이 없습니다. 이 필드가
NULL인 경우,Py_TPFLAGS_HAVE_GC가 기능적으로 동일한 역할을 합니다.
-
PyObject *PyTypeObject.tp_bases¶
The corresponding slot ID
Py_tp_basesis part of the 안정 ABI.베이스형의 튜플.
이 필드는
NULL로 설정해야 하며 읽기 전용으로 처리되어야 합니다. 유형이initialized될 때 Python에서 이 값을 채웁니다.동적으로 생성된 클래스의 경우,
Py_tp_bases:c:type:`slot <PyType_Slot>`을 :c:func:`PyType_FromSpecWithBases`의 bases 인자 대신 사용할 수 있습니다. 이 인자 형식이 선호됩니다.경고
다중 상속은 정적으로 정의된 유형에서 잘 작동하지 않습니다.
tp_bases를 튜플로 설정하면 Python이 오류를 발생시키지는 않지만, 일부 슬롯은 첫 번째 베이스로부터만 상속됩니다.계승:
이 필드는 상속되지 않습니다.
-
PyObject *PyTypeObject.tp_mro¶
형 자체에서 시작하여
object로 끝나는 확장된 베이스형 집합을 포함하는 튜플.이 필드는
NULL로 설정해야 하며 읽기 전용으로 처리되어야 합니다. 유형이initialized될 때 Python에서 이 값을 채웁니다.계승:
이 필드는 상속되지 않습니다;
PyType_Ready()에 의해 새로 계산됩니다.
-
PyObject *PyTypeObject.tp_cache¶
사용되지 않습니다. 내부 전용.
계승:
이 필드는 상속되지 않습니다.
-
void *PyTypeObject.tp_subclasses¶
하위 클래스들의 모음입니다. 내부 전용입니다. 유효하지 않은 포인터일 수 있습니다.
하위 클래스 목록을 얻으려면 Python 메서드 :py:meth:`~type.__subclasses__`를 호출하십시오.
버전 3.12에서 변경: 일부 유형의 경우, 이 필드는 유효한 PyObject* 값을 갖지 않습니다. 해당 유형은 이를 표시하기 위해 :c:expr:`void*`로 변경되었습니다.
계승:
이 필드는 상속되지 않습니다.
-
PyObject *PyTypeObject.tp_weaklist¶
이 형 객체에 대한 약한 참조를 위한 약한 참조 리스트 헤드. 상속되지 않습니다. 내부 전용.
버전 3.12에서 변경: 내부 세부 사항: 정적 내장 유형의 경우 이는 weakrefs가 추가된 경우에도 항상
NULL``입니다. 대신, 각 weakref는 ``PyInterpreterState``에 저장됩니다. 구분을 피하려면 공개 C-API 또는 내부 ``_PyObject_GET_WEAKREFS_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);
최종화의 주요 목적은 객체가 파괴되기 전에 수행되어야 하는 모든 사소하지 않은 정리 작업을 수행하는 것입니다. 이 과정에서 객체와 그것이 직접 또는 간접적으로 참조하는 다른 모든 객체는 아직 일관된 상태를 유지합니다. 최종화기는 임의의 Python 코드를 실행할 수 있도록 허용됩니다.
Python이 객체를 자동으로 최종화하기 전에, 해당 객체의 직접적 또는 간접적인 참조자 중 일부는 이미 자동으로 최종화되었을 수 있습니다. 하지만 어떠한 참조자도 아직 자동으로 정리되지는 않았습니다 (
tp_clear).다른 미최종화된 객체들이 여전히 최종화된 객체를 사용하고 있을 수 있으므로, 최종화기는 해당 객체가 일관된 상태를 유지하도록 남겨두어야 합니다 (예: 불변 조건이 여전히 충족됨).
참고
Python이 객체를 자동으로 최종화한 후에는, Python이 그 객체와 참조자들 (직접 및 간접)을 자동으로 정리하기 시작할 수 있습니다 (
tp_clear). 정리된 객체는 일관된 상태로 보장되지 않으므로, 최종화된 객체는 정리된 참조자를 허용할 수 있어야 합니다.참고
객체가 그 소멸자 (
tp_dealloc)가 호출되기 전에 자동으로 최종화된다고 보장되지 않습니다. 객체는 항상 파괴되기 전에 최종화되도록 보장하려면,tp_dealloc시작 지점에서 :c:func:`PyObject_CallFinalizerFromDealloc`을 호출하는 것이 권장됩니다.참고
tp_finalize함수는 스레드 어느 곳에서든 호출할 수 있지만, :term:`GIL`을 보유하게 됩니다.참고
tp_finalize함수는 일부 전역 변수가 삭제된 후에 종료 중에 호출될 수 있습니다. 자세한 내용은__del__()메서드의 문서를 참조하세요.Python이 객체를 최종화할 때, 다음과 같은 알고리즘을 따릅니다:
Python은 해당 객체를 최종화됨 으로 표시할 수 있습니다. 현재 Python은 가비지 컬렉션을 지원하는 타입의 객체(즉,
tp_flags에Py_TPFLAGS_HAVE_GC플래그가 설정된 경우)에 대해서만 항상 표시하며 다른 유형의 객체에는 결코 표시하지 않습니다. 이는 향후 버전에서 변경될 수 있습니다.객체가 최종화됨 으로 표시되지 않았고 해당
tp_finalize최종화 함수가NULL이 아니면, 최종화 함수가 호출됩니다.최종화 함수가 호출되었고 최종화기가 객체를 접근 가능하게 만들었다면 (즉, 객체에 대한 참조가 있고 cyclic isolate 의 멤버가 아니라면), 최종화기는 객체를 부활 시켰다고 말할 수 있습니다. 또한 최종화기가 객체에 새로운 참조를 추가하여 그것을 접근 가능하게 만들지 않음으로써(즉, 객체가 여전히 cyclic isolate의 멤버인 상태로) 부활시킬 수도 있는지는 명확히 정의되어 있지 않습니다.
최종화기가 객체를 부활시킨 경우, 객체의 보류 중인 파괴는 취소되고 해당 최종화됨 표시가 존재하는 경우 제거될 수 있습니다. 현재 Python은 최종화됨 표시를 절대 제거하지 않지만, 이는 향후 버전에서 변경될 수 있습니다.
자동 최종화 는
PyObject_CallFinalizer()또는PyObject_CallFinalizerFromDealloc()호출을 통해서가 아닌, Python에 의한 모든 최종화를 의미합니다. 객체가 언제, 그리고 얼마나 자주 자동으로 최종화되는지에 대해서는 다음과 같은 경우를 제외하고 어떠한 보장도 하지 않습니다:객체가 접근 가능하다면, 즉 참조가 존재하며 :term:`cyclic isolate`의 멤버가 아니라면 Python은 자동으로 최종화하지 않습니다.
객체를 최종화하는 것이 객체에 최종화됨 으로 표시되지 않게 한다면, Python은 자동으로 최종화하지 않습니다. 현재 이는 가비지 컬렉션을 지원하지 않는 타입의 객체에 적용되며, 즉
Py_TPFLAGS_HAVE_GC플래그가 설정되어 있지 않은 경우입니다. 이러한 객체는 여전히PyObject_CallFinalizer()또는PyObject_CallFinalizerFromDealloc()을 호출하여 수동으로 최종화할 수 있습니다.Python은 :term:`cyclic isolate`의 두 멤버를 동시에 자동으로 최종화하지 않습니다.
Python은 객체가 이미 자동으로 정리된 후에는 해당 객체를 자동으로 최종화하지 않습니다 (
tp_clear).객체가 cyclic isolate`의 멤버인 경우, Python은 다른 멤버를 자동 정리한 후에 해당 객체를 자동으로 최종화하지 않습니다 (참고: :c:member:`~PyTypeObject.tp_clear).
Python은 사용자가 :term:`cyclic isolate`의 각 멤버를 자동으로 파이널라이즈한 후에 아무 때라도 :c:member:`~PyTypeObject.tp_clear`가 이를 지우기 전에 자동적으로 파이널라이즈합니다.
If Python is going to automatically clear an object (
tp_clear), it will automatically finalize the object first.
현재 Python은 cyclic isolate 멤버만 자동적으로 파이널라이즈하지만, 향후 버전에서는 제거되기 전에 주기적으로 다른 객체들을 파이널라이즈 할 수 있습니다.
객체를 수동으로 파이널라이즈하려면 이 함수를 직접 호출하지 말고 대신
PyObject_CallFinalizer()또는 :c:func:`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 이후로.이 타입 객체의 호출을 위해 사용되는 vectorcall function. 즉,
tp_vectorcall은 일반적으로 type 의 새로운 인스턴스를 반환하는type.__call__을 최적화하는 데 사용될 수 있습니다.모든 vectorcall 함수와 마찬가지로,
tp_vectorcall``이 ``NULL``이면 대신 *tp_call* 프로토콜 (``Py_TYPE(type)->tp_call)을 사용합니다.참고
vectorcall protocol 은 vectorcall 함수가 해당
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()를 사용하여 초기화됩니다.
결과적으로 파이썬에서 정의된 형에 비해 형이 제한됩니다:
정적 형은 하나의 베이스로 제한됩니다. 즉, 다중 상속을 사용할 수 없습니다.
정적 형 객체(그러나 이들의 인스턴스는 아닙니다)는 불변입니다. 파이썬에서 형 객체의 어트리뷰트를 추가하거나 수정할 수 없습니다.
정적 형 객체는 서브 인터프리터에서 공유되므로, 서브 인터프리터 관련 상태를 포함하지 않아야 합니다.
또한, :c:type:`PyTypeObject`는 불투명한 구조체로서 :ref:`Limited API <limited-c-api>`의 일부이므로, 정적 타입을 사용하는 확장 모듈은 특정 Python 마이너 버전용으로 컴파일되어야 합니다.
힙 형¶
static types <static-types>`의 대안으로는 *heap-allocated types*가 있으며, 이는 약어로는 *heap types*라고 하며, Python의 ``class` 문으로 생성된 클래스와 밀접하게 일치합니다. 힙 타입에는 Py_TPFLAGS_HEAPTYPE 플래그가 설정되어 있습니다.
이것은 PyType_Spec 구조체를 채우고 PyType_FromSpec(), PyType_FromSpecWithBases(), PyType_FromModuleAndSpec(), 또는 :c:func:`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이라고 불렸으며, Python 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\을 반환해야 합니다.요청된 필드를 채웁니다.
내보내기 횟수에 대한 내부 카운터를 증가시킵니다.
exporter 를 view 에 설정하고
view->obj\을 증가시킵니다.0을 반환합니다.
스레드 안전성:
:term:`free-threaded build`에서 구현은 다음을 보장해야 합니다:
단계 (3)에서의 내보내기 카운트 증가는 원자적이어야 합니다.
기본 버퍼 데이터는 모든 내보내기의 수명 주기 동안 유효하고 안정적인 메모리 위치에 유지되어야 합니다.
크기 조정 또는 재할당을 지원하는 객체 (예:
bytearray)의 경우, 내보내기 카운트는 이러한 작업 전에 원자적으로 확인되며, 내보내기가 존재하는 경우 :exc:`BufferError`가 발생합니다.이 함수는 여러 스레드에서 동시에 호출해도 안전합니다.
memoryview객체의 파이썬 수준의 스레드 안전성 보장에 대해서는 :ref:`thread-safety-memoryview`를 참조하십시오.exporter가 버퍼 공급자의 체인이나 트리의 일부이면, 두 가지 주요 체계를 사용할 수 있습니다:
재내보내기: 트리의 각 멤버는 내보내는 객체 역할을 하며
view->obj\을 자신에 대한 새 참조로 설정합니다.리디렉션: 버퍼 요청은 트리 루트 객체로 리디렉션됩니다. 여기서
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와 관련된 모든 메모리를 해제합니다.
스레드 안전성:
:term:`free-threaded build`의 경우:
단계 (1)에서의 내보내기 카운트 감소는 원자적이어야 합니다.
카운터가 0에 도달했을 때의 리소스 정리 작업은 반드시 원자적으로 수행되어야 합니다. 최종 해제 시 다른 스레드의 동시적 해제와 경쟁할 수 있으며, 할당 해제는 한 번만 발생해야 합니다.
제공자는 반드시
internal필드를 사용하여 버퍼 특정 자원을 추적해야 합니다. 이 필드는 변경되지 않고 유지됨이 보장되지만, 소비자는 원래 버퍼의 사본을 view 인자로 전달할 수 있습니다.이 함수는
view->obj\를 감소시키면 안 됩니다. :c:func:`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);
반드시 asynchronous iterator 객체를 반환해야 합니다. 세부 사항은 :meth:`~object.__anext__`를 참조하십시오.
객체가 비동기 이터레이션 프로토콜을 구현하지 않으면 이 슬롯은
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.
:c:member:`~PyTypeObject.tp_descr_get`를 참조하십시오.
-
typedef int (*descrsetfunc)(PyObject*, PyObject*, PyObject*)¶
- 상의 안정 ABI.
:c:member:`~PyTypeObject.tp_descr_set`를 참조하십시오.
-
typedef PyObject *(*iternextfunc)(PyObject*)¶
- 상의 안정 ABI.
tp_iternext를 참조하십시오.
-
typedef Py_ssize_t (*lenfunc)(PyObject*)¶
- 상의 안정 ABI.
-
typedef PySendResult (*sendfunc)(PyObject*, PyObject*, PyObject**)¶
:c:member:`~PyAsyncMethods.am_send`를 참조하십시오.
-
typedef PyObject *(*ssizeargfunc)(PyObject*, Py_ssize_t)¶
- 상의 안정 ABI.
-
typedef int (*ssizeobjargproc)(PyObject*, Py_ssize_t, PyObject*)¶
- 상의 안정 ABI.
예¶
다음은 파이썬 형 정의의 간단한 예입니다. 여기에는 여러분이 만날 수 있는 일반적인 사용법이 포함됩니다. 일부는 까다로운 코너 사례를 보여줍니다. 더 많은 예제, 실용 정보 및 자습서는 확장형 정의하기: 자습서와 확장형 정의하기: 여러 가지 주제를 참조하십시오.
기본 static type:
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,
};
클래스로 상속될 수 없고 인스턴스를 생성하는 호출로 사용될 수 없는 str 서브클래스가 입니다 (예: 별도의 팩토리 함수를 사용합니다) Py_TPFLAGS_DISALLOW_INSTANTIATION 플래그 사용:
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, // 모듈 초기화 시 &PyUnicode_Type에 설정합니다
.tp_doc = PyDoc_STR("나의 사용자 정의 문자열"),
.tp_flags = Py_TPFLAGS_DEFAULT | Py_TPFLAGS_DISALLOW_INSTANTIATION,
.tp_repr = (reprfunc)myobj_repr,
};
가장 간단한 :ref:`static type <static-types>`인 고정 길이 인스턴스:
typedef struct {
PyObject_HEAD
} MyObject;
static PyTypeObject MyObject_Type = {
PyVarObject_HEAD_INIT(NULL, 0)
.tp_name = "mymod.MyObject",
};
가장 간단한 :ref:`static type <static-types>`인 가변 길이 인스턴스:
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 *),
};