Coverage Report

Created: 2026-03-23 06:45

next uncovered line (L), next uncovered region (R), next uncovered branch (B)
/src/cpython/Objects/structseq.c
Line
Count
Source
1
/* Implementation helper: a struct that looks like a tuple.
2
   See timemodule and posixmodule for example uses.
3
4
   The structseq helper is considered an internal CPython implementation
5
   detail.  Docs for modules using structseqs should call them
6
   "named tuples" (be sure to include a space between the two
7
   words and add a link back to the term in Docs/glossary.rst).
8
*/
9
10
#include "Python.h"
11
#include "pycore_initconfig.h"    // _PyStatus_OK()
12
#include "pycore_modsupport.h"    // _PyArg_NoPositional()
13
#include "pycore_object.h"        // _PyObject_GC_TRACK()
14
#include "pycore_structseq.h"     // PyStructSequence_InitType()
15
#include "pycore_tuple.h"         // _PyTuple_RESET_HASH_CACHE()
16
#include "pycore_typeobject.h"    // _PyStaticType_FiniBuiltin()
17
18
static const char visible_length_key[] = "n_sequence_fields";
19
static const char real_length_key[] = "n_fields";
20
static const char unnamed_fields_key[] = "n_unnamed_fields";
21
static const char match_args_key[] = "__match_args__";
22
23
/* Fields with this name have only a field index, not a field name.
24
   They are only allowed for indices < n_visible_fields. */
25
const char * const PyStructSequence_UnnamedField = "unnamed field";
26
27
static Py_ssize_t
28
get_type_attr_as_size(PyTypeObject *tp, PyObject *name)
29
763k
{
30
763k
    PyObject *v = PyDict_GetItemWithError(_PyType_GetDict(tp), name);
31
763k
    if (v == NULL && !PyErr_Occurred()) {
32
0
        PyErr_Format(PyExc_TypeError,
33
0
                     "Missed attribute '%U' of type %s",
34
0
                     name, tp->tp_name);
35
0
        return -1;
36
0
    }
37
763k
    return PyLong_AsSsize_t(v);
38
763k
}
39
40
0
#define VISIBLE_SIZE(op) Py_SIZE(op)
41
#define VISIBLE_SIZE_TP(tp) \
42
376k
    get_type_attr_as_size(tp, &_Py_ID(n_sequence_fields))
43
#define REAL_SIZE_TP(tp) \
44
376k
    get_type_attr_as_size(tp, &_Py_ID(n_fields))
45
364k
#define REAL_SIZE(op) get_real_size((PyObject *)op)
46
47
#define UNNAMED_FIELDS_TP(tp) \
48
11.2k
    get_type_attr_as_size(tp, &_Py_ID(n_unnamed_fields))
