จุดประสงค์ของ g ++ -Wreorder คืออะไร

ตัวเลือก g ++ -Wall รวมถึง - คำสั่งซื้อ ตัวเลือกนี้ทำอะไรอธิบายไว้ด้านล่าง ไม่ชัดเจนสำหรับฉันว่าทำไมบางคนถึงสนใจ (โดยเฉพาะอย่างยิ่งพอที่จะเปิดใช้งานตามค่าเริ่มต้นใน -Wall)

- คำสั่งซื้อ (C ++ เท่านั้น)
  เตือนเมื่อลำดับของสมาชิกเริ่มต้นที่กำหนดในรหัสไม่ได้
  ตรงกับคำสั่งที่พวกเขาจะต้องดำเนินการ ตัวอย่างเช่น

    struct A {
      int i;
      int j;
      A (): j (0), i (1) {}
    };

  คอมไพเลอร์จะจัดเรียง initializers สมาชิกใหม่สำหรับ i และ j to
  ตรงกับคำสั่งประกาศของสมาชิกปล่อยเตือนไปที่
  ผล คำเตือนนี้เปิดใช้งานโดย -Wall

พิจารณา:

struct A {
    int i;
    int j;
    A() : j(0), i(j) { }
};

ตอนนี้iเริ่มต้นเป็นค่าที่ไม่รู้จักบางอย่างไม่เป็นศูนย์

อีกวิธีหนึ่งการเริ่มต้นของiอาจมีผลข้างเคียงบางอย่างซึ่งเป็นเรื่องสำคัญ เช่น

A(int n) : j(n++), i(n++) { }

ปัญหาคือใครบางคนอาจเห็นรายการของผู้เริ่มต้นสมาชิกในตัวสร้างและคิดว่าพวกเขากำลังดำเนินการตามลำดับ (j ก่อนแล้ว i) พวกเขาไม่ได้พวกเขาจะดำเนินการตามลำดับที่สมาชิกกำหนดไว้ในชั้นเรียน

A(): j(0), i(j) {}สมมติว่าคุณเขียน บางคนอาจอ่านมันและคิดว่าฉันลงท้ายด้วยค่า 0 มันไม่ได้เพราะคุณเริ่มต้นด้วย j ซึ่งมีขยะเพราะมันไม่ได้ถูกกำหนดค่าเริ่มต้น

คำเตือนเตือนให้คุณเขียนA(): i(j), j(0) {}ซึ่งหวังว่าจะดูคาวมากขึ้น

คำตอบอื่น ๆ ได้ให้ตัวอย่างที่ดีบางอย่างที่ปรับตัวเลือกสำหรับการเตือน ฉันคิดว่าฉันจะให้บริบททางประวัติศาสตร์บางอย่าง ผู้สร้าง C ++, Bjarne Stroustrup อธิบายในหนังสือของเขาภาษาการเขียนโปรแกรม C ++ (รุ่นที่ 3, หน้า 259):

ตัวสร้างของสมาชิกจะถูกเรียกใช้ก่อนที่จะดำเนินการเนื้อความของตัวสร้างคลาสที่มีอยู่ คอนสตรัคเตอร์จะถูกเรียกในลำดับที่พวกเขาถูกประกาศในชั้นเรียนมากกว่าลำดับที่พวกเขาปรากฏในรายการ initializer เพื่อหลีกเลี่ยงความสับสนที่ดีที่สุดคือการระบุ initializers ในลำดับการประกาศ destructors สมาชิกถูกเรียกในลำดับย้อนกลับของการก่อสร้าง

สิ่งนี้สามารถกัดคุณได้หากผู้เริ่มต้นมีผลข้างเคียง พิจารณา:

int foo() {
    puts("foo");
    return 1;
}

int bar() {
    puts("bar");
    return 2;
}

struct baz {
    int x, y;
    baz() : y(foo()), x(bar()) {}
};

ด้านบนจะพิมพ์ "บาร์" จากนั้น "foo" ถึงแม้ว่าโดยสังเขปอย่างใดอย่างหนึ่งจะถือว่าคำสั่งนั้นเขียนไว้ในรายการเริ่มต้น

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

นอกจากนี้ยังสามารถแสดงรายการตัวเองเมื่อ initializer สำหรับสมาชิกคนหนึ่งอ้างอิงสมาชิกอีกคน

คำเตือนที่มีอยู่เพราะถ้าคุณเพิ่งอ่านสร้างดูเหมือนว่าจะได้รับการเริ่มต้นก่อนj iปัญหานี้จะกลายเป็นปัญหาหากมีการใช้งานเพื่อเริ่มต้นอื่น ๆ เช่นเดียวกับใน

struct A {
  int i;
  int j;
  A(): j (0), i (this->j) { }
};

เมื่อคุณดูที่นวกรรมิกมันดูปลอดภัย แต่ในความเป็นจริงjยังไม่ได้เริ่มต้น ณ จุดที่ใช้ในการเริ่มต้นiและรหัสจะไม่ทำงานตามที่คาดไว้ ดังนั้นการเตือน