4.2.2　量子计算的Qif和Qwhile