i = อะไร (i, ++ i, 1) + 1; ทำ?

หลังจากอ่านคำตอบนี้เกี่ยวกับพฤติกรรมที่ไม่ได้กำหนดและจุดลำดับฉันได้เขียนโปรแกรมขนาดเล็ก:

#include <stdio.h>

int main(void) {
  int i = 5;
  i = (i, ++i, 1) + 1;
  printf("%d\n", i);
  return 0;
}

2เอาท์พุทเป็น โอ้พระเจ้าฉันไม่เห็นการลดลงมา! เกิดอะไรขึ้นที่นี่

นอกจากนี้ในขณะที่รวบรวมโค้ดข้างต้นฉันได้รับคำเตือนว่า:

px.c: 5: 8: คำเตือน: ตัวถูกดำเนินการทางซ้ายของนิพจน์จุลภาคไม่มีผลใด ๆ

  [-Wunused-value]   i = (i, ++i, 1) + 1;
                        ^

ทำไม? แต่อาจจะตอบโดยอัตโนมัติโดยคำตอบของคำถามแรกของฉัน

ในนิพจน์(i, ++i, 1)เครื่องหมายจุลภาคที่ใช้คือตัวดำเนินการเครื่องหมายจุลภาค

ตัวดำเนินการเครื่องหมายจุลภาค (แสดงโดยโทเค็น,) เป็นตัวดำเนินการไบนารีที่ประเมินตัวถูกดำเนินการแรกและทิ้งผลลัพธ์จากนั้นประเมินตัวถูกดำเนินการที่สองและส่งกลับค่านี้ (และประเภท)

เนื่องจากมันทิ้งตัวถูกดำเนินการตัวแรกโดยทั่วไปจะมีประโยชน์เฉพาะเมื่อตัวถูกดำเนินการตัวแรกมีผลข้างเคียงที่ต้องการ หากไม่มีผลข้างเคียงกับตัวถูกดำเนินการตัวแรกคอมไพเลอร์อาจสร้างคำเตือนเกี่ยวกับนิพจน์โดยไม่มีผลกระทบ

ดังนั้นในนิพจน์ด้านบนซ้ายสุดiจะถูกประเมินและมูลค่าของมันจะถูกทิ้ง จากนั้น++iจะมีการประเมินและจะเพิ่มiขึ้น 1 ครั้งและอีกครั้งค่าของนิพจน์ที่++iจะถูกทิ้งแต่ผลข้างเคียงที่จะiเป็นแบบถาวร จากนั้นจะมีการประเมินและความคุ้มค่าของการแสดงออกจะเป็น 11

มันเทียบเท่ากับ

i;          // Evaluate i and discard its value. This has no effect.
++i;        // Evaluate i and increment it by 1 and discard the value of expression ++i
i = 1 + 1;  

โปรดทราบว่าการแสดงออกดังกล่าวข้างต้นถูกต้องสมบูรณ์และไม่ก่อให้เกิดพฤติกรรมที่ไม่ได้กำหนดเพราะมีจุดลำดับระหว่างการประเมินผลการดำเนินการด้านซ้ายและขวาของผู้ประกอบการเครื่องหมายจุลภาค

การอ้างอิงจากC11, บท6.5.17, เครื่องหมายจุลภาค

ตัวถูกดำเนินการทางซ้ายของโอเปอเรเตอร์คอมม่าถูกประเมินเป็นนิพจน์โมฆะ มีจุดลำดับระหว่างการประเมินกับตัวถูกดำเนินการด้านขวา จากนั้นจะทำการประเมินตัวถูกดำเนินการที่เหมาะสม ผลลัพธ์มีประเภทและค่าของมัน

ดังนั้นในกรณีของคุณ

(i, ++i, 1)

ได้รับการประเมินว่าเป็น

1. iได้รับการประเมินว่าเป็นโมฆะนิพจน์ค่าที่ถูกทิ้ง
2. ++iได้รับการประเมินว่าเป็นโมฆะนิพจน์ค่าที่ถูกทิ้ง
3. ในที่สุด1มูลค่าที่ส่งคืน

ดังนั้นคำสั่งสุดท้ายดูเหมือนว่า

i = 1 + 1;

และได้รับการi 2ฉันเดาคำตอบนี้ทั้งสองคำถามของคุณ

