3 ms·
C and C++ cannot add borrow checking soundly while remaining any semblance of compatibility with the ecosystem. Consider what you would do with global variables
by pcwalton 7y ago
C and C++ cannot add borrow checking soundly while remaining any semblance of compatibility with the ecosystem. Consider what you would do with global variables, just to name one of many, many issues.
- de_watcher 7y agoWhy not? It's all done when you don't pass around raw references and pointers. The only hole that's left is use-after-move.
- pcwalton 7y agoVirtually all C++ in existence uses raw references and pointers. You can't even call a method without using one (the "this" pointer).