En Core Foundation et carbone, une suite de fonctions qui opèrent sur les instances de ce type plus un type de données agrégées. Les différents champs d'un type opaque initialisé sont cachés des clients, mais les fonctions du type offrent l'accès à la plupart des valeurs de ces champs. Un type opaque est à peu près équivalent à une classe dans la programmation orientée objet.