Как реализовать отладочное утверждение runtime без макросов в C++ 11/14 с безопасностью типа?

Question

Утверждения для использования в контексте, как:

ASSERT(dynamic_cast<Derived*>(_ptr)); 
ptr = static_cast<Derived*>(ptr); 

Так во время отладки утверждения будет проверять динамическое приведение, но будет удалено в режиме выпуска. (стандартное утверждение)

Как реализовать это без макросов. Я подумал:

void ASSERT(bool _arg) 
{ 
    if(!_arg) 
     //something 
} 

Однако это не гарантирует безопасность типа. Кроме того, я думал о том, что у меня две реализации: пустая (для выпуска, поэтому функция ASSERT ничего не делает), а другая - с кодом выше для отладки. Этот метод также будет полагаться на компилятор, оптимизирующий пустую функцию, что не всегда является надежным.

Таким образом, что было бы лучшим способом? Или макросы абсолютно необходимы ...?

Answer 1

Преимущество использования макросов для этой цели над функциями, как вы сказали, есть вероятность того, что проверка не будет полностью оптимизирована, и вы по-прежнему будете платить за динамический_cast.

Ваш лучший вариант - использовать assert(dynamic_cast<Derived*>(_ptr) != nullptr). Тип безопасности не покупает вам ничего для поведения, подобного утверждению.

Если вы должны написать свою собственную функцию, вы можете условно позвонить std::abort из заголовка <cstdlib>, но вам придется добавить любую диагностическую информацию самостоятельно.