• tunetardis@lemmy.ca
    link
    fedilink
    arrow-up
    5
    ·
    1 year ago

    I saw while(i --> 0) in someone else’s code and thought wth is this --> operator? Then I realized it’s while(i-- > 0) and thought cool, I gotta do this!

    • Jamie@jamie.moe
      link
      fedilink
      arrow-up
      2
      ·
      1 year ago

      If you’re in a language that doesn’t care about integer overflow it does. Tried it in C and turned off compiler optimization for good measure. Still counted fine. It’s not a good idea, but it does work.

      • argv_minus_one@beehaw.org
        link
        fedilink
        arrow-up
        1
        ·
        edit-2
        1 year ago

        Huh. I had to think about it for a moment, but you’re right. If the two’s-complement representation of -1 is reinterpreted as an unsigned integer and added to another unsigned integer of the same size, it’ll wrap all the way around, effectively adding -1.

        It’s an interesting property of two’s complement that you don’t usually think about when you’re using a strongly-typed language where such shenanigans aren’t allowed. I imagine compiler and assembly people are well aware of it, though.


        For anyone following along and wondering how this works, here’s a quick explanation. Suppose you’ve got a device that can calculate the sum of any two integers between 0 and 99. If it calculates a sum greater than 99, it wraps around. For example, if you tell it to calculate 99 + 1, you get 0.

        Now, suppose you want to add negative integers with this thing. You’ll pretend that 99 actually means -1, 98 actually means -2, and so on, for every number between 50 and 99. 0 through 49 will represent positive numbers, and 50 through 99 will represent negative numbers.

        So, what if you add 5 and -1? Well, 5 is itself, -1 is 99, and the device wraps around when it calculates a sum greater than 99, so if you add 5 and 99, you get…4! It correctly adds your pretend negative numbers without you having to do anything extra.

        This is pretty much the same as how computers work, except binary instead of decimal.

        • barsoap@lemm.ee
          link
          fedilink
          arrow-up
          1
          ·
          1 year ago

          That stuff working is pretty much the point of two’s complement: You can use the same circuitry for addition and subtraction that’s why everyone settled on it.

  • mfz@kbin.social
    link
    fedilink
    arrow-up
    1
    ·
    1 year ago

    Isn’t the evaluated value different from the expression? i++ returns the value of i before increasing. i-=-1 would return the value after it has been increased. Wouldn’t it be more correct to make it equal to ++i

    • Jamie@jamie.moe
      link
      fedilink
      arrow-up
      0
      ·
      1 year ago

      I gave it a shot in Compiler Explorer, with the following code:

      #include <stdio.h>
      
      int main() {
        for (int i = 0; i < 10; i -= -1) {
          printf("%d", i);
        }
      }
      

      GCC takes the i-=-1 and optimizes it into ADD DWARD PTR [rbp-4], 1, and changing it around to ++i or i++ makes no difference.

      So, at least in C and C++, it works all the same. Even on unsigned integers.

      • mfz@kbin.social
        link
        fedilink
        arrow-up
        1
        ·
        1 year ago

        It works the same because the value of the last expression in the for loop is not used for anything. It’s the side effect of that statement that counts. Eg, the value of i is checked the next time the for loop is executed by the condition check. Try replacing i in the condition check instead with i++ or ++i and you would see different results.

        Something like: for (int i = 0; ++i < 10;) { ... }

    • maiskanzler@feddit.de
      link
      fedilink
      arrow-up
      0
      ·
      1 year ago

      And that’s why post- and pre-increment is non-existant in Python and Rust. It’s an easy source for bugs for a noncritical abbreviation🤷

      • Knusper@feddit.de
        link
        fedilink
        arrow-up
        0
        arrow-down
        1
        ·
        1 year ago

        They’re especially also a source of bugs, because they encourage manually incrementing indices and manually accessing array positions, which is almost never actually sensible.

    • Knusper@feddit.de
      link
      fedilink
      arrow-up
      0
      ·
      1 year ago

      In the languages I know, i-=-1 or x=3 are not expressions, but rather statements, so they do not evaluate to a value.

      So, this would be a compiler error:

      a = (x=3)