ถูกต้อง แต่ไม่มีค่าไวยากรณ์ในตัวพิมพ์สลับหรือไม่

จากการพิมพ์ผิดเล็กน้อยฉันพบโครงสร้างนี้โดยบังเอิญ:

int main(void) {
    char foo = 'c';

    switch(foo)
    {
        printf("Cant Touch This\n");   // This line is Unreachable

        case 'a': printf("A\n"); break;
        case 'b': printf("B\n"); break;
        case 'c': printf("C\n"); break;
        case 'd': printf("D\n"); break;
    }

    return 0;
}

ดูเหมือนว่าprintfที่ด้านบนของswitchคำสั่งนั้นถูกต้อง แต่ก็ไม่สามารถเข้าถึงได้อย่างสมบูรณ์

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

คอมไพเลอร์ควรตั้งค่าสถานะนี้ว่าเป็นรหัสที่ไม่สามารถเข้าถึงได้หรือไม่
สิ่งนี้มีจุดประสงค์หรือไม่?

อาจไม่ใช่สิ่งที่มีประโยชน์ที่สุด แต่ก็ไม่ไร้ค่าอย่างสมบูรณ์ คุณสามารถใช้มันเพื่อประกาศตัวแปรท้องถิ่นที่มีอยู่ภายในswitchขอบเขต

switch (foo)
{
    int i;
case 0:
    i = 0;
    //....
case 1:
    i = 1;
    //....
}

มาตรฐาน ( N1579 6.8.4.2/7) มีตัวอย่างต่อไปนี้:

ตัวอย่างในส่วนของโปรแกรมประดิษฐ์

switch (expr)
{
    int i = 4;
    f(i);
case 0:
    i = 17;
    /* falls through into default code */
default:
    printf("%d\n", i);
}

วัตถุที่มีตัวระบุiอยู่ด้วยระยะเวลาการจัดเก็บอัตโนมัติ (ภายในบล็อก) แต่ไม่เคยเริ่มต้นและดังนั้นถ้าการแสดงออกการควบคุมมีค่าที่ไม่ใช่ศูนย์การเรียกไปยังprintfฟังก์ชั่นจะเข้าถึงค่าไม่แน่นอน ในทำนองเดียวกันการโทรไปยังฟังก์ชั่นfไม่สามารถเข้าถึงได้

PS BTW ตัวอย่างไม่ถูกต้องรหัส C ++ ในกรณีนั้น ( N4140 6.7/3เน้นการเน้นของฉัน):

โปรแกรมที่กระโดด⁹⁰จากจุดที่ตัวแปรที่มีระยะเวลาการจัดเก็บอัตโนมัติไม่อยู่ในขอบเขตไปยังจุดที่อยู่ในขอบเขตจะเกิดขึ้นไม่ดีเว้นแต่ตัวแปรนั้นมีประเภทสเกลาร์ , ประเภทคลาสที่มีคอนสตรัคค่าเริ่มต้นเล็กน้อย เวอร์ชันที่ผ่านการรับรอง cv ของหนึ่งในประเภทเหล่านี้หรืออาร์เรย์หนึ่งในชนิดก่อนหน้านี้และถูกประกาศโดยไม่มี initializer (8.5)

---

^{90) การโอนจากเงื่อนไขของswitchคำสั่งไปยังฉลากกรณีถือว่าเป็นการกระโดดในส่วนนี้}

ดังนั้นการแทนที่int i = 4;ด้วยint i;ทำให้มันเป็น C ++ ที่ถูกต้อง

สิ่งนี้มีจุดประสงค์หรือไม่?

ใช่. หากคุณไม่ใส่คำแถลงคุณต้องวางคำแถลงไว้ก่อนหน้าป้ายกำกับแรกซึ่งจะทำให้รู้สึกว่าสมบูรณ์:

switch (a) {
  int i;
case 0:
  i = f(); g(); h(i);
  break;
case 1:
  i = g(); f(); h(i);
  break;
}

กฎสำหรับการประกาศและคำสั่งนั้นใช้ร่วมกันสำหรับบล็อกโดยทั่วไปดังนั้นจึงเป็นกฎเดียวกันกับที่อนุญาตให้มีคำสั่งที่นั่นด้วย

ถ้าพูดถึงประโยคแรกคือโครงสร้างลูปฉลากเคสอาจปรากฏในเนื้อความลูป:

switch (i) {
  for (;;) {
    f();
  case 1:
    g();
  case 2:
    if (h()) break;
  }
}

โปรดอย่าเขียนรหัสเช่นนี้หากมีวิธีการเขียนที่อ่านง่ายขึ้น แต่มันใช้ได้อย่างสมบูรณ์และสามารถf()โทรได้

มีการใช้ที่มีชื่อเสียงของสิ่งนี้เรียกว่า อุปกรณ์ของดัฟฟ์

int n = (count+3)/4;
switch (count % 4) {
  do {
    case 0: *to = *from++;
    case 3: *to = *from++;
    case 2: *to = *from++;
    case 1: *to = *from++;
  } while (--n > 0);
}

ที่นี่เราคัดลอกบัฟเฟอร์ชี้ไปตามการบัฟเฟอร์ชี้ไปตามfrom toเราคัดลอกcountอินสแตนซ์ของข้อมูล

do{}while()คำสั่งเริ่มต้นก่อนคนแรกที่caseป้ายและป้ายชื่อที่ฝังอยู่ภายในcasedo{}while()

