聲明式/函數(shù)調(diào)用能不能算一個"表達(dá)式"? 為何?

asker160

語言標(biāo)準(zhǔn)的第五章開明宗義的說:

1. 
   
2. [ Note: Clause 5 defines the syntax, order of evaluation, and meaning of expressions.58 An expression is a
   
3. sequence of operators and operands that specifies a computation. An expression can result in a value and
   
4. can cause side effects. — end note ]
   

復(fù)制代碼

我的理解是，一個expression定義了一個"computation"，也就是可以計算的東西。
那么初始化語句

1. 
   
2. int i=1;
   
3. A obj;
   

復(fù)制代碼

上面兩句能算是表達(dá)式嗎? 定義一個變量1，給它一個初始值，這個編譯出來是有"代碼"的，要運行時"執(zhí)行", 算不算一個表達(dá)式?
A obj聲明一個實例，構(gòu)造函數(shù)做了某些事情，這個是computation嗎，算不算一個表達(dá)式?

Plus:
函數(shù)調(diào)用

1. 
   
2. f(1,2,3)
   

復(fù)制代碼

能算是一個expression嗎？ 看起來函數(shù)調(diào)用是能產(chǎn)生一個result,并且可以把函數(shù)調(diào)用作為參數(shù)進(jìn)一步傳給其他的函數(shù)來使用。

謝謝

nswcfd

函數(shù)調(diào)用應(yīng)該是

(6.5.2) postfix-expression:
                        primary-expression
                        postfix-expression [ expression ]
                        postfix-expression ( argument-expression-listopt )
                        postfix-expression . identifier
                        postfix-expression -> identifier
                        postfix-expression ++
                        postfix-expression --
                        ( type-name ) { initializer-list }
                        ( type-name ) { initializer-list , }


聲明（本身）感覺不像

(6.7) declaration:
                        declaration-specifiers init-declarator-listopt ;
                        static_assert-declaration

(6.7) init-declarator-list:
                        init-declarator
                        init-declarator-list , init-declarator

(6.7) init-declarator:
                        declarator
                        declarator = initializer


聲明和語句是一個層次上的概念
表達(dá)式是表達(dá)式語句（語句的一種）的組成部分
當(dāng)然聲明中也有expression
不過貌似不能推出 declaration => ... => expression

(6.8.2) block-item:
                        declaration
                        statement

(6. statement:
                        labeled-statement
                        compound-statement
                        expression-statement
                        selection-statement
                        iteration-statement
                        jump-statement

(6.8.3) expression-statement:
                        expressionopt ;