Merge pull request #264 from google/spec_update_conventions

Spec: Clarifiy array element assignment.
This commit is contained in:
FrankGalligan 2017-10-25 09:01:31 -07:00 committed by GitHub
commit 277c0a0252

View File

@ -94,7 +94,9 @@ represented using the notation `A == B` and is specified to mean the same as
`A != B` and is specified to mean the same as `A != B` and is specified to mean the same as
`(A[ 0 ] != B[ 0 ] || A[ 1 ] != B[ 1 ])`. `(A[ 0 ] != B[ 0 ] || A[ 1 ] != B[ 1 ])`.
The functions `assign`, `back`, `pop_back`, `push_back`, and `size` behave Unless otherwise noted, array element assignment will increase the size of the array to include the element. Any remaining new elements will be uninitialized.
The functions `assign`, `back`, `empty`, `pop_back`, `push_back`, and `size` behave
similarly on arrays as it is defined for c++ std::vector. similarly on arrays as it is defined for c++ std::vector.
When a variable is said to be representable by a signed integer with `x` bits, When a variable is said to be representable by a signed integer with `x` bits,