Dart语言on…catch块

main() { 
   int x = 12; 
   int y = 0; 
   int res;  
   try { 
      res = x ~/ y; 
   }  
   on IntegerDivisionByZeroException catch(e) { 
      print(e); 
   } 
}