C++抛异常的小教训

今天写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; }