49
0
#define UNNAMED_FIELDS(op) UNNAMED_FIELDS_TP(Py_TYPE(op))
50
51
static Py_ssize_t
52
get_real_size(PyObject *op)
53
364k
{
54
    // Compute the real size from the visible size (i.e., Py_SIZE()) and the
55
    // number of non-sequence fields accounted for in tp_basicsize.
56
364k
    Py_ssize_t hidden = Py_TYPE(op)->tp_basicsize - offsetof(PyStructSequence, ob_item);
57
364k
    return Py_SIZE(op) + hidden / sizeof(PyObject *);
58
364k
}
59
60
PyObject *
61
PyStructSequence_New(PyTypeObject *type)
62
365k
{
63
365k
    PyStructSequence *obj;
64
365k
    Py_ssize_t size = REAL_SIZE_TP(type), i;
65
365k
    if (size < 0) {
66
0
        return NULL;
67
0
    }
68
365k
    Py_ssize_t vsize = VISIBLE_SIZE_TP(type);
69
365k
    if (vsize < 0) {
70
0
        return NULL;
71
0
    }
72
73
365k
    obj = PyObject_GC_NewVar(PyStructSequence, type, size);
74
365k
    if (obj == NULL)
75
0
        return NULL;
76
365k
    _PyTuple_RESET_HASH_CACHE(obj);
77
    /* Hack the size of the variable object, so invisible fields don't appear
78
     to Python code. */
79
365k
    Py_SET_SIZE(obj, vsize);
80
7.20M
    for (i = 0; i < size; i++)
81
6.84M
        obj->ob_item[i] = NULL;
82
83
365k
    return (PyObject*)obj;
84
365k
}
85
86
void
87
PyStructSequence_SetItem(PyObject *op, Py_ssize_t index, PyObject *value)
88
6.71M
{
89
6.71M
    PyTupleObject *tuple = _PyTuple_CAST(op);
90
6.71M
    assert(0 <= index);
91
#ifndef NDEBUG
92
    Py_ssize_t n_fields = REAL_SIZE(op);
93
    assert(n_fields >= 0);
94
    assert(index < n_fields);
95
#endif
96
6.71M
    tuple->ob_item[index] = value;
97
6.71M
}
98
99
PyObject*
100
PyStructSequence_GetItem(PyObject *op, Py_ssize_t index)
101
1.96k
{
102
1.96k
    assert(0 <= index);
103
#ifndef NDEBUG
104
    Py_ssize_t n_fields = REAL_SIZE(op);
105
    assert(n_fields >= 0);
106
    assert(index < n_fields);
107
#endif
108
1.96k
    return PyTuple_GET_ITEM(op, index);
109
1.96k
}
110
111
112
static int
113
structseq_traverse(PyObject *op, visitproc visit, void *arg)
114
0
{
115
0
    PyStructSequence *obj = (PyStructSequence *)op;
116
0
    if (Py_TYPE(obj)->tp_flags & Py_TPFLAGS_HEAPTYPE) {
117
0
        Py_VISIT(Py_TYPE(obj));
118
0
    }
119
0
    Py_ssize_t i, size;
120
0
    size = REAL_SIZE(obj);
121
0
    for (i = 0; i < size; ++i) {
122
0
        Py_VISIT(obj->ob_item[i]);
123
0
    }
124
0
    return 0;
125
0
}
126
127
static void
128
structseq_dealloc(PyObject *op)
129
364k
{
130
364k
    PyStructSequence *obj = (PyStructSequence *)op;
131
364k
    Py_ssize_t i, size;
132
364k
    PyObject_GC_UnTrack(obj);
133
134
364k
    PyTypeObject *tp = Py_TYPE(obj);
135
    // gh-122527: We can't use REAL_SIZE_TP() or any macros that access the
136
    // type's dictionary here, because the dictionary may have already been
137
    // cleared by the garbage collector.
138
364k
    size = REAL_SIZE(obj);
139
7.20M
    for (i = 0; i < size; ++i) {
140
6.84M
        Py_XDECREF(obj->ob_item[i]);
141
6.84M
    }
142
364k
    PyObject_GC_Del(obj);
143
364k
    if (_PyType_HasFeature(tp, Py_TPFLAGS_HEAPTYPE)) {
144
364k
        Py_DECREF(tp);
145
364k
    }
146
364k
}
147
148
/*[clinic input]
149
class structseq "PyStructSequence *" "NULL"
150
[clinic start generated code]*/
151
/*[clinic end generated code: output=da39a3ee5e6b4b0d input=9d781c6922c77752]*/
152
153
#include "clinic/structseq.c.h"
154
155
/*[clinic input]
156
@classmethod
157
structseq.__new__ as structseq_new
158
    sequence as arg: object
159
    dict: object(c_default="NULL") = {}
160
[clinic start generated code]*/
161
162
static PyObject *
163
structseq_new_impl(PyTypeObject *type, PyObject *arg, PyObject *dict)
164
/*[clinic end generated code: output=baa082e788b171da input=90532511101aa3fb]*/
165
11.2k
{
166
11.2k
    PyStructSequence *res = NULL;
167
11.2k
    Py_ssize_t len, min_len, max_len, i, n_unnamed_fields;
168
169
11.2k
    min_len = VISIBLE_SIZE_TP(type);
170
11.2k
    if (min_len < 0) {
171
0
        return NULL;
172
0
    }
173
11.2k
    max_len = REAL_SIZE_TP(type);
174
11.2k
    if (max_len < 0) {
175
0
        return NULL;
176
0
    }
177
11.2k
    n_unnamed_fields = UNNAMED_FIELDS_TP(type);
178
11.2k
    if (n_unnamed_fields < 0) {
179
0
        return NULL;
180
0
    }
181
182
11.2k
    arg = PySequence_Fast(arg, "constructor requires a sequence");
183
184
11.2k
    if (!arg) {
185
0
        return NULL;
186
0
    }
187
188
11.2k
    if (dict && !PyDict_Check(dict)) {
189
0
        PyErr_Format(PyExc_TypeError,
190
0
                     "%.500s() takes a dict as second arg, if any",
191
0
                     type->tp_name);
192
0
        Py_DECREF(arg);
193
0
        return NULL;
194
0
    }
195
196
11.2k
    len = PySequence_Fast_GET_SIZE(arg);
197
11.2k
    if (min_len != max_len) {
198
11.2k
        if (len < min_len) {
199
0
            PyErr_Format(PyExc_TypeError,
200
0
                "%.500s() takes an at least %zd-sequence (%zd-sequence given)",
201
0
                type->tp_name, min_len, len);
202
0
            Py_DECREF(arg);
203
0
            return NULL;
204
0
        }
205
206
11.2k
        if (len > max_len) {
207
0
            PyErr_Format(PyExc_TypeError,
208
0
                "%.500s() takes an at most %zd-sequence (%zd-sequence given)",
209
0
                type->tp_name, max_len, len);
210
0
            Py_DECREF(arg);
211
0
            return NULL;
212
0
        }
213
11.2k
    }
214
0
    else {
215
0
        if (len != min_len) {
216
0
            PyErr_Format(PyExc_TypeError,
217
0
                         "%.500s() takes a %zd-sequence (%zd-sequence given)",
218
0
                         type->tp_name, min_len, len);
219
0
            Py_DECREF(arg);
220
0
            return NULL;
221
0
        }
222
0
    }
223
224
11.2k
    res = (PyStructSequence*) PyStructSequence_New(type);
225
11.2k
    if (res == NULL) {
226
0
        Py_DECREF(arg);
227
0
        return NULL;
228
0
    }
229
112k
    for (i = 0; i < len; ++i) {
230
101k
        PyObject *v = PySequence_Fast_GET_ITEM(arg, i);
231
101k
        res->ob_item[i] = Py_NewRef(v);
232
101k
    }
233
11.2k
    Py_DECREF(arg);
234
11.2k
    if (dict != NULL && PyDict_GET_SIZE(dict) > 0) {
235
0
        Py_ssize_t n_found_keys = 0;
236
0
        for (i = len; i < max_len; ++i) {
237
0
            PyObject *ob = NULL;
238
0
            const char *name = type->tp_members[i - n_unnamed_fields].name;
239
0
            if (PyDict_GetItemStringRef(dict, name, &ob) < 0) {
240
0
                Py_DECREF(res);
241
0
                return NULL;
242
0
            }
243
0
            if (ob == NULL) {
244
0
                ob = Py_NewRef(Py_None);
245
0
            }
246
0
            else {
247
0
                ++n_found_keys;
248
0
            }
249
0
            res->ob_item[i] = ob;
250
0
        }
251
0
        if (PyDict_GET_SIZE(dict) > n_found_keys) {
252
0
            PyErr_Format(PyExc_TypeError,
253
0
                         "%.500s() got duplicate or unexpected field name(s)",
254
0
                         type->tp_name);
255
0
            Py_DECREF(res);
256
0
            return NULL;
257
0
        }
258
11.2k
    } else {
259
33.7k
        for (i = len; i < max_len; ++i) {
260
22.5k
            res->ob_item[i] = Py_NewRef(Py_None);
261
22.5k
        }
262
11.2k
    }
263
264
11.2k
    _PyObject_GC_TRACK(res);
265
11.2k
    return (PyObject*) res;
266
11.2k
}
267
268
269
static PyObject *
270
structseq_repr(PyObject *op)
271
0
{
272
0
    PyStructSequence *obj = (PyStructSequence *)op;
273
0
    PyTypeObject *typ = Py_TYPE(obj);
274
275
    // count 5 characters per item: "x=1, "
276
0
    Py_ssize_t type_name_len = strlen(typ->tp_name);
277
0
    Py_ssize_t prealloc = (type_name_len + 1
278
0
                           + VISIBLE_SIZE(obj) * 5 + 1);
279
0
    PyUnicodeWriter *writer = PyUnicodeWriter_Create(prealloc);
280
0
    if (writer == NULL) {
281
0
        return NULL;
282
0
    }
283
284
    // Write "typename("
285
0
    if (PyUnicodeWriter_WriteUTF8(writer, typ->tp_name, type_name_len) < 0) {
286
0
        goto error;
287
0
    }
288
0
    if (PyUnicodeWriter_WriteChar(writer, '(') < 0) {
289
0
        goto error;
290
0
    }
291
292
0
    for (Py_ssize_t i=0; i < VISIBLE_SIZE(obj); i++) {
293
0
        if (i > 0) {
294
            // Write ", "
295
0
            if (PyUnicodeWriter_WriteChar(writer, ',') < 0) {
296
0
                goto error;
297
0
            }
298
0
            if (PyUnicodeWriter_WriteChar(writer, ' ') < 0) {
299
0
                goto error;
300
0
            }
301
0
        }
302
303
        // Write name
304
0
        const char *name_utf8 = typ->tp_members[i].name;
305
0
        if (name_utf8 == NULL) {
306
0
            PyErr_Format(PyExc_SystemError,
307
0
                         "In structseq_repr(), member %zd name is NULL"
308
0
                         " for type %.500s", i, typ->tp_name);
309
0
            goto error;
310
0
        }
311
0
        if (PyUnicodeWriter_WriteUTF8(writer, name_utf8, -1) < 0) {
312
0
            goto error;
313
0
        }
314
315
        // Write "=" + repr(value)
316
0
        if (PyUnicodeWriter_WriteChar(writer, '=') < 0) {
317
0
            goto error;
318
0
        }
319
0
        PyObject *value = PyStructSequence_GetItem((PyObject*)obj, i);
320
0
        assert(value != NULL);
321
0
        if (PyUnicodeWriter_WriteRepr(writer, value) < 0) {
322
0
            goto error;
323
0
        }
324
0
    }
325
326
0
    if (PyUnicodeWriter_WriteChar(writer, ')') < 0) {
327
0
        goto error;
328
0
    }
329
330
0
    return PyUnicodeWriter_Finish(writer);
331
332
0
error:
333
0
    PyUnicodeWriter_Discard(writer);
334
0
    return NULL;
335
0
}
336
337
338
static PyObject *
339
structseq_reduce(PyObject *op, PyObject *Py_UNUSED(ignored))
340
0
{
341
0
    PyStructSequence *self = (PyStructSequence*)op;
342
0
    PyObject* tup = NULL;
343
0
    PyObject* dict = NULL;
344
0
    PyObject* result;
345
0
    Py_ssize_t n_fields, n_visible_fields, n_unnamed_fields, i;
346
347
0
    n_fields = REAL_SIZE(self);
348
0
    if (n_fields < 0) {
349
0
        return NULL;
350
0
    }
351
0
    n_visible_fields = VISIBLE_SIZE(self);
352
0
    n_unnamed_fields = UNNAMED_FIELDS(self);
353
0
    if (n_unnamed_fields < 0) {
354
0
        return NULL;
355
0
    }
356
0
    tup = PyTuple_FromArray(self->ob_item, n_visible_fields);
357
0
    if (!tup)
358
0
        goto error;
359
360
0
    dict = PyDict_New();
361
0
    if (!dict)
362
0
        goto error;
363
364
0
    for (i = n_visible_fields; i < n_fields; i++) {
365
0
        const char *n = Py_TYPE(self)->tp_members[i-n_unnamed_fields].name;
366
0
        if (PyDict_SetItemString(dict, n, self->ob_item[i]) < 0)
367
0
            goto error;
368
0
    }
369
370
0
    result = Py_BuildValue("(O(OO))", Py_TYPE(self), tup, dict);
371
372
0
    Py_DECREF(tup);
373
0
    Py_DECREF(dict);
374
375
0
    return result;
376
377
0
error:
378
0
    Py_XDECREF(tup);
379
0
    Py_XDECREF(dict);
380
0
    return NULL;
381
0
}
382
383
384
static PyObject *
385
structseq_replace(PyObject *op, PyObject *args, PyObject *kwargs)
386
0
{
387
0
    PyStructSequence *self = (PyStructSequence*)op;
388
0
    PyStructSequence *result = NULL;
389
0
    Py_ssize_t n_fields, n_unnamed_fields, i;
390
391
0
    if (!_PyArg_NoPositional("__replace__", args)) {
392
0
        return NULL;
393
0
    }
394
395
0
    n_fields = REAL_SIZE(self);
396
0
    if (n_fields < 0) {
397
0
        return NULL;
398
0
    }
399
0
    n_unnamed_fields = UNNAMED_FIELDS(self);
400
0
    if (n_unnamed_fields < 0) {
401
0
        return NULL;
402
0
    }
403
0
    if (n_unnamed_fields > 0) {
404
0
        PyErr_Format(PyExc_TypeError,
405
0
                     "__replace__() is not supported for %.500s "
406
0
                     "because it has unnamed field(s)",
407
0
                     Py_TYPE(self)->tp_name);
408
0
        return NULL;
409
0
    }
410
411
0
    result = (PyStructSequence *) PyStructSequence_New(Py_TYPE(self));
412
0
    if (!result) {
413
0
        return NULL;
414
0
    }
415
416
0
    if (kwargs != NULL) {
417
        // We do not support types with unnamed fields, so we can iterate over
418
        // i >= n_visible_fields case without slicing with (i - n_unnamed_fields).
419
0
        for (i = 0; i < n_fields; ++i) {
420
0
            PyObject *ob;
421
0
            if (PyDict_PopString(kwargs, Py_TYPE(self)->tp_members[i].name,
422
0
                                 &ob) < 0) {
423
0
                goto error;
424
0
            }
425
0
            if (ob == NULL) {
426
0
                ob = Py_NewRef(self->ob_item[i]);
427
0
            }
428
0
            result->ob_item[i] = ob;
429
0
        }
430
        // Check if there are any unexpected fields.
431
0
        if (PyDict_GET_SIZE(kwargs) > 0) {
432
0
            PyObject *names = PyDict_Keys(kwargs);
433
0
            if (names) {
434
0
                PyErr_Format(PyExc_TypeError, "Got unexpected field name(s): %R", names);
435
0
                Py_DECREF(names);
436
0
            }
437
0
            goto error;
438
0
        }
439
0
    }
440
0
    else
441
0
    {
442
        // Just create a copy of the original.
443
0
        for (i = 0; i < n_fields; ++i) {
444
0
            result->ob_item[i] = Py_NewRef(self->ob_item[i]);
445
0
        }
446
0
    }
447
448
0
    _PyObject_GC_TRACK(result);
449
0
    return (PyObject *)result;
450
451
0
error:
452
0
    Py_DECREF(result);
453
0
    return NULL;
454
0
}
455
456
static PyMethodDef structseq_methods[] = {
457
    {"__reduce__", structseq_reduce, METH_NOARGS, NULL},
458
    {"__replace__", _PyCFunction_CAST(structseq_replace), METH_VARARGS | METH_KEYWORDS,
459
     PyDoc_STR("__replace__($self, /, **changes)\n--\n\n"
460
        "Return a copy of the structure with new values for the specified fields.")},
461
    {NULL, NULL}  // sentinel
462
};
463
464
static Py_ssize_t
465
664
count_members(PyStructSequence_Desc *desc, Py_ssize_t *n_unnamed_members) {
466
664
    Py_ssize_t i;
467
468
664
    *n_unnamed_members = 0;
469
5.46k
    for (i = 0; desc->fields[i].name != NULL; ++i) {
470
4.80k
        if (desc->fields[i].name == PyStructSequence_UnnamedField) {
471
108
            (*n_unnamed_members)++;
472
108
        }
473
4.80k
    }
474
664
    return i;
475
664
}
476
477
static int
478
initialize_structseq_dict(PyStructSequence_Desc *desc, PyObject* dict,
479
664
                          Py_ssize_t n_members, Py_ssize_t n_unnamed_members) {
480
664
    PyObject *v;
481
482
664
#define SET_DICT_FROM_SIZE(key, value)                                         \
483
1.99k
    do {                                                                       \
484
1.99k
        v = PyLong_FromSsize_t(value);                                         \
485
1.99k
        if (v == NULL) {                                                       \
486
0
            return -1;                                                         \
487
0
        }                                                                      \
488
1.99k
        if (PyDict_SetItemString(dict, key, v) < 0) {                          \
489
0
            Py_DECREF(v);                                                      \
490
0
            return -1;                                                         \
491
0
        }                                                                      \
492
1.99k
        Py_DECREF(v);                                                          \
493
1.99k
    } while (0)
494
495
664
    SET_DICT_FROM_SIZE(visible_length_key, desc->n_in_sequence);
496
664
    SET_DICT_FROM_SIZE(real_length_key, n_members);
497
664
    SET_DICT_FROM_SIZE(unnamed_fields_key, n_unnamed_members);
498
499
    // Prepare and set __match_args__
500
664
    Py_ssize_t i, k;
501
664
    PyObject* keys = PyTuple_New(desc->n_in_sequence);
502
664
    if (keys == NULL) {
503
0
        return -1;
504
0
    }
505
506
4.89k
    for (i = k = 0; i < desc->n_in_sequence; ++i) {
507
4.22k
        if (desc->fields[i].name == PyStructSequence_UnnamedField) {
508
108
            continue;
509
108
        }
510
4.12k
        PyObject* new_member = PyUnicode_FromString(desc->fields[i].name);
511
4.12k
        if (new_member == NULL) {
512
0
            goto error;
513
0
        }
514
4.12k
        PyTuple_SET_ITEM(keys, k, new_member);
515
4.12k
        k++;
516
4.12k
    }
517
518
664
    if (_PyTuple_Resize(&keys, k) == -1) {
519
0
        assert(keys == NULL);
520
0
        return -1;
521
0
    }
522
523
664
    if (PyDict_SetItemString(dict, match_args_key, keys) < 0) {
524
0
        goto error;
525
0
    }
526
527
664
    Py_DECREF(keys);
528
664
    return 0;
529
530
0
error:
531
0
    Py_DECREF(keys);
532
0
    return -1;
533
664
}
534
535
static PyMemberDef *
536
initialize_members(PyStructSequence_Desc *desc,
537
                   Py_ssize_t n_members, Py_ssize_t n_unnamed_members)
