Как определить структуру, используемую для объявления макета экземпляра PyObject?

Я пишу расширения Python 3 в C++, и я пытаюсь найти способ проверить, PyObject ли PyObject с типом (struct), определяющим его макет экземпляра. Меня интересует только статический размер PyObject, а не PyVarObject. Макет экземпляра определяется структурой с определенным четко определенным макетом: обязательным заголовком PyObject и (необязательно) определяемыми пользователем членами.

Ниже приведен пример расширения PyObject на основе известного примера Noddy в разделе Определение новых типов:

// Noddy struct specifies PyObject instance layout
struct Noddy {
    PyObject_HEAD
    int number;
};

// type object corresponding to Noddy instance layout
PyTypeObject NoddyType = {
    PyObject_HEAD_INIT(NULL)
    0,                         /*ob_size*/
    "noddy.Noddy",             /*tp_name*/
    sizeof(Noddy),             /*tp_basicsize*/
    0,                         /*tp_itemsize*/
    ...
    Noddy_new,                 /* tp_new */
};

Важно заметить, что Noddy - это тип, объект времени компиляции, но NoddyType - это объект, присутствующий в памяти во время выполнения. Единственное очевидное отношение между Noddy и NoddyType видимому, является значением sizeof(Noddy) хранящимся в tp_basicsize.

Рукописное наследование, реализованное в Python, определяет правила, которые позволяют использовать между PyObject и типом, используемым для объявления макета экземпляра этого конкретного PyObject:

PyObject* Noddy_new(PyTypeObject *type, PyObject *args, PyObject *kwds)
{
    // When a Python object is a Noddy instance,
    // its PyObject* pointer can be safely cast to Noddy
    Noddy *self = reinterpret_cast<Noddy*>(type->tp_alloc(type, 0));

    self->number = 0; // initialise Noddy members

    return reinterpret_cast<PyObject*>(self);
}

В таких ситуациях, как различные функции слотов, можно с уверенностью предположить, что "объект Python является Noddy" и лишен без каких-либо проверок. Однако иногда приходится бросать в других ситуациях, тогда это похоже на слепую конверсию:

void foo(PyObject* obj)
{
    // How to perform safety checks?
    Noddy* noddy = reinterpret_cast<Noddy*>(obj);
    ...
}

Можно проверить sizeof(Noddy) == Py_TYPE(obj)->tp_basicsize, но это недостаточное решение из-за:

1) Если пользователь выйдет из Noddy

class BabyNoddy(Noddy):
    pass

и obj в точках foo для экземпляра BabyNoddy, Py_TYPE(obj)->tp_basicsize отличается. Но, по-прежнему безопасно использовать для reinterpret_cast<Noddy*>(obj) чтобы получить указатель на часть макета экземпляра.

2) Может существовать другая структура, объявляющая макет экземпляра того же размера, что и Noddy:

struct NeverSeenNoddy {
    PyObject_HEAD
    short word1;
    short word2;
};

Фактически уровень C langauge, структура NeverSeenNoddy совместима с NoddyType типа NoddyType - он может вписываться в NoddyType. Итак, отливка может быть прекрасной.

Итак, мой большой вопрос:

Есть ли какая-либо политика Python, которая может быть использована для определения совместимости PyObject с макетом экземпляра Noddy?

Любой способ проверить, PyObject* ли PyObject* на объектную часть, встроенную в Noddy?

Если не политика, возможен ли взлом?

EDIT: Есть несколько вопросов, которые кажутся похожими, но, на мой взгляд, они отличаются от того, что я спросил. Например: доступ к базовой структуре PyObject

EDIT2: Чтобы понять, почему я назвал ответ Свена Марнаха ответом, см. Комментарии ниже этого ответа.