สิ่งนี้จะช่วยลดจำนวนสาขาที่มีเงื่อนไขที่ส่วนท้ายของdo{}while()ลูปที่พบโดยปัจจัย 4 อย่างคร่าว ๆ (ในตัวอย่างนี้ค่าคงที่สามารถปรับได้ตามมูลค่าที่คุณต้องการ)

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

โดยทั่วไปการประกาศตัวแปรสามารถเกิดขึ้นได้ที่นั่นและใช้ในทุกกรณี แต่อยู่นอกขอบเขตหลังจากสวิตช์สิ้นสุด (โปรดทราบว่าการเริ่มต้นจะถูกข้ามไป)

gotoนอกจากนี้ในการควบคุมการไหลที่ไม่ได้เปลี่ยนเฉพาะได้รับคุณเป็นส่วนหนึ่งของสวิทช์บล็อกที่เป็นภาพประกอบข้างต้นหรือมี

สมมติว่าคุณใช้ gcc บน Linux จะมีคำเตือนถ้าคุณใช้ 4.4 หรือรุ่นก่อนหน้า

ตัวเลือก -Wunreachable-code ถูกลบใน gcc 4.4เป็นต้นไป

ไม่เพียง แต่สำหรับการประกาศตัวแปร แต่การกระโดดขั้นสูงเช่นกัน คุณสามารถใช้มันได้ดีถ้าหากว่าคุณไม่ชอบรหัสสปาเก็ตตี้

int main()
{
    int i = 1;
    switch(i)
    {
        nocase:
        printf("no case\n");

        case 0: printf("0\n"); break;
        case 1: printf("1\n"); goto nocase;
    }
    return 0;
}

พิมพ์

1
no case
0 /* Notice how "0" prints even though i = 1 */

ควรสังเกตว่าตัวเรือนสวิตช์เป็นหนึ่งในส่วนคำสั่งการควบคุมที่เร็วที่สุด ดังนั้นจะต้องมีความยืดหยุ่นสูงต่อโปรแกรมเมอร์ซึ่งบางครั้งก็เกี่ยวข้องกับกรณีเช่นนี้

ควรสังเกตว่าไม่มีข้อ จำกัด ทางโครงสร้างในรหัสภายในswitchข้อความสั่งหรือบนcase *:ฉลากที่วางอยู่ภายในรหัสนี้ * ทำให้เทคนิคการเขียนโปรแกรมเช่นอุปกรณ์ดัฟฟ์เป็นไปได้หนึ่งในการดำเนินการที่เป็นไปได้ซึ่งมีลักษณะเช่นนี้:

int n = ...;
int iterations = n/8;
switch(n%8) {
    while(iterations--) {
        sum += *ptr++;
        case 7: sum += *ptr++;
        case 6: sum += *ptr++;
        case 5: sum += *ptr++;
        case 4: sum += *ptr++;
        case 3: sum += *ptr++;
        case 2: sum += *ptr++;
        case 1: sum += *ptr++;
        case 0: ;
    }
}

คุณเห็นรหัสระหว่างswitch(n%8) {และcase 7:ฉลากสามารถเข้าถึงได้อย่างแน่นอน ...

* _{ตามที่Supercat ได้กล่าวขอบคุณอย่างชัดเจนในความคิดเห็น : ตั้งแต่ C99 ทั้งgotoฉลากและไม่ว่าจะเป็นcase *:ฉลากหรือไม่ก็ตามอาจปรากฏขึ้นภายในขอบเขตของการประกาศที่มีคำประกาศ VLA ดังนั้นจึงไม่ถูกต้องที่จะบอกว่าไม่มีข้อ จำกัด ทางโครงสร้างในการจัดวางcase *:ฉลาก อย่างไรก็ตามอุปกรณ์ของดัฟฟ์มีมาตรฐาน C99 มาก่อนและไม่ได้ขึ้นอยู่กับ VLA อย่างไรก็ตามฉันรู้สึกว่าถูกบังคับให้ใส่ "ความจริง" ในประโยคแรกของฉันเนื่องจากสิ่งนี้}

คุณได้คำตอบของคุณเกี่ยวกับตัวเลือกที่จำเป็นgcc -Wswitch-unreachableในการสร้างคำเตือนคำตอบนี้คือการอธิบายเกี่ยวกับการใช้งาน / ความมีค่าควรควร

การอ้างถึงโดยตรงC11ตอนที่§6.8.4.2 (การเน้นของฉัน )

switch (expr)
{
int i = 4;
f(i);
case 0:
i = 17;
/* falls through into default code */
default:
printf("%d\n", i);
}

วัตถุที่มีตัวระบุiอยู่ด้วยระยะเวลาการจัดเก็บอัตโนมัติ (ภายในบล็อก) แต่ไม่เคยเริ่มต้นและดังนั้นถ้าการแสดงออกการควบคุมมีค่าที่ไม่ใช่ศูนย์การเรียกไปยังprintf ฟังก์ชั่นจะเข้าถึงค่าไม่แน่นอน ในทำนองเดียวกันการโทรไปยังฟังก์ชั่นfไม่สามารถเข้าถึงได้

ซึ่งอธิบายตนเองได้มาก คุณสามารถใช้สิ่งนี้เพื่อกำหนดตัวแปรที่อยู่ภายในเครื่องซึ่งมีให้เฉพาะภายในswitchขอบเขตคำสั่ง

มีความเป็นไปได้ที่จะใช้ "วนครึ่ง" กับมันแม้ว่ามันอาจจะไม่ใช่วิธีที่ดีที่สุดที่จะทำ:

char password[100];
switch(0) do
{
  printf("Invalid password, try again.\n");
default:
  read_password(password, sizeof(password));
} while (!is_valid_password(password));