一.断言(assert)
断言的作用是：如果表达式的求值结果不满足需要，则打断代码的执行。
可以要将提示消息附加到断言，添加一个字符串作为第二个参数。
实例：
void main()
{
String urlString = 'http://www.baidu.com';
assert(urlString.startsWith('https'), 'URL ($urlString) should start with "https".');
// Failed assertion: 'urlString.startsWith('https')': URL (http://www.baidu.com) should start with "https"
// 当urlString不是以https开头时，代码的执行会被打断
// 当urlString是以https开头时，代码会继续执行
}
传入assert的参数，可以是任意表达式或者方法，只要返回值是bool就可以，当断言失败时（返回false），会抛出AssertionError异常。
注意:断言只有在检查模式下运行有效，在生产模式下是不会运行的。
二.异常
异常(或异常事件)是在执行程序期间出现的问题。发生异常时，程序的正常流程中断，程序/应用程序异常终止。
与Java相反，所有的dart异常都是未受检异常。也就是说当调用一个可以抛出异常的方法时，不必一定去捕获这个异常。这点和Kotlin一样，都是为了简化代码，增加可读性。如果你担心这段代码真的会产生什么异常，那么可以自行捕获。
Dart2的异常是Exception或者Error（包括它们的子类）的类型，甚至可以是非Exception或者Error类，也可以抛出，但是不建议这么使用。
Exception主要是程序本身可以处理的异常，比如：IOException。我们处理的异常也是以这种异常为主。
Error是程序无法处理的错误，表示运行应用程序中较严重问题。大多数错误与代码编写者执行的操作无关，而表示代码运行时 DartVM出现的问题。比如：内存溢出(OutOfMemoryError)等等。
1. 抛出异常
throw关键字用于显式引发异常。应该处理引发的异常，以防止程序突然退出。
语法:
throw new Exception_name()
实例:
void test_age(int age)
{
if(age<0)
{
throw new FormatException();
}
}
main()
{
try
{
test_age(-2);
}
catch(e)
{
print('Age cannot be negative');
}
// 执行结果:
//Age cannot be negative
}
2. 捕获异常
(1) try、on、catch块
try块嵌入可能导致异常的代码。需要指定异常类型时使用on块。当处理程序需要异常对象时使用catch块。
try块必须紧跟一个on/catch块或一个finally块(或两者之一)。当try块中发生异常时，控制将转移到catch。
处理异常的语法如下:
try
{
// code that might throw an exception
}
on Exception1
{
// code for handling exception
}
catch Exception2
{
// code for handling exception
}
注意：
1. 代码段可以有多个on/catch块来处理多个异常
2. on块和catch块是相互包含的，即try块可以与on块和catch块相关联
使用on块实例：
void main()
{
int x = 12;
int y = 0;
int res;
try
{
res = x ~/ y;
}
on IntegerDivisionByZeroException
{
print('Cannot divide by zero');
}
// 直径结果:
// Cannot divide by zero
}
使用catch块实例：
void main()
{
int x = 12;
int y = 0;
int res;
try
{
res = x ~/ y;
}
catch(e)
{
print(e);
}
// 直径结果:
// IntegerDivisionByZeroException
}
on…catch块实例：
void main()
{
int x = 12;
int y = 0;
int res;
try
{
res = x ~/ y;
}
on IntegerDivisionByZeroException catch(e)
{
print(e);
}
// 直径结果:
// IntegerDivisionByZeroException
}
(2) finally块
finally块包括应该执行的代码，而不管异常的发生。try/on/catch之后无条件执行可选的finally块。
使用finally块的语法如下:
try
{
// code that might throw an exception
}
on Exception1
{
// code for handling exception
}
catch Exception2
{
// code for handling exception
}
finally
{
// code that should always execute; irrespective of the exception
}
finally块实例：
void main()
{
int x = 12;
int y = 0;
int res;
try
{
res = x ~/ y;
}
on IntegerDivisionByZeroException
{
print('Cannot divide by zero');
}
finally
{
print('Finally block executed');
}
// 直径结果:
// Cannot divide by zero
// Finally block executed
}
(2) rethrow块
可以使用rethrow关键字，重新抛出异常，如：
void misbehave()
{
try
{
dynamic foo = true;
print(foo++); // Runtime error
}
catch (e)
{
print('misbehave() partially handled ${e.runtimeType}.');
rethrow; // Allow callers to see the exception.
}
}
void main()
{
try
{
// 虽然 catch 了异常，但是又 rethrow 了，所以要捕获
misbehave();
}
catch (e)
{
print('main() finished handling ${e.runtimeType}.');
}
// 执行结果;
// misbehave() partially handled NoSuchMethodError.
// main() finished handling NoSuchMethodError.
}
(3) 自定义异常
Dart中的每个异常类型都是内置类Exception的子类。Dart可以通过扩展现有异常来创建自定义异常。
定义自定义异常的语法:
class Custom_exception_Name implements Exception
{
// can contain constructors, variables and methods
}
实例:
class AmtException implements Exception
{
String errMsg() => 'Amount should be greater than zero';
}
void withdraw_amt(int amt)
{
if (amt <= 0)
{
throw new AmtException();
}
}
void main()
{
try
{
withdraw_amt(-1);
}
catch(e)
{
print(e.errMsg());
}
finally
{
print('Ending requested operation.....');
}
// 执行结果:
// Amount should be greater than zero
// Ending requested operation.....
}
