• SavvyWolf@pawb.social
    link
    fedilink
    English
    arrow-up
    59
    arrow-down
    1
    ·
    1 month ago

    You actually shouldn’t do this!

    This doesn’t introduce a new scope, so accidentally using x outside of the case block is UB. Instead you should introduce a new scope like so:

    switch (foo)  {
      case BAZ: {
        int x = ...;
        foobar(x);
      }
    }
    
    • Victor@lemmy.world
      link
      fedilink
      arrow-up
      5
      ·
      1 month ago

      Is “case expr:” really a label? You could put anything in there, like “case 42:”. I don’t see a label, but maybe I don’t know what a label is in C.

      • TwilightKiddy@scribe.disroot.org
        link
        fedilink
        English
        arrow-up
        1
        ·
        1 month ago

        In C# it’s certainly a label, it’s the same syntax and you can also jump to them with goto, which is actually very convenient sometimes. As far as I know this is an ancient feature and seeing how early C# was mostly inspired by C, I would expect it to behave the same way there.

        • Victor@lemmy.world
          link
          fedilink
          arrow-up
          1
          ·
          edit-2
          1 month ago

          What?

          If I have a case 42: in C#, I can issue a goto 42 and resume execution after that case? Or how would that work?

          From what I know, labels are only an identifier followed by a colon, like:

          stop: printf("stopped.\n");
          

          Or just the label and colon on one line and statements following on subsequent lines. I’ve never seen a switch case expression being called a “label”. Very new to me. Would love to see a minimal demonstration example. 🙏

          Edit: huh, I guess you can.

          • TwilightKiddy@scribe.disroot.org
            link
            fedilink
            English
            arrow-up
            3
            ·
            1 month ago

            Yes, you would do goto case 42;
            From MSDN:

            private static decimal CalculatePrice(CoffeeChoice choice)
            {
                decimal price = 0;
                switch (choice)
                {
                    case CoffeeChoice.Plain:
                        price += 10.0m;
                        break;
            
                    case CoffeeChoice.WithMilk:
                        price += 5.0m;
                        goto case CoffeeChoice.Plain;
            
                    case CoffeeChoice.WithIceCream:
                        price += 7.0m;
                        goto case CoffeeChoice.Plain;
                }
                return price;
            }
            
  • treadful@lemmy.zip
    link
    fedilink
    English
    arrow-up
    17
    ·
    1 month ago

    What does assigning ... do in C? Is that just default type value or something?

  • calcopiritus@lemmy.world
    link
    fedilink
    arrow-up
    4
    ·
    1 month ago

    Can confirm. I have to do this all the time. Some coworkers just delete it, and I have to explain the situation every time when they see in the git blame that I put that semicolon there.

    As someone pointed out in another comment, in switch statements you should just start a new scope with {}. But in actual labels it’s just better to put a load-bearing semicolon. You don’t need to put it in another line though, I just put them like this:

    int main() {
        int *a = malloc(sizeof(*a));
        if (init_a(a) <= 0) {
            goto err;
        }
        do_something(a);
    err:;
        int ret = 0;
        if (a == NULL) {
            ret = -1;
        }
        free(a);
        return ret;
    }