C++ Logo

std-proposals

Advanced search

Formalisation of std::get<>'s behavior with regards to concurrency

From: Francois Chabot <francois.chabot.dev_at_[hidden]>
Date: Fri, 7 Jun 2019 13:12:04 -0400
As far as I can tell, there is no particular reason why two threads
shouldn't be able to write to different fields of a `std::tuple<>`, a
`std::array<>` or a `std::pair<>` using `std::get<>()` concurently, yet
this is currently not allowed by ommision.

Would a proposal to add language similar to
[container.requirements.dataraces] in order to formalize this be receivable?

Reference:
https://stackoverflow.com/questions/56497862/how-to-work-around-stdget-lack-of-concurency-specification#56497862

--
François Chabot

Received on 2019-06-07 12:14:04