- Title
- Bad phrasing for SCHED(s)
- Status
- wp
- Section
- [exec.task.scheduler]
- Submitter
- Tomasz Kamiński
Created on 2025-11-05.00:00:00 last changed 1 week ago
Messages
Date: 2025-11-11.10:48:55
Proposed resolution:
This wording is relative to N5014.
Modify [exec.task.scheduler] as indicated:
-1- `task_scheduler` is a class that models `scheduler` ([exec.sched]). Given an object `s` of type `task_scheduler`, let SCHED be the object pointed to by the pointer owned by `s.sch_`.
Date: 2025-11-11.10:48:55
[ Kona 2025-11-08; Status changed: Immediate → WP. ]
Date: 2025-11-05.19:41:02
[ Kona 2025-11-05; approved by LWG. Status changed: New → Immediate. ]
Date: 2025-11-05.00:00:00
Addresses US 240-370
`shared_ptr` owns a pointer (or `nullptr_t`), not the pointee, but SCHED wants the pointee.
| History | |||
|---|---|---|---|
| Date | User | Action | Args |
| 2025-11-11 10:48:55 | admin | set | messages: + msg15699 |
| 2025-11-11 10:48:55 | admin | set | status: immediate -> wp |
| 2025-11-05 19:41:02 | admin | set | messages: + msg15526 |
| 2025-11-05 19:41:02 | admin | set | status: new -> immediate |
| 2025-11-05 16:52:14 | admin | set | messages: + msg15514 |
| 2025-11-05 00:00:00 | admin | create | |