首頁(yè) 猿問(wèn) 表達(dá)式與語(yǔ)句

表達(dá)式與語(yǔ)句

C# .NET

楊__羊羊 2019-07-11 13:13:12

表達(dá)式與語(yǔ)句我問(wèn)的是c#，但在大多數(shù)其他語(yǔ)言中也是如此。有沒(méi)有人能很好的定義表達(dá)和陳述有什么不同嗎？

查看完整描述

3 回答

拉丁的傳說(shuō)

TA貢獻(xiàn)1789條經(jīng)驗(yàn) 獲得超8個(gè)贊

表達(dá)：計(jì)算值的值。例子：1+2/x
聲明：做某事的代碼行。例子：后藤100

在最早的通用編程語(yǔ)言(如FORTRAN)中，區(qū)別是非常清楚的.在FORTRAN中，語(yǔ)句是一個(gè)執(zhí)行單位，是您所做的事情。它沒(méi)有被稱(chēng)為“行”的唯一原因是因?yàn)樗袝r(shí)跨越多行。一個(gè)表情本身不能做任何事情.。你必須把它賦值給一個(gè)變量。

1 + 2 / X

是FORTRAN中的一個(gè)錯(cuò)誤，因?yàn)樗裁炊疾蛔?。你必須用這句話(huà)做點(diǎn)什么：

X = 1 + 2 / X

Fortran沒(méi)有我們今天所知道的語(yǔ)法-這個(gè)想法是和Backus-NaurForm(BNF)一起發(fā)明的，作為Algol-60定義的一部分。在這一點(diǎn)上語(yǔ)義“有價(jià)值”與“做某事”的區(qū)別體現(xiàn)在句法一種短語(yǔ)是表達(dá)式，另一種是語(yǔ)句，解析器可以區(qū)分它們。

后來(lái)語(yǔ)言的設(shè)計(jì)者模糊了這種區(qū)別：他們?cè)试S句法表達(dá)式來(lái)做事情，他們?cè)试S有價(jià)值的句法語(yǔ)句?，F(xiàn)存最早的流行語(yǔ)言例子是C。C的設(shè)計(jì)者意識(shí)到，如果允許對(duì)表達(dá)式進(jìn)行評(píng)估并丟棄結(jié)果，就不會(huì)造成任何傷害。在C中，每一個(gè)句法表達(dá)式都可以通過(guò)在結(jié)尾加上分號(hào)來(lái)生成語(yǔ)句：

1 + 2 / x;

是一個(gè)完全合法的聲明，即使絕對(duì)不會(huì)發(fā)生任何事情。類(lèi)似地，在C中，表達(dá)式可以具有副作用-它可以改變一些東西。

1 + 2 / callfunc(12);

因?yàn)?/trans>callfunc可能只是做些有用的事。

一旦允許任何表達(dá)式成為語(yǔ)句，則最好允許表達(dá)式中的賦值運(yùn)算符(=)。這就是為什么C允許你做這樣的事情

callfunc(x = 2);

這將計(jì)算表達(dá)式x=2(將值2賦值為x)，然后將該表達(dá)式(2)傳遞給函數(shù)。callfunc.

表達(dá)式和語(yǔ)句的模糊出現(xiàn)在所有C-派生類(lèi)(C、C+、C#和Java)中，它們?nèi)匀挥幸恍┱Z(yǔ)句(如while)但允許將幾乎任何表達(dá)式用作語(yǔ)句(在C#中僅用于賦值、調(diào)用、增量和遞減表達(dá)式；請(qǐng)參見(jiàn)斯科特·維斯涅夫斯基的回答).

有兩個(gè)“句法類(lèi)別”(這是語(yǔ)句和表達(dá)式的類(lèi)型的技術(shù)名稱(chēng))可能會(huì)導(dǎo)致重復(fù)工作。例如，C有兩種形式的條件，語(yǔ)句形式

if (E) S1; else S2;

以及表達(dá)形式

E ? E1 : E2

有時(shí)人們想要重復(fù)是不存在的：例如，在標(biāo)準(zhǔn)C中，只有一條語(yǔ)句可以聲明一個(gè)新的局部變量-但是這種能力非常有用，GNU C編譯器提供了一個(gè)GNU擴(kuò)展，它使表達(dá)式也可以聲明局部變量。

其他語(yǔ)言的設(shè)計(jì)者不喜歡這種復(fù)制，他們很早就看到了如果表達(dá)式有副作用以及值，那么句法語(yǔ)句和表達(dá)式之間的區(qū)別并不是很有用，所以他們把它去掉了。Haskell、Icon、Lisp和ML都是沒(méi)有語(yǔ)法語(yǔ)句的語(yǔ)言-它們只有表達(dá)式。即使是類(lèi)結(jié)構(gòu)化循環(huán)和條件形式也被認(rèn)為是表達(dá)式，它們有值-但不是很有趣的值。

反對(duì) 回復(fù) 2019-07-11