538
664
{
539
664
    PyMemberDef *members;
540
541
664
    members = PyMem_NEW(PyMemberDef, n_members - n_unnamed_members + 1);
542
664
    if (members == NULL) {
543
0
        PyErr_NoMemory();
544
0
        return NULL;
545
0
    }
546
547
664
    Py_ssize_t i, k;
548
5.46k
    for (i = k = 0; i < n_members; ++i) {
549
4.80k
        if (desc->fields[i].name == PyStructSequence_UnnamedField) {
550
108
            continue;
551
108
        }
552
553
        /* The names and docstrings in these MemberDefs are statically */
554
        /* allocated so it is expected that they'll outlive the MemberDef */
555
4.69k
        members[k].name = desc->fields[i].name;
556
4.69k
        members[k].type = _Py_T_OBJECT;
557
4.69k
        members[k].offset = offsetof(PyStructSequence, ob_item)
558
4.69k
          + i * sizeof(PyObject*);
559
4.69k
        members[k].flags = Py_READONLY;
560
4.69k
        members[k].doc = desc->fields[i].doc;
561
4.69k
        k++;
562
4.69k
    }
563
664
    members[k].name = NULL;
564
565
664
    return members;
566
664
}
567
568
569
static void
570
initialize_static_fields(PyTypeObject *type, PyStructSequence_Desc *desc,
571
                         PyMemberDef *tp_members, Py_ssize_t n_members,
572
                         unsigned long tp_flags)