• วิธีการiรับค่า 2?
• เหตุใดจึงมีข้อความเตือน

หมายเหตุ: FWIW เนื่องจากมีจุดลำดับอยู่หลังจากการประเมินตัวถูกดำเนินการทางซ้ายการแสดงออกเช่น(i, ++i, 1)นี้จะไม่เรียก UB เนื่องจากคนทั่วไปอาจคิดผิด

i = (i, ++i, 1) + 1;

มาวิเคราะห์กันทีละขั้นตอน

(i,   // is evaluated but ignored, there are other expressions after comma
++i,  // i is updated but the resulting value is ignored too
1)    // this value is finally used
+ 1   // 1 is added to the previous value 1

ดังนั้นเราจึงได้รับ 2. และการมอบหมายขั้นสุดท้ายตอนนี้:

i = 2;

สิ่งที่อยู่ในฉันก่อนที่มันจะถูกเขียนทับในตอนนี้

ผลของการ

(i, ++i, 1)

คือ

1

สำหรับ

(i,++i,1) 

การประเมินเกิดขึ้นเช่นว่า,ผู้ประกอบการทิ้งมูลค่าการประเมินและจะรักษาเพียงมูลค่าที่เหมาะสมที่สุดซึ่งก็คือ1

ดังนั้น

i = 1 + 1 = 2

คุณจะได้พบบางอย่างการอ่านที่ดีในหน้าวิกิพีเดียสำหรับผู้ประกอบการจุลภาค

โดยทั่วไปมัน

... ประเมินค่าตัวถูกดำเนินการแรกและทิ้งผลลัพธ์แล้วประเมินค่าตัวถูกดำเนินการตัวที่สองและส่งคืนค่านี้ (และประเภท)

ซึ่งหมายความว่า

(i, i++, 1)

ในที่สุดก็จะประเมินiทิ้งผลประเมินทิ้งผลและประเมินผลการศึกษาแล้วและผลตอบแทนi++1

คุณต้องรู้ว่าตัวดำเนินการจุลภาคกำลังทำอะไรที่นี่:

การแสดงออกของคุณ:

(i, ++i, 1)

นิพจน์แรกi, ได้รับการประเมิน, นิพจน์ที่สอง++i, ได้รับการประเมินและนิพจน์ที่สาม1จะถูกส่งคืนสำหรับนิพจน์ทั้งหมด

i = 1 + 1ดังนั้นผลที่ได้คือ:

สำหรับคำถามโบนัสของคุณอย่างที่เห็นนิพจน์แรกiนั้นไม่มีผลเลยคอมไพเลอร์ก็บ่น

เครื่องหมายจุลภาคมีความสำคัญ 'แบบผกผัน' นี่คือสิ่งที่คุณจะได้รับจากหนังสือเก่าและคู่มือ C จาก IBM (70s / 80s) ดังนั้น 'คำสั่ง' สุดท้ายคือสิ่งที่ใช้ในการแสดงออกของผู้ปกครอง

ในปัจจุบัน C การใช้งานของมันแปลก แต่น่าสนใจมากใน C เก่า (ANSI):

do { 
    /* bla bla bla, consider conditional flow with several continue's */
} while ( prepAnything(), doSomethingElse(), logic_operation);

ในขณะที่การดำเนินการทั้งหมด (ฟังก์ชั่น) ถูกเรียกใช้จากซ้ายไปขวาเฉพาะการแสดงออกครั้งสุดท้ายเท่านั้นที่จะถูกใช้เป็นผลมาจากเงื่อนไข 'ขณะที่' วิธีนี้ช่วยป้องกันการจัดการ 'goto's เพื่อให้บล็อกคำสั่งที่ไม่ซ้ำกันทำงานก่อนการตรวจสอบสภาพ

แก้ไข: นี่หลีกเลี่ยงการเรียกไปยังฟังก์ชั่นการจัดการซึ่งสามารถดูแลตรรกะทั้งหมดทางด้านซ้ายของตัวถูกดำเนินการและกลับผลลัพธ์ตรรกะ โปรดจำไว้ว่าเราไม่ได้ทำงานแบบอินไลน์ในอดีตที่ผ่านมาของ C ดังนั้นสิ่งนี้สามารถหลีกเลี่ยงค่าใช้จ่ายการโทร