C++异常处理陷阱-优快云博客

本文链接：https://blog.youkuaiyun.com/Octogen/article/details/5848565

本文探讨了在C++中使用异常处理时遇到的一个常见陷阱。作者在实现词法分析器时，尝试通过自定义异常类及其操作符来增强错误报告功能，但却遇到了意外的行为。文章详细介绍了问题的原因在于异常抛出时的类型确定方式及宏的不当使用。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

今天写Lexer时想把各种词法错误组织成异常类结构，于是把析构、打印函数设成虚的。

想输出些自定义信息时常常要用ostringstream，为图方便就给异常基类加了operator<<。

为了显示抛出异常的现场，存了源文件名、行号等。

现在抛词法异常要5个参数，觉得太烦，又写了个宏wzThrowLexerError。

可测试时发现输出用的是异常基类的print，奇怪！print是虚函数，捉的是引用，在哪儿被切片了呢？

查了很久无果，请出C++ Primer来：“抛出来的异常总是在throw表达式中指定确切的类型”再看宏展开后的表达式：

throw InvalidIdentifier((__FILE__,__LINE__,wzFunction, m_line, m_column ) << m_thisChar;
operator<<的返回值类型Exception！原来如此，看来这个伎俩行不通……

class wzCommonSpec Exception { protected: StackFrame m_site; StringWriter m_info; public: Exception( char const * file, int line, char const * func ); virtual void print( Writer & w ) const; template<typename T> Exception & operator<<( T const & t ) { m_info << t; return *this; } …… class InvalidIdentifier : public LexicalError { public: InvalidIdentifier( char const * cppFile, int cppLine, char const * cppFunc, int snailLine, int snailColumn ); }; …… #define wzThrowLexerError(x,l,c) throw x(__FILE__,__LINE__,wzFunction,l,c) …… wzThrowLexerError(InvalidIdentifier, m_line, m_column ) << m_thisChar; …… catch( Exception const & x ){ elog << x << over; }

C++抛异常的小教训