Присвоить значение или бросить исключение: какая конструкция?

Question

[Посторонним В.]

PHP 7. Есть объект TitleMap с ArrayAccess, который по индексу возвращает объект Data. Надо написать конструкцию, которая в случае наличия индекса присвоит значение, а в случае отсутствия - бросит исключение, мол неправильное значение индекса (исключение надо бросать в клиентском коде, не залазя в сам TitleMap ).

Если в лоб, то вот:

if (!isset($this->title_map[$page_type]) {
    throw new EngineError('There is no Data for this type.');                    
};
$data = $this->title_map[$page_type];

Но хочется что-то такое, без дублирования:

$data = $this->title_map[$page_type] ?? throw new EngineError('There is no Data for this type.');

К сожалению, такая штука не проходит парсинг. Есть еще короткие варианты? Соль в том, что проверку на нуль нельзя делать (иначе присвоил бы, а потом проверил бы на null), только isset - имплементация OffsetGet должна возвращать только Data (использованы return type hints).

Answer 1

[Котик Антон]

Причина, почему так, как вы хотите, не работает - throw не возвращает никакого значения. Не будет работать даже вот такая простая конструкция:
$return = throw new Exception();

Если очень хочется, есть такой вариант - объявить вспомогательную функцию, в которую и обернуть throw (функция по умолчанию будет возвращать null):

function throwme($e) { throw $e; }

$data = $this->title_map[$page_type] ?? throwme(new EngineError('...'));

Подробнее можно почитать тут:
stackoverflow.com/a/1211497

P.S.: Идея с конструкцией вроде $var = $test ?? throw new Exception() мне нравится.

Comments

[Посторонним В.]

Да, вариант с функцией я использую, в других случаях. Но здесь внедрять в код класса зависимость от функции - слишком большая цена.

[Котик Антон]

Посторонним В.: Можно обойтись анонимной функцией или статическим методом. Но это всё, к сожалению, будет не так красиво, как если бы работало throw работало с оператором ??

Answer 2

[Константин Грачев]

Тут нет никакого дублирования, не занимайтесь ерундой. Первый вариант понятен и отлично читается.

if (!array_key_exists($page_type, $this->title_map) {
    throw new EngineError('There is no Data for this type.');
};

$data = $this->title_map[$page_type];

Comments

[Котик Антон]

Не всегда можно заменить isset на array_key_exists. У них логика разная. А дублирование есть - в коде автора два раза повторяется $this->title_map[$page_type]

[Константин Грачев]

27cm: Когда у вас в разных местах описана одинаковая логика, и в случае изменения этой логики нужно переписывать все случаи - это дублирование кода. Обращение к свойству класса это не дублирование кода.

[Котик Антон]

Константин Грачев: Если следовать вашей логике, то вот в таком коде, по вашему нет дублирования?

if ($this->one->two->three['four']->five) {
    $a = $this->one->two->three['four']->five;
    $b = $this->one->two->three['four']->five + 1;
    $c = $this->one->two->three['four']->five - 1;
}

Ведь тут обращения к свойству класса.

[Константин Грачев]

27cm: Если у вас этот блок логики методом Copy/Paste будет описан где нибудь ещё, то да, это дублирование.
Описанный вами листинг можно упростить до

$four = $this->one->two->three['four'];
if ($four->five) {
    $a = $four->five;
    $b = $four->five + 1;
    $c = $four->five - 1;
}

[Посторонним В.]

Константин Грачев: оператор "??" в PHP 7 ввели именно затем, чтобы избежать дублирования подобного тому, о котором я говорю. Сравните:

$a = isset($this->some_property) ? $this->some_property : null
$a = $this->some_property ?? null

[Константин Грачев]

Посторонним В.: Вы оператором присвоения пытаетесь бросить исключение. Если вас так коробит от одинаковых строчек, можете сделать вот так:

$data = $this->title_map[$page_type] ?? new EngineError('There is no Data for this type.');

if ($data instanceof EngineError) {
    throw $data;
}

[Посторонним В.]

Константин Грачев: несколько нелогично, но идея хорошая) Спасибо

[Константин Грачев]

Посторонним В.: но я не рекомендую так делать, первый вариант правильней.

[Константин Грачев]

27cm: Я получил ссылку на класс с которым собрался работать. Я вам уже написал, что дублирование кода, заключается в клонировании логики. Если в случаи изменения бизнес-логики вам приходится переписывать одинаковые куски кода в разных частях приложения - это то дублирование, которого стоит избегать.
А маниакальное уменьшение количества строк не всегда полезно, особенно если оно ведёт к ухудшению читаемости кода.