Why I have the gut feeling, that this is good for us? Not saying I understand contracts at all. I read about contracts being complex and adding implementation defined behavior. I don’t want that!
C++ needs #secure and #insecure built-in. Kill all undefined-behavior and minimize implementation behavior. Maybe add new library types with default safety. Put the unfixable stuff behind #insecure.
I see immediate benefits of things added in C+11, C++14 and C++17. Basically they made it safer and less error-prone.
C++ needs #secure and #insecure built-in. Kill all undefined-behavior and minimize implementation behavior. Maybe add new library types with default safety. Put the unfixable stuff behind #insecure.
I see immediate benefits of things added in C+11, C++14 and C++17. Basically they made it safer and less error-prone.