5.3 有标记类的符号方法