Der Continuation-Passing-Stil (CPS) ist eine Methode zur Handhabung des Kontrollflusses in der Computerprogrammierung, bei der die Steuerung explizit \u00fcber einen Funktionsparameter \u00fcbergeben wird.<\/p>\n
Die Urspr\u00fcnge des Continuation-Passing-Stils lassen sich auf die Entwicklung der theoretischen Informatik zur\u00fcckf\u00fchren, und das Konzept der Fortsetzungen selbst hat seine Wurzeln in der Lambda-Rechnung. Die erste explizite Erw\u00e4hnung des \u201eContinuation-Passing-Stils\u201c als Ausdruck und seine Verwendung in der Praxis wurde in den 1960er Jahren vom Informatiker Christopher Strachey eingef\u00fchrt. In dieser Zeit erforschten er und seine Kollegen die denotationale Semantik, ein Rahmenwerk zur Definition der Bedeutungen von Programmiersprachen.<\/p>\n
Continuation-Passing Style (CPS) ist eine Form der Programmorganisation, die die explizite Verwendung von Fortsetzungen beinhaltet. Eine Fortsetzung ist eine Darstellung des Zustands eines Computerprogramms zu einem bestimmten Zeitpunkt, einschlie\u00dflich des Aufrufstapels und der Werte von Variablen.<\/p>\n
In CPS erh\u00e4lt jede Funktion ein zus\u00e4tzliches Argument, das normalerweise \u201econt\u201c oder \u201ek\u201c hei\u00dft und die Fortsetzung des Programms darstellt \u2013 was passieren soll, nachdem die Funktion ihre Berechnung abgeschlossen hat. Wenn die Funktion ihr Ergebnis berechnet hat, \u201egibt\u201c sie dieses Ergebnis zur\u00fcck, indem sie es an die Fortsetzung \u00fcbergibt, anstatt es auf die \u00fcbliche Weise zur\u00fcckzugeben.<\/p>\n
Das Konzept kann als eine M\u00f6glichkeit betrachtet werden, den Kontrollfluss explizit zu machen: Anstatt die Kontrolle implizit an den Aufrufer zu \u00fcbergeben, wenn sie abgeschlossen ist, \u00fcbergibt eine CPS-Funktion die Kontrolle durch den Aufruf der Fortsetzung.<\/p>\n
In der traditionellen Funktionsaufrufkonvention wird eine Funktion beim Aufruf ausgef\u00fchrt und gibt die Steuerung mit einem R\u00fcckgabewert an den Aufrufer zur\u00fcck. Beim Continuation-Passing-Stil wird die Steuerung jedoch explizit \u00fcber einen Funktionsparameter \u00fcbergeben, der oft als \u201eFortsetzung\u201c bezeichnet wird.<\/p>\n
Die Fortsetzung stellt den Rest der Berechnung dar. Das hei\u00dft, wenn eine Funktion eine Fortsetzung empf\u00e4ngt, f\u00fchrt sie einige Operationen aus und \u00fcbergibt dann das Ergebnis an die empfangene Fortsetzung. Daher wird im Fortsetzungs\u00fcbergabestil die R\u00fcckgabe nie implizit ausgef\u00fchrt.<\/p>\n
Eine typische CPS-Funktion in einer Pseudosprache k\u00f6nnte wie folgt aussehen:<\/p>\n
CSS<\/span>