{"id":1000,"date":"2011-09-28T00:02:41","date_gmt":"2011-09-28T00:02:41","guid":{"rendered":"http:\/\/phaidon.philo.at\/qu\/?p=1000"},"modified":"2018-11-19T18:21:46","modified_gmt":"2018-11-19T18:21:46","slug":"typumwandlung-fur-den-heideggerianer-ein-versuch","status":"publish","type":"post","link":"https:\/\/quatsch.philo.at\/?p=1000","title":{"rendered":"Typumwandlung f\u00fcr den Heideggerianer. Ein Versuch."},"content":{"rendered":"

Am Anfang des Studiums kam mir, dass eine akademische Informatik<\/a>, die sich gegen den ingenieurhaften Fleckerlteppich ein wenig abschottet, \u00fcberzeugendere Argumente f\u00fcr den Versuch h\u00e4tte, dem Forschungsobjekt Computer allgemein relevante Erkenntnisse abzugewinnen. Das mag zutreffen, doch wie verh\u00e4lt es sich mit dem Know how<\/em>?\u00a0Mit meiner aktuellen Forschung, die Nahe an der Informatik als Ingenieurkunst ihren Aufenthalt hat, kam mir der Gedanke, dass wir Acht geben m\u00fcssen, welche materiellen und handgreiflichen Prozesse diese Wissenschaft \u00fcber dem Wasser halten.<\/p>\n

 <\/p>\n

void castZuhandenheit(void* zeug) {\n        Smartphone* meinHandy;\n        meinHandy = (Smartphone*) zeug;\n        printf(\"Mein Handy %s kostet: %d EUR.\", meinHandy->name, meinHandy->preis);\n}<\/pre>\n
<\/p>\n
 <\/p>\n
Wer eine Anwendung in einer h\u00f6heren Programmiersprache<\/a> wie Java f\u00fcr ein Smartphone programmiert, kommt damit kaum in Ber\u00fchrung (ein Grund ist die isolierende Laufzeitumgebung<\/a>, die heute zu weit f\u00fchrt). Gemeint sind die Vorg\u00e4nge, die sich zwischen einer mit einem wohldefiniertem Repertoire ausgestatteten Recheneinheit und einem r\u00e4tselhaften Speicher abspielen; r\u00e4tselhaft, da er programmatisch nicht zu durchschauen<\/em> ist, er erm\u00f6glicht zwar die Aufrechterhaltung des Anscheins einer Verarbeitung von strukturierten Daten, doch beherbergt tats\u00e4chlich eine nicht durchschaubar<\/em>e Sammlung von Unterscheidungen, die – und in der Informatik muss man oft leider<\/em> hinzuf\u00fcgen – Mehrdeutigkeiten und Entfremdungen zulassen. Der Speicher ist opak.<\/p>\n
Einen Zeiger kann man unterschiedlich nehmen<\/em>. Man sagt: Er zeigt auf eine Adresse im Speicher. Was hei\u00dft das? Sein Inhalt erm\u00f6glicht es, wenn man ihn so nimmt, eine andere Stelle zu finden und zu ergreifen. Wenn man ihn so nimmt. Man muss ihn, wie jedes andere Zeug, zun\u00e4chst auf eine bestimmte Weise ergreifen. Erst innerhalb der Sprache, der Programmiersprache, l\u00e4sst sich das so Ergriffene als Zeiger markieren. Durch den Effekt der Markierung als Zeiger<\/em> in der Sprache bekommt er die Funktion etwas herzuzeigen, das hei\u00dft zu erm\u00f6glichen, \u00a0etwas anderes zu ergreifen, was bereits (als Adresse) inbegriffen ist.<\/p>\n
Hat es eine Bedeutung, hier von greifen zu sprechen? Beim Zu-griff auf den Speicher sind wir in einer Situation, die kein Nachschauen erlaubt, aber ein Vorsehen. Wir k\u00f6nnen nur blind etwas ergreifen und annehmen, dass uns der Zeiger nicht irre f\u00fchrte, als er uns anwies, dort hinzugreifen, um etwas Typisches, etwas Vorgesehenes zu finden. Diese Annahme gibt unserem Griff eine Form, sie macht den Griff stabil und damit starr. Beim Zugriff halten wir durch Vorsicht das Ergriffene fest. Es wird dadurch zum Begriffenen. Durch den festen Griff kann das Ergriffene verformt werden; unbemerkt -man greift ja ins Dunkle. Wir haben uns beim Begreifen durch Vorsicht am Ergriffenen vergriffen.<\/p>\n
Dies ist eine, wenngleich ein wenig gek\u00fcnstelte Beschreibung einer inkorrekten\u00a0Typumwandlung<\/a> eines untypisierten Zeigers<\/a>\u00a0mit anschlie\u00dfender Dereferenzierung<\/a>, die nicht durch die Syntax der Sprache als inkorrekt erkennbar ist. Mittelbar provoziert inkorrekte Typumwandlung schwer auffindbares, manchmal nicht deterministisches Verhalten, oder bleibt unentdeckt.<\/p>\n
Zum Beispiel (mit \/\/ eingeleitete Zeichen markieren Kommentare des Programmcodes bis zum Zeilenende):<\/p>\n
\"\"<\/a><\/p>\n
Ob die Typumwandlung korrekt oder inkorrekt ist h\u00e4ngt nicht nur davon ab, ob das Zeug, das man an dem Ort, auf den ‘zeug’ zeigt, ergreift, sich auch als eine Struktur bestimmten Typs begreifen l\u00e4sst (hier: eine Smartphone-Struktur). Das ist immer m\u00f6glich. Sondern die Korrektheit h\u00e4ngt daran, dass man im Begriffenen strukturierte Daten (hier: eine ganze Zahl und eine Zeichenkette) ablesen kann, die…<\/p>\n