Julia likes to watch more C++ videos before she plans to write more Leetcode question using C# programming language. She likes to learn C++ by going through CppCon videos. Amazed that it is so easy to find high quality talk through the conference.
Read the book in short future (180 pages):
A tour of C++
( Dec. 3, 2015, read 1 hour, review Union, Enumeration (2.4, 2.5) )
videos:
CppCon 2014: Herb Sutter "Back to the Basics! Essentials of Modern C++ Style"
https://www.youtube.com/watch?v=xnqTKD8uD64Writing Quick Code in C++, Quickly
https://www.youtube.com/watch?v=ea5DiCg8HOYCppCon 2015: Bjarne Stroustrup “Writing Good C++14”
https://www.youtube.com/watch?v=1OEu9C51K2ACppCon 2015: Gabriel Dos Reis “Contracts for Dependable C++"
https://www.youtube.com/watch?v=Hjz1eBx91g8 ( Julia's rating: A, easy to understand, and will follow good contracts - write precondition, postcondition, invariant)video 34:12/55:48 (Dec.4, 2015)
Semantics
- Precondition [[expects: condition]]
1. Arguments are evaluated
2. Condition is evaluated
3. Out-of-contract counter-measure deployed if contract violated
4. First statement of the user-authored function body executed
- Postcondition: [[ensures: condition]]
1. User-authored function boday executed (expected return)
. Return expression, if any, evaluate
2. condition is evaluated
3. Out-of-contract counter-measure deployed if contract violated
4. Control transferred to caller.
No comments:
Post a Comment