Confirmed users
657
edits
User:Ehsan/Safe C++: Difference between revisions
→Disallowed C++ language features
No edit summary |
|||
| Line 135: | Line 135: | ||
=== Disallowed C++ language features === | === Disallowed C++ language features === | ||
The safety properties that we desire are inherently incompatible with two main classes of C++ features: | The safety properties that we desire are inherently incompatible with two main classes of C++ features: | ||
* Unchecked references. These are C++ pointers and references. Since the language doesn't offer a way to tag them with ownership information, the usage of them in Safe C++ is completely prohibited. | |||
* Direct control over lifetimes. For obvious reasons, giving the programmer direct control over lifetimes goes against the goals of Safe C++. C++ keywords new, new[], delete and delete[] are completely prohibited in Safe C++ code. | |||
=== Usafe C++ === | === Usafe C++ === | ||