3 ms·
It does. The UB is false positives to the question "Is this a valid program".
by 1718627440 10mo ago
It does. The UB is false positives to the question "Is this a valid program".
- Maxatar 10mo 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 10mo agoSorry, then I misunderstood you, do you have an example, of a correct rejected C++ program?
- joshuamorton 10mo agoMany cases that require any kind of cast are this.