Created on 2023-11-06.00:00:00 last changed 3 weeks ago
Proposed resolution (approved by CWG 2023-11-08):
Change in 7.6.2.2 [expr.unary.op] paragraph 1 as follows:
The unary * operator performs indirection. Its operand shall be a prvalue of type “pointer to T”, where T is an object or function type. The operator yields an lvalue of type Tdenoting the object or function to which the operand points. If the operand points to an object or function, the result denotes that object or function; otherwise, the behavior is undefined except as specified in 7.6.1.8 [expr.typeid].
[Accepted as a DR at the November, 2023 meeting.]
Subclause 7.6.2.2 [expr.unary.op] paragraph 1 specifies:
The unary * operator performs indirection. Its operand shall be a prvalue of type “pointer to T”, where T is an object or function type. The operator yields an lvalue of type T denoting the object or function to which the operand points.
It is unclear what happens if the operand does not point to an object or function.
| History | |||
|---|---|---|---|
| Date | User | Action | Args |
| 2024-04-05 21:43:46 | admin | set | status: dr -> drwp |
| 2023-12-19 10:15:28 | admin | set | status: ready -> dr |
| 2023-11-10 14:27:11 | admin | set | status: review -> ready |
| 2023-11-08 06:06:17 | admin | set | messages: + msg7500 |
| 2023-11-08 06:06:17 | admin | set | status: open -> review |
| 2023-11-06 00:00:00 | admin | create | |