C的詭異運算

wslab

在寫計概考古題時遇到一個C語言的問題
int a=2,b=2;
a+=--a-b==+b<<2&&0?1,b=2:b++/2;
執行完之後的答案是 a=2, b=3
有人能幫忙解釋整個計算過程嗎？
感謝

撲殺兔

a+=((--a)-b)==((+b)<<2) && 0 ? 1,b=2 : (b++)/2

--a -> 1
--a - b -> -1
b << 2 -> 8
-1 == 8 -> false
false && 0 -> false
b++/2 -> 1
a += 1 -> 2

a = 2, b =3

這個題目沒有必要深究，現實中沒有人會寫出這樣的程式

wslab

謝謝！
我也覺得現實中應該不會有人寫這樣的程式，但是考題就是有
只能說台灣的考試有一部份都是沒意義的東西，卻逼得學生不得不死背
再次感謝您的解說

EdisonX

這題沒答案，
undefined behavior.

wslab

EdisonX 發表於 2012-10-8 11:49 AM

下載: 訪客無法瀏覽下載點，請先 註冊 或 登入會員

這題沒答案，
undefined behavior.

這題真的有答案，我有用Dev C++跑過

kaworucloud

並不是實機 run 過有跑出結果就叫做有答案
會叫做 undefined behavior 就是因為你用 a compiler 跟用 b compiler 跑出來的結果不一定相同

不過這題的確是屬於 well-defined behavior

1. a+=--a-b==+b<<2&&0?1,b=2:b++/2;

複製代碼

此述句中含有三個 sequence point
第一個是 && 之前：
--a-b==+b<<2
執行至此，所有 side effects 均已發生完畢，a 的值已確定為 1

第二個是 ? 之前
此處並無新的 side effects
由於 first operand 的結果是 false，因此執行 (b++)/2

第三個是 ; 之前
至此等同於執行 a+= (b++)/2
其中對 a 與 b 都只進行了一次賦值行為，因此此例並非 undefined behavior...

瀏覽完整內容，請先 註冊 或 登入會員

EdisonX

先謝謝 kaworucloud 詳細解說，這題是 well-defined 還是 undefined ，
現在我也疑惑了 Orz

@ wslab一個有名的 undefined 例子

1. #define CUBE(x)
   
2. 
   
3. int x = 1;
   
4. print f ( "%d",CUBE(++x) );

複製代碼

拿去 dev-c++ 跑跑得出結果，拿去 vc 也跑得出結果，
結果就是不一樣。

@ kaworucloud

我記得這類似的規則有兩個 (引用 ptt 13 戒之八)

(1) 不可以在一個運算式(expression)中，對一個基本型態的變數修改其值
    超過一次以上。否則，將導致未定義的行為(undefined behavior)

1.     int i = 7;
   
2.     int j = ++i + i++;

複製代碼

(2) 你也不可以在一個運算式(expression)中，對一個基本型態的變數修改其值，
    而且還在同一個式子的其他地方為了其他目的而存取該變數的值。（其他目的，
    是指不是為了計算這個變數的新值的目的）。否則，將導致未定義的行為。ex:

1.     int arr[5];
   
2.     int i = 0;
   
3.     arr[i] = i++;

複製代碼

我覺得 undefined 是認為符合 (2) 之原則，這部份可能我對它沒有很完全的了解吧....




...

瀏覽完整內容，請先 註冊 或 登入會員

iseeyou

我只能說. 考試考這個. 我自動放棄此題.
要是是公職考試考這個. 我自認無緣當公務員.

kaworucloud

EdisonX 發表於 2012-10-8 09:40 PM

下載: 訪客無法瀏覽下載點，請先 註冊 或 登入會員

先謝謝 kaworucloud 詳細解說，這題是 well-defined 還是 undefined ，
現在我也疑惑了 Orz

那個例子的 define 後半被 cut 掉了

1. #define    CUBE(x)    (x)*(x)*(x)

複製代碼

你的(1)跟(2)前提都不對
並不是一個 expression 之中，而是兩個相鄰的 sequence point 之間
一個 expression 有可能包含複數個 sequence points

以 (2) 來看
--a-b==+b<<2 之中 a 並無用於計算 a 新值之外的目的
a+= (b++)/2 之中 b 也無用於計算 b 新值之外的目的

---------------
關於 sequence points 這篇對岸的文章整理得挺詳細的，至少標準中重點部分的原文都有列上

下載: 訪客無法瀏覽下載點，請先 註冊 或 登入會員

...

瀏覽完整內容，請先 註冊 或 登入會員

EdisonX

kaworucloud 發表於 2012-10-9 11:31 AM

下載: 訪客無法瀏覽下載點，請先 註冊 或 登入會員

那個例子的 define 後半被 cut 掉了你的(1)跟(2)前提都不對
並不是一個 expression 之中，而是兩個相鄰的 ...

...

瀏覽完整內容，請先 註冊 或 登入會員

TKCS

考優先權的立意是好
但是這種寫法外面會用的也很少巴==