Тип «значение или пусто» без sentinel-магии; явная проверка has_value/value_or.
Разбор
- Для ошибок тяжёлых путей см. expected.
- Дешёвый для малых T.
- Читаемее nullable.
- Не продлевает lifetime чужих буферов.
Итог
optional — явная опциональность значения.
