Ausdruck gegen Aussage

Ausdruck: Etwas, was zu einem Wert ausgewertet. Beispiel: 1+2/x

Aussage: Eine code-Zeile, die etwas tut. Beispiel: GOTO 100

In der frühesten Allgemeinen Programmiersprachen, wie FORTRAN, die Unterscheidung war Kristall-klar. In FORTRAN, eine Aussage war eine Einheit der Ausführung, eine Sache, die Sie getan haben. Der einzige Grund, es nicht als eine "Linie" war, weil es manchmal umfasst mehrere Zeilen. Ein Ausdruck auf seine eigene, konnte nichts tun... Sie musste es einer Variablen zuweisen.

1 + 2 /X

ist ein Fehler im FORTRAN, weil Sie es nicht tun. Sie hatte etwas zu tun mit diesem Ausdruck:

X = 1 + 2 /X

FORTRAN nicht über eine Grammatik, wie wir Sie heute kennen—diese Idee erfunden wurde, zusammen mit der Backus-Naur-Form (BNF), als Teil der definition von Algol-60. An diesem Punkt der semantische Unterscheidung ("einen Wert haben" und "etwas tun") verankert wurde, in syntax: eine phrase ist ein Ausdruck, und eine andere war eine Aussage, und der parser könnte sagen, Sie auseinander.

Designer der später Sprachen verwischt die Unterscheidung: Sie erlaubt syntaktische Ausdrücke, Dinge zu tun, und Sie erlaubten syntaktischen Aussagen, die hatten Werte.
Das früheste populäre Sprache Beispiel, die noch überlebt, ist C. Die Designer von C erkannte, dass kein Schaden wurde getan, wenn Sie zugelassen wurden, um einen Ausdruck auszuwerten und wegwerfen, das Ergebnis. In C, jedem syntaktischen Ausdruck eine gemacht in eine Anweisung nur von Heften ein Semikolon entlang der Ende:

1 + 2 /x;

ist eine völlig legitime Aussage, obwohl absolut nichts passiert. Ähnlich in C, die ein Ausdruck haben kann Nebenwirkungen—es kann sich etwas ändern.

1 + 2 /callfunc(12);

weil callfunc könnte nur etwas nützliches tun.

Einmal ermöglichen Sie jedem Ausdruck eine Anweisung, die Sie vielleicht, wie der Zuweisungsoperator (=) in Ausdrücken. Das ist, warum C lässt Sie Dinge tun, wie

callfunc(x = 2);

Dies wertet den Ausdruck x = 2 (Zuweisung des Wertes von 2 bis x) und dann geht das (die 2), um die Funktion callfunc.

