You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
It seems that UB for front and back is already implicitly specified in [sequence.reqmts]. Perhaps we should strike [array.zero] p3 (which may misleadingly suggest that an operator[] call is possibly well-defined).
Also, would it be better to explicitly specify the preconditions for a.front() and a.back()?
The text was updated successfully, but these errors were encountered:
It seems that UB for
front
andback
is already implicitly specified in [sequence.reqmts]. Perhaps we should strike [array.zero] p3 (which may misleadingly suggest that anoperator[]
call is possibly well-defined).Also, would it be better to explicitly specify the preconditions for
a.front()
anda.back()
?The text was updated successfully, but these errors were encountered: