- cross-posted to:
- programming@programming.dev
- cross-posted to:
- programming@programming.dev
- lysdexic ( @lysdexic@programming.dev ) English9•2 months ago
From the article.
Josh Aas, co-founder and executive director of the Internet Security Research Group (ISRG), which oversees a memory safety initiative called Prossimo, last year told The Register that while it’s theoretically possible to write memory-safe C++, that’s not happening in real-world scenarios because C++ was not designed from the ground up for memory safety.
That baseless claim doesn’t pass the smell check. Just because a feature was not rolled out in the mid-90s would that mean that it’s not available today? Utter nonsense.
If your paycheck is highly dependent on pushing a specific tool, of course you have a vested interest in diving head-first in a denial pool.
But cargo cult mentality is here to stay.
- lad ( @sukhmel@programming.dev ) English13•2 months ago
I think, the idea was along the lines of “because C++ was not memory-safe, and it has to stay compatible with how it was, there are still a lot of ways to not write memory-safely”
This makes sense, there are memory-safely features available but there are a lot of programmers that will never willingly use that features, because the olden ways are surely better
Other than that, I agree, when you’re paid to fix an unfixable problem you will probably claim something like that and advocate for your solution being the only one that solves this
- 0x0 ( @0x0@programming.dev ) 3•2 months ago
there are a lot of programmers that will never willingly use that features, because the olden ways are surely better
Found the rust shill.
- lad ( @sukhmel@programming.dev ) English3•2 months ago
If you want everyone to stop trying to shove Rust everywhere, just use smart pointers more. I may somehow get over Rust not replacing every other language if those languages will be safe
- nous ( @nous@programming.dev ) English11•2 months ago
Just because a feature was not rolled out in the mid-90s would that mean that it’s not available today?
Adding a feature is one thing, C++ has added a lot of memory safety features over the years. The problem with C++ is it still allows a lot of unsafe ways of working with memory that previous projects used and people still use now. Removing support for these features will break existing code and piss a lot of people off in the process. It is not about adding new features, but removing the unsafe existing features that they are talking about here.
- lysdexic ( @lysdexic@programming.dev ) English2•2 months ago
The problem with C++ is it still allows a lot of unsafe ways of working with memory that previous projects used and people still use now.
Why do you think this is a problem? We have a tool that gives everyone the freedom to manage resources the way it suits their own needs. It even went as far as explicitly supporting garbage collectors right up to C++23. Some frameworks adopted and enforced their own memory management systems, such as Qt.
Tell me, exactly why do you think this is a problem?
- GetOffMyLan ( @GetOffMyLan@programming.dev ) 12•2 months ago
All the use after free and buffer overflow bugs that plague our key infrastructure.
- FizzyOrange ( @FizzyOrange@programming.dev ) 7•2 months ago
It’s not just that. Debugging segfaults and UB can be an absolute nightmare.
The C++ committee still haven’t learnt their lesson. I recently learnt about C++20 coroutines, which are pretty neat, if complex (there are pretty much no good learning resources about them). However they are still putting unnecessary UB footguns in it.
- lad ( @sukhmel@programming.dev ) English4•2 months ago
Reminds me of how I found some safety measures to be in China some years back, basically those were signs saying “plz don’t fall to your death, if you do it’s your fault”
- lambalicious ( @lambalicious@lemmy.sdf.org ) English1•2 months ago
At least it’s not like Russia, where it’s “plz don’t fall to your death, if you do it’s our fault”…
- lad ( @sukhmel@programming.dev ) English2•2 months ago
I thought a lot of places are like that, that’s why we get all the fences and such 🤔
- bufalo1973 ( @bufalo1973@lemmy.ml ) 1•22 days ago
Maybe a “pragma strict” where every deprecated is an error and not a warning?
- Tobias Hunger ( @hunger@programming.dev ) 9•2 months ago
If you could reliably write memory safe code in C++, why do devs put memory safety issues intontheir code bases then?
Even highly paid (and probably skilled) devs in the IT industry manage to mess that up pretty regularly. Even if it was: devs using memory safe languages make much fewer mistakes wrt. managing memory… so that tooling does seem to help them at least more than the C++ tooling helps the C++ devs.
- lysdexic ( @lysdexic@programming.dev ) English5•2 months ago
If you could reliably write memory safe code in C++, why do devs put memory safety issues intontheir code bases then?
That’s a question you can ask to the guys promoting the adoption of languages marketed based on memory safety arguments. I mean, even Rust has a fair share of CVEs whose root cause is unsafe memory management.
- FizzyOrange ( @FizzyOrange@programming.dev ) 1•2 months ago
No it doesn’t, that’s bullshit.
- lad ( @sukhmel@programming.dev ) English3•2 months ago
Well, there is cve-rs, just sayin’
- robinm ( @robinm@programming.dev ) 3•2 months ago
The fact that rustc has bugs (which is what cve-rs exploit) doesn’t invalidate that rust the language is memory safe.
- scratchee ( @scratchee@feddit.uk ) English6•2 months ago
I think your take is a bit extreme.
Currently their statement (regardless of the questionable justification) is largely correct, no major c++ projects have been written in a safe subset and no real work has really started yet. It isn’t practical.
I do agree with you that a safe form of c++, once fully implemented and not frustrating to use, could easily become viable, the feature can be added. But that’s still years away from practical usage in large project, and even when done, many projects will stick to the older forms, making the transition slow and frustrating.
The practical result is that he’s sort of right, if you just add the word “currently” to his statement.
Otoh, I do agree with you that rust cannot be the sole answer to this problem either, it’s almost as impractical to rewrite codebases in rust as an as-yet unfinished safe form of C++. Only time and lots of effort can fix this problem
- BB_C ( @BB_C@programming.dev ) 5•2 months ago
The only (arguably*) baseless claim in that quote is this part:
it’s theoretically possible to write memory-safe C++
Maybe try to write more humbly and less fanatically, since you don’t seem to be that knowledgable about anything (experienced in other threads too).
* It’s “theoretically possible” to write memory-safe assembly if we bend contextual meanings enough.
- lysdexic ( @lysdexic@programming.dev ) English2•2 months ago
The only (arguably*) baseless claim in that quote is this part:
You do understand you’re making that claim on the post discussing the proposal of Safe C++ ?
And to underline the absurdity of your claim, would you argue that it’s impossible to write a"hello, world" program in C++ that’s not memory-safe? From that point onward, what would it take to make it violate any memory constraints? Are those things avoidable? Think about it for a second before saying nonsense about impossibilities.
- BB_C ( @BB_C@programming.dev ) 5•2 months ago
- C++ offers no guaranteed memory safety.
- A fictional safe C++ that would inevitably break backwards compatibility might as well be called Noel++, because it’s not the same language anymore.
- If that proposal ever gets implemented (it won’t), neither the promise of guaranteed memory safety will hold up, nor any big C++ project will adopt it. Big projects don’t adopt the (rollingly defined) so-called modern C++ already, and that is something that is a part of the language proper, standardized, and available via multiple implementations.
would you argue that it’s impossible to write a"hello, world" program in C++
bent as expected
This proposal is just a part of a damage control campaign. No (supposedly doable) implementation will ever see the light of day. Ping me when this is proven wrong.
- funtrek ( @funtrek@discuss.tchncs.de ) 7•2 months ago
The problem with c++ is that it allows people to do whatever they want. Turns out: people are dumb. Rust solved that problem. Nothing more, nothing less.
- _____ ( @_____@lemm.ee ) English7•2 months ago
I heavily disagree. C++ has a lot of problems but it’s flexibility is not one of them.
Imo the biggest problem with C++ is that there are a dozens ways of doing the same thing. The std lib is not general and fast enough for everyone. Therefore it’s not even “standard” .
I have seen many conferences of a proposed “cpp2” like syntax that breaks abi but imo it’s the best way forward.
- Dark Arc ( @Dark_Arc@social.packetloss.gg ) English4•2 months ago
Rust still allows people to do (basically) whatever they want via unsafe blocks.
- FizzyOrange ( @FizzyOrange@programming.dev ) 6•2 months ago
Yeah but I have written a lot of Rust and I have yet to use a single
unsafe
block.Saying “but… unsafe!” is like saying Python isn’t memory safe because it has
ctypes
, or Go isn’t memory safe because of itsunsafe
package.- Dark Arc ( @Dark_Arc@social.packetloss.gg ) English1•2 months ago
See my reply to funtrek’s reply.
- FalconMirage ( @FalconMirage@jlai.lu ) 1•2 months ago
You don’t have to use unsafe C++ functions either
C++ is technically safe if you follow best practices
The issue, to me, is that people learn older versions of the language first, and aren’t aware of the better ways of doing stuff.
IMO people should learn the latest C++ version first, and only look at the older types of implementation when they come across them
- FizzyOrange ( @FizzyOrange@programming.dev ) 0•2 months ago
C++ is technically safe if you follow best practices
Yeah but it’s virtually impossible to reliably follow best practices. The compiler won’t tell you when you’re invoking UB and there is a lot of potential UB in C++.
So in practice it is not at all safe.
- FalconMirage ( @FalconMirage@jlai.lu ) 1•2 months ago
I agree
I was only adding my opinion (that people should try to always use the latest version of C++, which is inherently safer, but still not 100% safe)
- funtrek ( @funtrek@discuss.tchncs.de ) 4•2 months ago
Sure, but you have to explicitly enable this feature. In c++ you can use the oldest shit from twenty years ago and your compiler happily does its job. All my c++ books are full of “you shouldn’t use xy as it is deemed unsafe now, but of course you still can”.
- Dark Arc ( @Dark_Arc@social.packetloss.gg ) English3•2 months ago
If a “safe C++” proposal truly proposes a safe subset, then yes your C++ code would have to opt-in to doing unsafe things. For the purposes of this discussion of a safe subset … the point is moot.
- FizzyOrange ( @FizzyOrange@programming.dev ) 5•2 months ago
It’s not moot. The Safe C++ is opt-in to safety. It has to be because otherwise it wouldn’t be compatible with existing C++.
- Dark Arc ( @Dark_Arc@social.packetloss.gg ) English2•2 months ago
That’s a laudable difference /s. Using Rust is also an “opt-in” option.
- kSPvhmTOlwvMd7Y7E ( @kSPvhmTOlwvMd7Y7E@programming.dev ) 5•2 months ago
I don’t understand why this is called a “subset”, while clearly containing new syntax
A subset would be understood by older compilers, this is a superset
- Tamo240 ( @Tamo240@programming.dev ) 6•2 months ago
The goal of this proposal is to advance a superset of C++ with a rigorously safe subset.
The subset is of the proposed syntax superset. Reason being because the superset also contains explicitly unsafe syntax similar to rust.
- Herzenschein ( @herzenschein@pawb.social ) 2•2 months ago
While the summary + interview The Register did was decent, when you read the actual paper, the proposal is way more interesting.
Not a fan of mut instead of just plain mutable, though.
Also I sure hope the compiler messages for this feature won’t be like the circle examples in the proposal in the end.