FFORGE//RS
← Маршрут

rust / УРОВЕНЬ 4

Rule-engine без vtable

ОЦЕНКА45 МИН
01

ТЕОРИЯ / ВОСПРОИЗВЕДЕНИЕ

Что нужно восстановить

  • Понимать object safety и фиксировать associated input type на trait-object boundary

Vtable требует фиксированной сигнатуры

Method-level generic не помещается в один vtable slot, а unrestricted `Self` return также ломает dyn compatibility. Associated type фиксирует input у object boundary; registry сохраняет Send + Sync.

КОНТРОЛЬНАЯ ТОЧКА

Какой method можно вызвать через `dyn Rule<Input = str>`?

ISOLATED RUST 1.96
src/lib.rsРЕДАКТИРОВАНИЕ

02 / РЕВЬЮ КОДА

Сделайте код безопасным

Исправьте Rule API: `RuleSet` хранит heterogeneous `Send + Sync` rules через dyn dispatch, associated input привязан к `str`, insertion order и `rejected_by` сохранены.

Инициализация редактора…
ОБЛАЧНЫЙ SANDBOXсеть выключена · 256 МБ · 12 с
2 / 64 KB
ВЫВОД
Runner ждёт отправки кода.