typeobjecten

Typeobjecten zijn objecten die een soort (type) of klasse beschrijven in een programmeertaal. Ze bieden metadata over de op te bouwen objecten, zoals naam, basisklassen, attributen, methoden en de bewerkingen die op die types gedefinieerd zijn. In veel talen kunnen typeobjecten als eerste-klasse waarden worden aangemaakt, toegewezen en doorgegeven, waardoor meta-programmering mogelijk wordt.

In dynamische talen zoals Python is elk type zelf een object. Het type van een object is een typeobject. Zo is de ingebouwde klasse int een typeobject, en is de class van een klasse een metatype. In CPython wordt de structuur van een typeobject beschreven door een datastructuur genaamd PyTypeObject met velden zoals tp_name, tp_basicsize en tp_methods. Met typeobjecten kan men onder andere objectcreatie, attributelookups en operatoren beïnvloeden via metaclassing en speciale methoden.

Met behulp van typeobjecten kunnen programma’s reflecteren op hun eigen types, runtime-typecontroles uitvoeren en dynamisch objecten creëren of aanpassen. In Python is het concept van een metaklasse een klasse van een klasse, oftewel een typeobject dat klassen maakt en aanpast. In statisch getypeerde talen zoals Java en .NET bestaan vergelijkbare mechanismen via respectievelijk Class-objecten en Type-objecten, die runtime-informatie over types leveren en vaak worden gebruikt bij reflectie en generieke programmering.

Zie ook: reflectie, meta-programmering, type-systeem, metaklas.