• GissaMittJobb@lemmy.ml
    link
    fedilink
    arrow-up
    8
    ·
    7 months ago

    Having an asterisk both be the type indicator and the dereference operator is one of the great programming language design blunders of our time, along with allowing nulls for any type in so many languages.

    • darkpanda@lemmy.ca
      link
      fedilink
      arrow-up
      2
      ·
      7 months ago

      I also sometimes wish that the syntax in if statements was inverted, where () was optional and {} was required.

        • darkpanda@lemmy.ca
          link
          fedilink
          arrow-up
          2
          ·
          edit-2
          7 months ago

          The code in the image is C or C++ or similar. In those languages and languages derived from them, curly braces are optional but the parentheses are required. It should be the other way around to avoid logic errors like this:

          if (some expression)
            doSomething()
          else if (some other expression)
            printf(“some debugging code that’s only here temporarily”);
            doSomethingElse();
          

          Based on the indentation you’d think that doSomethingElse was only meant to run if the else if condition was true, but because of the lack of braces and the printf it actually happens regardless of either of the if conditions. This can sometimes lead to logic errors and it doesn’t hold up to a principle of durability under edit — that is, inserting some code into the if statement changes the outcome entirely because it changes the code path entirely, so the code is in a sense fragile to edits. If the curly braces were required instead of optional, this wouldn’t happen.

          I have all of my linters set up to flag a lack of curly braces in these languages as an error because of this. It’s a topic that sometimes causes some debate, ‘cause some people will vociferously defend their right to not have the braces there for one liners and more compact code, but I have found that in general having them be required consistently has led to fewer issues than having arguments about their absence, but to each their own. I know many big projects that have the opposite stance or have other guidelines, but I just make ‘em required on my own projects or projects that I’m in charge of and be done with it.

        • noli@programming.dev
          link
          fedilink
          arrow-up
          1
          ·
          7 months ago

          if(condition) statement; Is valid in typical C-style syntax.

          if condition { … }

          Is invalid in typical C-style syntax

      • GissaMittJobb@lemmy.ml
        link
        fedilink
        arrow-up
        2
        ·
        7 months ago

        Because of the possibility of accidentally performing an assignment in a conditional expression?

        If yes, I agree that it’s not great.

    • sweng@programming.dev
      link
      fedilink
      arrow-up
      5
      ·
      edit-2
      7 months ago

      You would think so, but int* a, b is actually eqivalent to int* a; int b, so the asterisk actually does go with the name. Writing int* a, *b is inconsistent, so int *a, *b is the way to go.

      • newH0pe@feddit.de
        link
        fedilink
        arrow-up
        4
        ·
        7 months ago

        Yeah, and I’d say that’s a design flaw of the language as it is unintuitive behaviour.

      • blackstrat@lemmy.fwgx.uk
        link
        fedilink
        arrow-up
        3
        ·
        7 months ago

        While technically true, that’s also one of the worst ‘features’ of the language and I personally consider it a bug in the language. Use two lines and make it clear and correct.

      • Slotos@feddit.nl
        link
        fedilink
        arrow-up
        2
        ·
        7 months ago

        When people say “pointers are hard”, they mean “I have no idea where the star goes and now an ampersand is also implicated”.

    • Traister101@lemmy.today
      link
      fedilink
      arrow-up
      0
      ·
      edit-2
      7 months ago

      It’s part of the type yet it’s also a unique identifier. That’s the whole thing with east or west const. const int * is a immutable mutable pointer that points to mutable immutable memory. int *const is a mutable immutable pointer that points to immutable memory. int const * is the same type as the first example, a immutable mutable pointer that points to mutable immutable memory.

      Same stuff applies to references which makes it easier to think of the variable owning the * or & as if you want that pointer or reference to be const it has to go after.

      Edit:I am a moron who managed to get it exactly backwards :|

        • SpaceNoodle@lemmy.world
          link
          fedilink
          arrow-up
          1
          ·
          7 months ago

          I wrote a couple unholy lines of C++ the other day using the ternary conditional operator to select a class member function to be called with a fixed argument.

          I think my teammates were too scared to call me out on it.

  • dbilitated@aussie.zone
    link
    fedilink
    arrow-up
    1
    arrow-down
    1
    ·
    7 months ago

    I’m just a c# dev wishing to fuck we had something visual to indicate reference types so my coworkers could stop misusing them