4 ms·
I'm not sure what your replying to, but it can't be my comment because what you're saying has absolutely nothing to do with it. But kudos to you on writing an
by Maxatar 9mo ago
I'm not sure what your replying to, but it can't be my comment because what you're saying has absolutely nothing to do with it.
But kudos to you on writing an irrelevant wall of text.
- 1718627440 9mo agoIt does. The UB is false positives to the question "Is this a valid program".
- Maxatar 9mo agoNo one disputes that C++ accepts some invalid programs, I never claimed otherwise. I said that C++'s type system will reject some programs that are in principle correct, as opposed to what Spivak originally claimed about C++ accepting all correct programs as valid. The fact that some people can only think in terms of all or nothing is really saying a lot about the quality of discourse on this topic. There is a huge middle ground here and difficult trade-offs that C++ and Rust make.
- 1718627440 9mo agoSorry, then I misunderstood you, do you have an example, of a correct rejected C++ program?
- joshuamorton 9mo agoMany cases that require any kind of cast are this.