There is an other.
int * p;
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.
I also sometimes wish that the syntax in if
statements was inverted, where ()
was optional and {}
was required.
Can you give me an example? I’m not sure I follow. Might be language specific?
if(condition) statement; Is valid in typical C-style syntax.
if condition { … }
Is invalid in typical C-style syntax
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.
Because of the possibility of accidentally performing an assignment in a conditional expression?
If yes, I agree that it’s not great.
The fact it’s a pointer is part of the type, not part of the variable name. So int* p
is the way.
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.
When people say “pointers are hard”, they mean “I have no idea where the star goes and now an ampersand is also implicated”.
That’s the part where you give up and randomly shove/unshove symbols in until the code works.
Then again, at least in C, the mantra is “declaration follows usage”. Surely you don’t write pointer dereferences as * ptr
? Most likely not, you most likely write it as *ptr
. The idea behind the int *ptr;
syntax is basically that when you do *ptr
, you get an int
.
And with this idea, stuff like function pointers (int (*f)(void)
), arrays of pointers (int *a[10]
) versus pointers of arrays (int (*a)[10]
) etc. start making sense. It’s certainly not the best way to design the syntax, and I’m as much a fan of the Pascal-styled “type follows the identifier” syntax (e.g. let x: number;
) as anyone, but the C way does have a rhyme and a reason for the way it is.
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 :|
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.
I think you’ve got it backwards. I learned to read pointer decls from right-to-left, so const int *
is a (mutable) pointer to an int which is const while int *const
is a const pointer to a (mutable) int.
I do this in my code because it looks better and makes more sense…until I decide to declare 2 vars on one line and then I use the very cursed int* a, *b
I don’t code much C++, but then I’d lose alignment with: x = *p;
and I feel that would bug me.
I’m looking at Google Style Guide for my next project and it says either is fine, just don’t declare more than one per line.
std::shared_ptr<int> p;
I’m just a c# dev wishing to fuck we had something visual to indicate reference types so my coworkers could stop misusing them