Skip to content

Conversation

@mhoemmen
Copy link
Contributor

@mhoemmen mhoemmen commented Aug 5, 2024

@crtrott @dalg24 Submitted as P2897R5.

Please merge this after PRs #465, #463, PR #461.

mhoemmen added 13 commits July 10, 2024 14:18
Update based on further discussion with David Sankel.

* Rename `is_checkably_valid` to `detectably_invalid`
    (with inverted return value)

* Ask LEWG to consider the alternative design that makes
    `is_sufficiently_aligned` a nonmember function in `<bit>`
    instead of a member function of `aligned_accessor`,
    while LWG review of R2 proceeds concurrently

* P2389R2 was voted into the Working Draft at St. Louis,
    so replace use of `dextents` in examples with `dims`.

* Minor formatting and non-wording fixes
Add non-wording section explaining why `aligned_accessor`
has no `explicit` constructor from less to more alignment.
* Make is_sufficiently_aligned a nonmember function
  (in the wording)

* Fix nonwording sections accordingly

* Minor correction in Example in Wording

* Update implementation Compiler Explorer link
  and source code (Appendix B)
* Improve Godbolt implementation

I'm submitting P2897R4.html as P2897R4 (aligned_accessor).
* Move `is_sufficiently_aligned` from `<bit>` to `<memory>`,
  due to feedback from LEWG mailing list review of R4

* Give `is_sufficiently_aligned` a "*Throws*: Nothing" clause
  and add nonwording text explaining why
@mhoemmen mhoemmen marked this pull request as ready for review August 12, 2024 21:20
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant