Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Cleanup <any> and allow overaligned types #173

Merged
merged 1 commit into from
Oct 15, 2019

Conversation

CaseyCarter
Copy link
Member

@CaseyCarter CaseyCarter commented Oct 15, 2019

Description

<any> cleanup:

  • Prefer variable templates to class templates
  • Prefer if constexpr to tag dispatch
  • Function pointers may be noexcept in C++17
  • Remove the layer of "symbolic member name" functions to improve debug codegen
  • Conventionally use enable_if_t<conjunction_v<meow, woof>> instead of enable_if_t<meow::value && woof::value>
  • Apply _NODISCARD and noexcept to internal functions as appropriate
  • Allow overaligned types, which are properly handled by the _Big representation

Resolves DevCom-724444.

(This is a replay of Microsoft-internal PR 207713.)

Checklist

If you're unsure about a box, leave it unchecked. A maintainer will help you.

If a box isn't applicable, add an explanation in bold.
For example: (N/A: this is a bugfix, not a feature)

  • I understand README.md. I also understand that acceptance of
    community PRs will be delayed until the test and CI systems are online.
  • If this is a feature addition, that feature has been voted into the
    C++ Working Draft.
  • Identifiers in product code changes are properly _Ugly as per
    https://eel.is/c++draft/lex.name#3.1 .
  • The STL builds successfully and all tests have passed (must be manually
    verified by an STL maintainer before CI is online, leave this unchecked for
    initial submission).
  • These changes introduce no known ABI breaks (adding members, renaming
    members, adding virtual functions, changing whether a type is an aggregate
    or trivially copyable, etc.).
  • These changes were written from scratch using only this repository and
    the C++ Working Draft as a reference (and any other cited standards).
    If they were derived from a project that's already listed in NOTICE.txt,
    that's fine, but please mention it. If they were derived from any other
    project (including Boost and libc++, which are not yet listed in
    NOTICE.txt), you must mention it here, so we can determine whether the
    license is compatible and what else needs to be done.

@CaseyCarter CaseyCarter requested a review from a team as a code owner October 15, 2019 19:21
@CaseyCarter

This comment has been minimized.

`<any>` cleanup:

* Prefer variable templates to class templates
* Prefer `if constexpr` to tag dispatch
* Function pointers may be `noexcept` in C++17
* Remove the layer of "symbolic member name" functions to improve debug codegen
* Conventionally use `enable_if_t<conjunction_v<meow, woof>` instead of `enable_if_t<meow::value && woof::value>`
* Apply `_NODISCARD` and `noexcept` to internal functions as appropriate
* Allow overaligned types, which are properly handled by the `_Big` representation

Resolves [DevCom-724444](https://developercommunity.visualstudio.com/content/problem/724444/meow.html).
@CaseyCarter CaseyCarter merged commit 6aa3b02 into microsoft:master Oct 15, 2019
@CaseyCarter CaseyCarter deleted the replay branch October 15, 2019 20:16
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.

2 participants