You cannot select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
CppCoreGuidelines/docs
Carson Radtke 4e1e155fc4
Proposed specification for `gsl::dyn_array` (#2261)
* final draft of proposal

* fix alloc formal

* resolve ambiguity and fix TODO

* some wording improvements

* apply some feedback after offline review w/ @GabrielDosReis

* Update specification after review from C++ Core Guidelines

- Make sure iterators and references cannot be invalidated by any
  operations (besides destruction).
- Update specification to annotate that some functions require certain
  language features (ranges and concepts).
- Remove dependence on "Container" named requirements because they
  require iterator-invalidating behavior.
- Explicitly add default and move constructors.
- Fix some typos

* Update dyn_array documentation reflecting editors' feedback

Clarified that `gsl::dyn_array` cannot be moved or copied. Updated the FAQ section to emphasize that it is a fixed-size array without iterator/pointer-invalidating operations.

* Update FAQ regarding gsl::dyn_array usage

Clarified the purpose of gsl::dyn_array in the FAQ section.

---------

Co-authored-by: Gabriel Dos Reis <GabrielDosReis@users.noreply.github.com>
4 weeks ago
..
Introduction to type and resource safety.pdf Fixed a typo 10 years ago
Lifetime.pdf Updated Lifetime spec to 1.1 6 years ago
P0122R4.pdf Added latest span standardization proposal. 9 years ago
ctor-dtor-raii-popl12.pdf Formal account of the soundness of RAII for local objects 10 years ago
dyn_array.md Proposed specification for `gsl::dyn_array` (#2261) 4 weeks ago
gsl-intro.md Fix typo in "Using the GSL: A Tutorial and FAQ" (#1828) 4 years ago