573
288
{
574
288
    type->tp_name = desc->name;
575
    // Account for hidden members in tp_basicsize because they are not
576
    // included in the variable size.
577
288
    Py_ssize_t n_hidden = n_members - desc->n_in_sequence;
578
288
    type->tp_basicsize = sizeof(PyStructSequence) + (n_hidden - 1) * sizeof(PyObject *);
579
288
    type->tp_itemsize = sizeof(PyObject *);
580
288
    type->tp_dealloc = structseq_dealloc;
581
288
    type->tp_repr = structseq_repr;
582
288
    type->tp_doc = desc->doc;
583
288
    type->tp_base = &PyTuple_Type;
584
288
    type->tp_methods = structseq_methods;
585
288
    type->tp_new = structseq_new;
586
288
    type->tp_flags = Py_TPFLAGS_DEFAULT | Py_TPFLAGS_HAVE_GC | tp_flags;
587
288
    type->tp_traverse = structseq_traverse;
588
288
    type->tp_members = tp_members;
589
288
}
590
591
static int
592
initialize_static_type(PyTypeObject *type, PyStructSequence_Desc *desc,
593
0
                       Py_ssize_t n_members, Py_ssize_t n_unnamed_members) {
594
    /* initialize_static_fields() should have been called already. */
595
0
    if (PyType_Ready(type) < 0) {
596
0
        return -1;
597
0
    }
598
0
    Py_INCREF(type);
599
600
0
    if (initialize_structseq_dict(
601
0
            desc, _PyType_GetDict(type), n_members, n_unnamed_members) < 0) {
602
0
        Py_DECREF(type);
603
0
        return -1;
604
0
    }
605
606
0
    return 0;
607
0
}
608
609
int
610
_PyStructSequence_InitBuiltinWithFlags(PyInterpreterState *interp,
611
                                       PyTypeObject *type,
612
                                       PyStructSequence_Desc *desc,
613
                                       unsigned long tp_flags)
