// self made assert statement // it works with == and && only because it is an example, but it would work the same way with <, >,... #include #include // class that analyze the condition class Analyze{ std::ostringstream eval_; bool result; template struct Analyze_{ Analyze& parent; const T& val; Analyze_(const T& v, Analyze& p) : parent(p), val(v){} template Analyze& operator==(const V& v){ parent.result = parent.result && val == v; parent.eval_ << val << " == " << v; return parent; } template Analyze& operator&&(const V& v){ parent.result = parent.result && v; parent.eval_ << val << " && " << v; return parent; } }; template struct eqq{ template bool operator()(const T& a, const V& b){ return a == b; } }; public: Analyze() : eval_(), result(true){} // getters for result bool getResult() const{ return result; } std::string getEval() const{ return eval_.str(); } // operators catching the result Analyze& operator&&(bool c){ result = result && c; eval_ << " && " << c; return *this; } template Analyze_ > operator==(const T& val){ return Analyze_ >(val, *this); } // operator to remove warning operator bool(){ return true; } }; //helper macros #define STR_impl(A) #A #define STR(A) STR_impl(A) // assert macro #define my_assert(condition) {\ Analyze a;\ if(bool(a == condition) && !a.getResult()){\ std::cout << "Error : \n\tLine : " STR(__LINE__) "\n\tFunction : " << __FUNCTION__ << "\n\tFile : " __FILE__ "\n\tLine content: " #condition "\n\tEvaluation : " << a.getEval() << std::endl;\ /*abort(); uncomment for real assert*/\ }\ } int main() { int i = 0; my_assert(i == 2); my_assert(i && i > 0); return 0; }

Assert