Skip to content

Conversation

@JMazurkiewicz
Copy link
Contributor

Partially implement #5856.

I believe we should close #5856 and mention LWG-4272 in #3807.

@JMazurkiewicz JMazurkiewicz requested a review from a team as a code owner November 21, 2025 22:49
@github-project-automation github-project-automation bot moved this to Initial Review in STL Code Reviews Nov 21, 2025
@StephanTLavavej StephanTLavavej added LWG Library Working Group issue mdspan C++23 mdspan labels Nov 22, 2025
requires is_constructible_v<extents_type, _OtherExtents>
constexpr explicit(extents_type::rank() > 0) mapping(const layout_stride::mapping<_OtherExtents>& _Other) noexcept
constexpr explicit(!(extents_type::rank() == 0 && is_convertible_v<_OtherExtents, extents_type>) )
mapping(const layout_stride::mapping<_OtherExtents>& _Other) noexcept
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

No change requested: layout_left::mapping and layout_right::mapping vary in their noexcept // strengthened vs. noexcept, but this matches the Standard's varying noexcept, despite the fact that they both have preconditions. I think this should be an LWG issue (but am too lazybusy to report it).

@StephanTLavavej StephanTLavavej moved this from Initial Review to Ready To Merge in STL Code Reviews Nov 23, 2025
@StephanTLavavej
Copy link
Member

I've updated #3807 as you recommended!

@StephanTLavavej StephanTLavavej moved this from Ready To Merge to Merging in STL Code Reviews Nov 25, 2025
@StephanTLavavej
Copy link
Member

I'm mirroring this to the MSVC-internal repo - please notify me if any further changes are pushed.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

LWG Library Working Group issue mdspan C++23 mdspan

Projects

Status: Merging

Development

Successfully merging this pull request may close these issues.

LWG-4272 For rank == 0, layout_stride is atypically convertible

2 participants