search

ORNL / cpp-proposals-pub

Collaborating on papers for the ISO C++ committee - public repo
26 stars 26 forks source link

Fix precondition #445

Closed crtrott closed 6 months ago

crtrott commented 7 months ago

THis fixes the preconditions mentioned in #444

mhoemmen commented 6 months ago

@crtrott This looks good!

Regarding zero padding value: The constructors that take a run-time padding value pad now explicitly forbid zero. For (compile-time) PaddingValue = 0 the definition of least_multiple_at_least( padding_value , extents_type::static_extent(0) ) for extents_type::static_extent(0) not equal to dynamic_extent is now just extents_type::static_extent(0), so I think this case is also fine now.