Re:C++26: Trivial infinite loops are no longer undefined beh...
by vlovich123 on Friday September 18, 2026 @12:18PM
(#49756588)
That's a niche level thing that helps in some scenarios, and generally not as much for C++ which is much more weakly typed than Rust is. Weak typing + static typing is why safety problems in C++ are going to be really difficult to fix without fundamentally changing the language.
[ Parent
| on HN ]
Re:C++26: Trivial infinite loops are no longer undefined beh...
by bryanlarsen on Friday September 18, 2026 @01:30PM
(#49757556)
I expect some changes to the language from this direction, some way to attach provenance information or limitations to a pointer. Presumably through a #pragma at first. Strict typing in the C++ sense, not the Rust sense. An annotation like "volatile".
Pointer provenance is just one example, there are others.