Title
The definition of 'object state' applies only to class types
Status
c++17
Section
[defns.obj.state]
Submitter
Great Britain

Created on 2017-02-03.00:00:00 last changed 81 months ago

Messages

Date: 2017-03-03.22:14:37

Proposed resolution:

This wording is relative to N4640.

  1. Modify [defns.obj.state] as indicated:

    17.3.16 [defns.obj.state]

    object state

    the current value of all non-static class members of an object (9.2) [Note: The state of an object can be obtained by using one or more observer functions. — end note]

  2. Modify [defns.valid] as indicated:

    17.3.25 [defns.valid]

    valid but unspecified state

    an object statea value of an object that is not specified except that the object's invariants are met and operations on the object behave as specified for its type

Date: 2017-03-03.22:14:37

[ Kona 2017-03-01 ]

Accepted as Immediate to resolve NB comment.

Date: 2017-02-15.00:00:00

[ 2017-02-26, Scott Schurr provides wording ]

Date: 2017-02-05.13:39:22
Addresses GB 30

The definition of 'object state' applies only to class types, implying that fundamental types and arrays do not have this property.

Proposed change: Replacing "an object state" with "a value of an object" in [defns.valid] and dropping the definition of "object state" in [defns.obj.state].

History
Date User Action Args
2017-07-30 20:15:43adminsetstatus: wp -> c++17
2017-03-05 23:46:08adminsetstatus: immediate -> wp
2017-03-03 22:14:37adminsetmessages: + msg9068
2017-03-03 22:14:37adminsetstatus: new -> immediate
2017-02-27 17:53:51adminsetmessages: + msg9004
2017-02-27 17:53:51adminsetmessages: + msg9003
2017-02-03 00:00:00admincreate