Title
Should be undefined behaviour to call atomic_future operations unless valid()
Status
nad editorial
Section
[futures.atomic_future]
Submitter
INCITS

Created on 2010-08-25.00:00:00 last changed 162 months ago

Messages

Date: 2010-11-03.00:14:08

Proposed resolution:

  1. Change [futures.shared_future]/3 as indicated:

    3 The effect of calling any member function other than the destructor, the copy-assignment operator, the move-assignment operator, or valid() on a shared_future object for which valid() == false is undefined.

  2. Following [futures.atomic_future]/2, add a new paragraph:

    ? The effect of calling any member function other than the destructor, the copy-assignment operator, or valid() on a atomic_future object for which valid() == false is undefined.

Date: 2010-11-02.00:00:00

[ 2010-11-02 Daniel translates proposed changes into specific deltas and comments: ]

While applying the wording, I notice that [futures.shared_future]/3 does speak of the move-assignment operator, and not of the copy-assignment operator. atomic_future obviously needs this to be true for the copy-assignment operator, but I strongly assume that shared_future needs to mention both special member assignment operators in this paragraph. To keep this consistent, the following P/R also provides wording to fix the corresponding location for shared_future.

Date: 2010-11-02.20:27:27

[ Resolution proposed by ballot comment: ]

Add a new paragraph after [futures.atomic_future]/2 with the same words as [futures.shared_future]/3.

Date: 2010-10-24.03:04:13

Addresses US-203

Both future and shared_future specify that calling most member functions on an object for which valid() == false produces undefined behavior. There is no such statement for atomic_future.

History
Date User Action Args
2010-11-11 19:19:17adminsetstatus: open -> nad editorial
2010-11-02 20:27:27adminsetmessages: + msg5273
2010-11-02 20:27:27adminsetmessages: + msg5272
2010-11-02 20:27:27adminsetmessages: + msg5271
2010-10-24 03:04:13adminsetmessages: + msg4969
2010-08-25 00:00:00admincreate