614
288
{
615
288
    if (Py_TYPE(type) == NULL) {
616
288
        Py_SET_TYPE(type, &PyType_Type);
617
288
    }
618
288
    Py_ssize_t n_unnamed_members;
619
288
    Py_ssize_t n_members = count_members(desc, &n_unnamed_members);
620
288
    PyMemberDef *members = NULL;
621
622
288
    if ((type->tp_flags & Py_TPFLAGS_READY) == 0) {
623
288
        assert(type->tp_name == NULL);
624
288
        assert(type->tp_members == NULL);
625
288
        assert(type->tp_base == NULL);
626
627
288
        members = initialize_members(desc, n_members, n_unnamed_members);
628
288
        if (members == NULL) {
629
0
            goto error;
630
0
        }
631
288
        initialize_static_fields(type, desc, members, n_members, tp_flags);
632
633
288
        _Py_SetImmortal((PyObject *)type);
634
288
    }
635
#ifndef NDEBUG
636
    else {
637
        // Ensure that the type was initialized.
638
        assert(type->tp_name != NULL);
639
        assert(type->tp_members != NULL);
640
        assert(type->tp_base == &PyTuple_Type);
641
        assert((type->tp_flags & _Py_TPFLAGS_STATIC_BUILTIN));
642
        assert(_Py_IsImmortal(type));
643
    }
644
#endif
645
646
288
    if (_PyStaticType_InitBuiltin(interp, type) < 0) {
647
0
        PyErr_Format(PyExc_RuntimeError,
648
0
                     "Can't initialize builtin type %s",
649
0
                     desc->name);
650
0
        goto error;
651
0
    }
652
653
288
    if (initialize_structseq_dict(
654
288
            desc, _PyType_GetDict(type), n_members, n_unnamed_members) < 0)
655
0
    {
656
0
        goto error;
657
0
    }
658
659
288
    return 0;
660
661
0
error:
662
0
    if (members != NULL) {
663
0
        PyMem_Free(members);
664
0
    }
665
0
    return -1;
666
288
}
667
668
int
669
PyStructSequence_InitType2(PyTypeObject *type, PyStructSequence_Desc *desc)
670
0
{
671
0
    PyMemberDef *members;
672
0
    Py_ssize_t n_members, n_unnamed_members;
673
674
#ifdef Py_TRACE_REFS
675
    /* if the type object was traced, remove it first
676
       before overwriting its storage */
677
    PyInterpreterState *interp = _PyInterpreterState_GET();
678
    if (_PyRefchain_IsTraced(interp, (PyObject *)type)) {
679
        _Py_ForgetReference((PyObject *)type);
680
    }
681
#endif
682
683
    /* PyTypeObject has already been initialized */
684
0
    if (Py_REFCNT(type) != 0) {
685
0
        PyErr_BadInternalCall();
686
0
        return -1;
687
0
    }
688
689
0
    n_members = count_members(desc, &n_unnamed_members);
690
0
    members = initialize_members(desc, n_members, n_unnamed_members);
691
0
    if (members == NULL) {
692
0
        return -1;
693
0
    }
694
0
    initialize_static_fields(type, desc, members, n_members, 0);
695
0
    if (initialize_static_type(type, desc, n_members, n_unnamed_members) < 0) {
696
0
        PyMem_Free(members);
697
0
        return -1;
698
0
    }
699
0
    return 0;
700
0
}
701
702
void
703
PyStructSequence_InitType(PyTypeObject *type, PyStructSequence_Desc *desc)
704
0
{
705
0
    (void)PyStructSequence_InitType2(type, desc);
706
0
}
707
708
709
/* This is exposed in the internal API, not the public API.
710
   It is only called on builtin static types, which are all
711
   initialized via _PyStructSequence_InitBuiltinWithFlags(). */
