Skip to content
This repository was archived by the owner on Jan 29, 2026. It is now read-only.

Improve constraints for facade - #359

Merged
Mingxin Wang (mingxwa) merged 1 commit into
microsoft:mainfrom
mingxwa:user/mingxwa/constraints
Oct 22, 2025
Merged

Improve constraints for facade#359
Mingxin Wang (mingxwa) merged 1 commit into
microsoft:mainfrom
mingxwa:user/mingxwa/constraints

Conversation

@mingxwa

Copy link
Copy Markdown

Changes

This PR aligns with the proposed changes in #358.

  • Strengthened the ProBasicFacade.md requirements.
    • Added constraints F::max_size > 0, F::max_size shall be a multiple of F::max_align and F::max_align shall be a power of 2.
    • Added constraints F::copyability/relocatability/destructibility shall be exactly one of the four enumerators of constraint_level.
    • Updated the use of "trivial type" to "nothrow-default-constructible and nothrow-destructible".
  • Added constraints to basic_facade_builder::support_copy/support_relocation/support_destruction/restrict_layout accordingly.
  • Updated the implementation and unit tests accordingly.

@mingxwa
Mingxin Wang (mingxwa) merged commit eea7350 into microsoft:main Oct 22, 2025
9 checks passed
Han Jingzhi (HanJingzhi) added a commit to HanJingzhi/proxy that referenced this pull request Oct 23, 2025
@mingxwa
Mingxin Wang (mingxwa) deleted the user/mingxwa/constraints branch October 28, 2025 14:28
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants