¿Confirmar con mensaje dinámico?

Question

En mi programa quiero usar las afirmaciones que muestran un mensaje de error. Además de las soluciones bien conocidas para C y C++ existe la solución "real" como BOOST ofrece BOOST_ASSERT_MSG(expr, msg) (vea también assert() with message)

Pero un mensaje estático no es suficiente para mí, también quiero mostrar algunas veces las variables fallidas, p.ej en un caso como

BOOST_ASSERT_MSG(length >= 0, "No positive length found! It is " << length) 

Como se puede ver que me gustaría dar formato al mensaje de "cadena" como un stringstream o ostream como que habíamos me permitirá mostrar fácilmente tipos personalizados (suponiendo que he definido el relevante función de formateo).

El problema aquí es que BOOST_ASSERT_MSG requiere de manera predeterminada char const *, por lo que no es compatible.

¿Hay alguna manera de redefinir/sobrecargar assertion_failed_msg() de tal manera que usar una secuencia como mensaje funcione? ¿Cómo?
(Mi enfoque ingenuo fallidos como el compilador primero quería hacer un operator<<("foo",bar) en el mensaje en sí mismo ...)

Answer 1

Se podría definir su propio macro

#define ASSERT_WITH_MSG(cond, msg) do \ 
{ if (!(cond)) { std::ostringstream str; str << msg; std::cerr << str.str(); std::abort(); } \ 
} while(0) 

Answer 2

Es relativamente trivial para lograrlo.

BOOST_ASSERT_MSG(length >= 0, (std::stringstream() << "No positive length found! It is " << length).str().c_str()) 

Answer 3

uso el BOOST_ASSERT_MSG con mi propio envoltorio alrededor de ella, de modo que el mensaje especificando afirmar con múltiples operator<< parece menos complejo.

#if defined ASSERT_ENABLED 

    #define ASSERT(cond, msg) {\ 
     if(!(cond))\ 
     {\ 
      std::stringstream str;\ 
      str << msg;\ 
      BOOST_ASSERT_MSG(cond, str.str().c_str());\ 
     }\ 
    } 
#else 
    #define ASSERT(...) 
#endif 

ejemplo de uso, proporcionan mensaje personalizado como está dando salida a cout:

ASSERT(execSize == (_oldSize - remaining), "execSize : " << execSize << ", _oldSize : " << _oldSize << ", remaining : " << remaining); 

Lo que hace es, si se ha definido ASSERT_ENABLED, activar los mensajes de aserción. if(!(cond)) parte es la optimización, lo que evita las costosas operaciones de cadena especificados por el parámetro macro msg, si es condtrue