712
713
void
714
_PyStructSequence_FiniBuiltin(PyInterpreterState *interp, PyTypeObject *type)
715
0
{
716
    // Ensure that the type is initialized
717
0
    assert(type->tp_name != NULL);
718
0
    assert(type->tp_base == &PyTuple_Type);
719
0
    assert((type->tp_flags & _Py_TPFLAGS_STATIC_BUILTIN));
720
0
    assert(_Py_IsImmortal(type));
721
722
    // Cannot delete a type if it still has subclasses
723
0
    if (_PyType_HasSubclasses(type)) {
724
        // XXX Shouldn't this be an error?
725
0
        return;
726
0
    }
727
728
0
    _PyStaticType_FiniBuiltin(interp, type);
729
730
0
    if (_Py_IsMainInterpreter(interp)) {
731
        // Undo _PyStructSequence_InitBuiltinWithFlags().
732
0
        type->tp_name = NULL;
733
0
        PyMem_Free(type->tp_members);
734
0
        type->tp_members = NULL;
735
0
        type->tp_base = NULL;
736
0
    }
737
0
}
738
739
740
PyTypeObject *
741
_PyStructSequence_NewType(PyStructSequence_Desc *desc, unsigned long tp_flags)
742
376
{
743
376
    PyMemberDef *members;
744
376
    PyTypeObject *type;
745
376
    PyType_Slot slots[8];
746
376
    PyType_Spec spec;
747
376
    Py_ssize_t n_members, n_unnamed_members;
748
749
    /* Initialize MemberDefs */
750
376
    n_members = count_members(desc, &n_unnamed_members);
751
376
    members = initialize_members(desc, n_members, n_unnamed_members);
752
376
    if (members == NULL) {
753
0
        return NULL;
754
0
    }
755
756
    /* Initialize Slots */
757
376
    slots[0] = (PyType_Slot){Py_tp_dealloc, structseq_dealloc};
758
376
    slots[1] = (PyType_Slot){Py_tp_repr, structseq_repr};
759
376
    slots[2] = (PyType_Slot){Py_tp_doc, (void *)desc->doc};
760
376
    slots[3] = (PyType_Slot){Py_tp_methods, structseq_methods};
761
376
    slots[4] = (PyType_Slot){Py_tp_new, structseq_new};
762
376
    slots[5] = (PyType_Slot){Py_tp_members, members};
763
376
    slots[6] = (PyType_Slot){Py_tp_traverse, structseq_traverse};
764
376
    slots[7] = (PyType_Slot){0, 0};
765
766
    /* Initialize Spec */
767
    /* The name in this PyType_Spec is statically allocated so it is */
768
    /* expected that it'll outlive the PyType_Spec */
769
376
    spec.name = desc->name;
770
376
    Py_ssize_t hidden = n_members - desc->n_in_sequence;
771
376
    spec.basicsize = (int)(sizeof(PyStructSequence) + (hidden - 1) * sizeof(PyObject *));
772
376
    spec.itemsize = sizeof(PyObject *);
773
376
    spec.flags = Py_TPFLAGS_DEFAULT | Py_TPFLAGS_HAVE_GC | tp_flags;
774
376
    spec.slots = slots;
775
776
376
    type = (PyTypeObject *)PyType_FromSpecWithBases(&spec, (PyObject *)&PyTuple_Type);
777
376
    PyMem_Free(members);
778
376
    if (type == NULL) {
779
0
        return NULL;
780
0
    }
781
782
376
    if (initialize_structseq_dict(
783
376
            desc, _PyType_GetDict(type), n_members, n_unnamed_members) < 0) {
784
0
        Py_DECREF(type);
785
0
        return NULL;
786
0
    }
787
788
376
    return type;
789
376
}
790
791
792
PyTypeObject *
793
PyStructSequence_NewType(PyStructSequence_Desc *desc)
794
376
{
795
376
    return _PyStructSequence_NewType(desc, 0);
796
376
}