Diese Unschärfe der Ausdrücke und Anweisungen tritt in alle C-Derivate (C, C++, C# und Java), die haben noch einige Aussagen (wie while), aber die können fast jeden beliebigen Ausdruck als Anweisung (in C# nur die Zuordnung, call -, increment-und decrement-Ausdrücke verwendet werden können, Aussagen; siehe Scott Wisniewski Antwort).

Zwei "syntaktische Kategorien" (das ist die technische Bezeichnung für die Art von Dingen, Aussagen und Ausdrücke werden) führt zu Doppelarbeit. Zum Beispiel, C hat zwei Formen von bedingten, die form der Anweisung

if (E) S1; else S2;

wird, und der Ausdruck form

E ? E1 : E2

Und manchmal sind die Leute wollen Vervielfältigung, gibt es nicht: in der standard-C zum Beispiel nur eine Anweisung deklarieren Sie eine neue lokale variable—aber diese Fähigkeit ist nützlich genug, dass die
GNU C-compiler bietet eine GNU-Erweiterung, die es ermöglicht, einen Ausdruck zu deklarieren Sie eine lokale variable als gut.

Designer von anderen Sprachen, die nicht wie diese Art der Vervielfältigung, und man sah früh, dass, wenn Ausdrücke, die Nebenwirkungen haben können, sowie Werte, dann die syntaktische Unterscheidung zwischen Anweisungen und Ausdrücken ist nicht besonders nützlich—und so kam es loswerden. Haskell, Symbol, Lisp und ML sind alle Sprachen, die keine syntaktischen Aussagen—Sie haben nur Ausdrücke. Auch die Klasse strukturiert, die Schleifen und bedingte Formen sind als Ausdrücke, und Sie haben Werte—aber nicht sehr interessant sind.

InformationsquelleAutor der Antwort Joel Spolsky

• ein Ausdruck ist etwas, das ergibt einen Wert: 2 + 2
• eine Anweisung ist eine der grundlegenden "Bausteine" der Programmausführung.

Beachten Sie, dass in C, "=" ist eigentlich ein operator, der zwei Dinge tut:

• gibt den Wert des rechten Teilausdruck.
• kopiert den Wert von der rechten Teilausdruck in die variable auf der linken Seite.

Hier ist ein Auszug aus dem ANSI-C-Grammatik. Sie können sehen, dass C nicht haben viele verschiedene Arten von Aussagen... die meisten von Anweisungen in einem Programm sind Ausdruck Aussagen, D. H. ein Ausdruck mit einem Semikolon am Ende.

statement
    : labeled_statement
    | compound_statement
    | expression_statement
    | selection_statement
    | iteration_statement
    | jump_statement
    ;

expression_statement
    : ';'
    | expression ';'
    ;

http://www.lysator.liu.se/c/ANSI-C-grammar-y.html

InformationsquelleAutor der Antwort Mark Harrison

Diese finden Sie auf wikipediaaber Ausdrücke werden ausgewertet, um einen gewissen Wert, während Aussagen haben keinen Wert bewertet.

Somit können Ausdrücke in Aussagen, aber nicht die andere Weise herum.

Beachten Sie, dass einige Sprachen (z.B. Lisp, und ich glaube, Ruby und viele andere) nicht unterscheiden Anweisung vs. Ausdruck... in solchen Sprachen, alles ist ein Ausdruck und kann verkettet werden mit anderen Ausdrücken.

InformationsquelleAutor der Antwort Mike Stone

Einfach: ein Ausdruck zu einem Wert ausgewertet wird, eine Erklärung nicht.

InformationsquelleAutor der Antwort Matthew Schinckel

Einige Dinge über expression-basierte Sprachen:

Wichtigste: Alles gibt Sie einen Wert

Gibt es keinen Unterschied zwischen geschweiften Klammern und die geschweiften Klammern zur Abgrenzung von code-Blöcke und Ausdrücke, denn alles ist ein Ausdruck. Dies verhindert nicht, dass lexikalische scoping-obwohl: Eine lokale variable kann definiert werden, für den Ausdruck, in dem seine definition enthalten ist, und alle Aussagen innerhalb, dass, zum Beispiel.

In einem Ausdruck basierende Sprache, alles, was einen Wert zurückgibt. Dies kann ein wenig seltsam auf den ersten -- Was macht (FOR i = 1 TO 10 DO (print i)) zurück?

Einige einfache Beispiele:

• (1) zurück 1
• (1 + 1) zurück 2
• (1 == 1) zurück TRUE
• (1 == 2) zurück FALSE
• (IF 1 == 1 THEN 10 ELSE 5) zurück 10
• (IF 1 == 2 THEN 10 ELSE 5) zurück 5

Ein paar komplexere Beispiele:

• Einige Dinge, wie einige Funktionsaufrufe, nicht wirklich einen sinnvollen Wert zurückgeben (Dinge, die nur Nebenwirkungen erzeugen?). Aufruf OpenADoor(), FlushTheToilet() oder TwiddleYourThumbs() zurückgeben wird eine Art von Weltlichen Wert, wie OK, Fertig, oder Erfolg.
• Wenn mehrere nicht verknüpfte Ausdrücke werden ausgewertet, die innerhalb eines größeren Ausdrucks, der Wert der letzten Sache, die ausgewertet in den großen Ausdruck wird der Wert von den großen Ausdruck. Nehmen Sie das Beispiel des (FOR i = 1 TO 10 DO (print i))den Wert der for-Schleife ist "10", es bewirkt, dass die (print i) Ausdruck ausgewertet werden, 10 mal, jedes mal zurückkehren, die ich als string. Die Letzte Zeit durch zurück 10 unsere endgültige Antwort

Es erfordert oft eine leichte änderung der Einstellung um das beste aus einem Ausdruck basierende Sprache, denn die Tatsache, dass alles ist ein Ausdruck, der es möglich macht, 'inline' eine Menge Dinge

Als schnelles Beispiel:

 FOR i = 1 to (IF MyString == "Hello, World!" THEN 10 ELSE 5) DO
 (
    LotsOfCode
 )

ist ein perfekt gültigen Ersatz für die nicht-expression-basierte

IF MyString == "Hello, World!" THEN TempVar = 10 ELSE TempVar = 5 
FOR i = 1 TO TempVar DO
(    
    LotsOfCode  
)

In einigen Fällen, das layout, Ausdruck-basierten code erlaubt, fühlt sich viel natürlicher an mir

Natürlich, das kann bis zum Wahnsinn führen. Als Teil eines hobby-Projektes in einem Ausdruck-basierte Skriptsprache MaxScript, ich konnte mit diesem monster Linie

IF FindSectionStart "rigidifiers" != 0 THEN FOR i = 1 TO (local rigidifier_array = (FOR i = (local NodeStart = FindsectionStart "rigidifiers" + 1) TO (FindSectionEnd(NodeStart) - 1) collect full_array[i])).count DO
(
    LotsOfCode
)

InformationsquelleAutor der Antwort

Aussagen -> Anleitungen zu Folgen nacheinander

Ausdrücke -> Bewertung, die einen Wert zurückgibt

Aussagen sind im Grunde wie Schritte oder Anweisungen in einem Algorithmus, der das Ergebnis der Ausführung einer Anweisung ist die Aktualisierung der instruction-pointer (so genannte assembler)

Ausdrücke implizieren nicht und die Reihenfolge der Ausführung auf den ersten Blick, Ihr Zweck ist es, zu bewerten, und einen Wert zurückgeben. In der imperativen Programmiersprache die Auswertung eines Ausdrucks hat einen Auftrag, aber es ist nur, weil der Imperativ-Modell, aber es ist nicht Ihr Wesen.

Beispiele von Aussagen:

for
goto
return
if

(alle von Ihnen implizieren, das Fortschreiten der Zeile (Anweisung) der Ausführung zu einer anderen Linie)

Beispiel Ausdrücke:

2+2

(es bedeutet nicht, die Idee der Ausführung, aber von der Bewertung)

InformationsquelleAutor der Antwort Andaquin

Bevorzuge ich die Bedeutung von statement in die formale Logik Sinn des Wortes. Es ist eine, ändert sich der Status von einer oder mehr Variablen in der Berechnung, sodass eine wahre oder falsche Aussage über deren Wert(en).

Ich denke, es wird immer wieder Verwirrung in der it-Welt und der Wissenschaft im Allgemeinen, wenn neue Begriffe oder Wörter werden eingeführt, bestehende Wörter sind 'aufbereiten' oder Benutzer in Unkenntnis der bestehenden, etablierten oder 'korrekte' Terminologie für das, was Sie beschreiben

InformationsquelleAutor der Antwort vfclists

Anweisung,

Aussage ist eine verfahrenstechnische Bausteine, aus denen alle C# - Programme aufgebaut sind. Eine Anweisung deklarieren Sie eine lokale variable oder eine Konstante, eine Methode aufzurufen, erstellen Sie ein Objekt oder einen Wert zuweisen, um eine variable, eine Eigenschaft oder ein Feld.

Einer Reihe von Aussagen, umgeben von geschweiften Klammern bilden einen block von code. Eine Methode, die Körper, ist ein Beispiel für einen code-block.

bool IsPositive(int number)
{
    if (number > 0)
    {
        return true;
    }
    else
    {
        return false;
    }
}

Anweisungen in C# enthalten oft Ausdrücke. Ein Ausdruck in C# ist ein Codefragment mit einem Literalwert, ein einfacher name, oder ein operator und seinem Operanden.

Ausdruck,

Ausdruck ist ein fragment von code, der ausgewertet werden kann, um einen einzelnen Wert, ein Objekt, eine Methode oder ein namespace. Die einfachsten Ausdrücke sind Literale und einfache Namen. Ein literal ist ein konstanter Wert, der keinen Namen hat.

int i = 5;
string s = "Hello World";

Sowohl ich als auch s sind einfach Namen, die Identifizierung von lokalen Variablen. Wenn diese Variablen werden in einem Ausdruck verwendet, der den Wert der Variablen abgerufen und verwendet für den Ausdruck.

InformationsquelleAutor der Antwort Sujit

Verbessern und bestätigen meine Vorherige Antwort, die Definitionen der Programmiersprache Begriffe sollten erklärt werden, aus der informatik Art Theorie, wenn anwendbar.

Ausdruck hat einen anderen Typ als die Art des Bodens, D. H. es hat einen Wert. Eine Erklärung hat die Einheit oder Unten geben.

Daraus folgt, dass eine Aussage kann nur einen Effekt haben, in einem Programm, wenn es erstellt eine Nebenwirkung, weil es entweder nicht, einen Wert zurückzugeben oder es gibt nur den Wert der Einheit geben, die entweder nicht zuweisbare Daten (in einigen Sprachen, wie Z a C s void) oder (wie in Scala) können gespeichert werden für eine verspätete Bewertung der Aussage.

Offensichtlich ein @pragma oder eine /*comment*/ haben keine Art und Weise unterschieden von Aussagen. So ist die einzige Art von Anweisung, würde haben keine Nebenwirkungen, wäre eine nicht-operation. Nicht-Betrieb ist nur sinnvoll als Platzhalter für zukünftige Nebenwirkungen. Jede andere Handlung aufgrund einer Aussage wäre ein Nebeneffekt. Wieder eine compiler-Hinweis, z.B. @pragma ist nicht eine Aussage, weil es keine geben.

InformationsquelleAutor der Antwort Shelby Moore III