exceptions в C++

Если кратко, то современные исключения имеют ничтожные накладные расходы

Ну там этого не написано, там есть частный случай где они быстрее. Вот пример разницы в 30 раз в пользу кодов возврата: https://youtu.be/oXw2vXOUr1g?t=3m50s

Ну надо сказать что в видосике тоже случай специфичный. Там исключения бросаются в 50% вызовов, а код возврата реализован через bool. Статейка честнее - они рассмотрели два параметра: глубина стека и вероятность исключения. Причем вероятность более вменяемая - менее 10%. А ошибка при этом - честный struct со строкой, а не читерский bool.

Но вывод прямо противоположный: в реальной жизни (невысокий стек вызова) коды возврата быстрее уже с вероятности 1-2%. эксепшены быстрее только на чистом коде.

Если точнее, то там написано, что всё зависит от ситуации. И ручной проброс значение будет медленнее исключений. Особенно учитывая то, что исключения можно ловить разных типов, в отличии от.

Особенно учитывая то, что исключения можно ловить разных типов, в отличии от.

«Код возврата» тоже может быть полиморфный (или какой-нибудь variant/enum).

Я про плюсы. Там только Variant, который не безопасный (нужно самому проверять наличие в нём нужного типа, в то время как match в rust делает это за нас на этапе компиляции).

Я про плюсы. Там только Variant, который не безопасный (нужно самому проверять наличие в нём нужного типа

Можно написать свой.

Свой вариант? Но зачем, если уже есть существующий? Тем более я не вижу как получить гарантии растовского enum в плюсах.

То есть в плюсах я могу написать variant.toString(), а она на самом деле Rect, и получу мусор. В раст так не получится, ибо PM.

Свой вариант? Но зачем, если уже есть существующий?

Затем, что он может быть лучше.

Он может решить описанную мной проблему?

Ты вынужден будешь писать sum_val.as<SomeType>().some_method(). Если sum_val не содержит SomeType, ошибка компиляции; если текущее значение adt_val имеет другой тип, бросается std::logic_error.

То есть всё равно проверка в рантайме.

С ADT она всегда есть. В виде match, is_err или unwrap, но она есть.

Но match проверяет при компиляции, а предложенный вами as<> в рантайме. Или нет? Если нет - то как?

Но match проверяет при компиляции

При компиляции match компилятор проверяет наличие SomeType в типе; при компиляции as<SomeType> делается то же самое. Наличие значения типа SomeType в переменной проверяется динамически.

при компиляции as<SomeType> делается то же самое

Можно пример кода? Какая-то шаблонная магия, не иначе.

Можно пример кода? Какая-то шаблонная магия, не иначе.

тебе бы книжки почитать, умнее станешь)

при компиляции as<SomeType> делается то же самое

Можно пример кода?

Примерно так: http://pastebin.com/DL1gqYyR

Какая-то шаблонная магия, не иначе.

Конечно. Всё интересное в Си++ - шаблонная магия.

Божечки...

И этот человек называл Александреску акробатом...

Этот фрагмент даже с Modern C++ Design не сравнить, куда там Folly.