sv中的virtual

virtual是SystemVerilog（SV）中的一个关键字，用于声明虚拟函数或任务。在面向对象的编程中，虚拟函数允许子类重写父类的同名函数，并在运行时动态绑定到正确的函数。而非虚拟函数则不会被动态绑定，而是始终调用父类的函数。

在SV中，当将子类的句柄赋值给父类的句柄后，通过父类句柄调用虚拟函数时，会直接调用子类中同名的虚拟函数。而对于非虚拟函数，则会始终调用父类中的函数。

在提供的代码示例中，当通过父类句柄A调用a1时，由于a1是虚拟函数，所以会直接调用子类b中的a1函数，输出结果为"789"。而对于a2，它不是虚拟函数，所以不会被动态绑定，而是调用父类a的a2函数，输出结果为"456"。

所以，在SV中，使用virtual关键字可以实现多态性，让子类的同名函数能够在运行时被正确调用。