Sui 执行交易 报错 MovePrimitiveRuntimeError

[passer-byzhang]

自己写的合约，之前报错都是 MoveAbort，这个没见过，也不知道怎么找原因

Error calling module: Failure {
    error: "MovePrimitiveRuntimeError(Some(MoveLocation { module: ModuleId { address: 9013e8f4c58f48251fa58c6d26ef00721fc41755, name: Identifier(\"transfer\") }, function: 0, instruction: 32 }))",
}

[qiwihui]

你可以在 Sui Explorer 上查看对应的 bytecode： https://explorer.sui.io/object/0x9013e8f4c58f48251fa58c6d26ef00721fc41755?module=transfer 。报错显示在 function: 0, instruction: 32 就是第 0 个函数 32 号指令（第0和函数并不一定是bytecode里的第0个，顺序可能不一样，只是你这个文件里刚好只有一个函数），对于的是

B6:
	30: ImmBorrowLoc[4](Arg4: vector<u64>)
	31: CopyLoc[9](loc3: u64)
	32: VecImmBorrow(8)
	33: StLoc[8](loc2: &u64)

我感觉是在一个判断小于的分支之后， vector borrow 的索引出错，但是不太确定，有源码的话可以更好定位一些。此处没有进行 assert 判断，如果判断了会有错误编号在报错的显示中。

完成 Bytecode：

// Move bytecode v6
module 9013e8f4c58f48251fa58c6d26ef00721fc41755.transfer {
use 9013e8f4c58f48251fa58c6d26ef00721fc41755::Box;
use 9013e8f4c58f48251fa58c6d26ef00721fc41755::tickets;
use 0000000000000000000000000000000000000002::tx_context;




entry public transfer_tickets<Ty0: store + key, Ty1>(Arg0: &mut UsersBag, Arg1: &mut TicketsBag, Arg2: &[Box](https://explorer.sui.io/object/0x9013e8f4c58f48251fa58c6d26ef00721fc41755?module=Box)<Ty0, Ty1>, Arg3: address, Arg4: vector<u64>, Arg5: &TxContext) {
B0:
	0: CopyLoc[2](Arg2: &Box<Ty0, Ty1>)
	1: Call Box::get_activity<Ty0, Ty1>(&Box<Ty0, Ty1>): bool
	2: BrFalse(4)
B1:
	3: Branch(14)
B2:
	4: MoveLoc[0](Arg0: &mut UsersBag)
	5: Pop
	6: MoveLoc[1](Arg1: &mut TicketsBag)
	7: Pop
	8: MoveLoc[5](Arg5: &TxContext)
	9: Pop
	10: MoveLoc[2](Arg2: &Box<Ty0, Ty1>)
	11: Pop
	12: LdU64(114514)
	13: Abort
B3:
	14: MoveLoc[2](Arg2: &Box<Ty0, Ty1>)
	15: Call Box::get_boxid<Ty0, Ty1>(&Box<Ty0, Ty1>): address
	16: StLoc[7](loc1: address)
	17: MoveLoc[5](Arg5: &TxContext)
	18: Call tx_context::sender(&TxContext): address
	19: StLoc[10](loc4: address)
	20: LdU64(1)
	21: StLoc[9](loc3: u64)
	22: ImmBorrowLoc[4](Arg4: vector<u64>)
	23: VecLen(8)
	24: StLoc[6](loc0: u64)
B4:
	25: CopyLoc[9](loc3: u64)
	26: CopyLoc[6](loc0: u64)
	27: Le
	28: BrFalse(60)
B5:
	29: Branch(30)
B6:
	30: ImmBorrowLoc[4](Arg4: vector<u64>)
	31: CopyLoc[9](loc3: u64)
	32: VecImmBorrow(8)
	33: StLoc[8](loc2: &u64)
	34: CopyLoc[1](Arg1: &mut TicketsBag)
	35: CopyLoc[10](loc4: address)
	36: CopyLoc[3](Arg3: address)
	37: CopyLoc[7](loc1: address)
	38: CopyLoc[8](loc2: &u64)
	39: ReadRef
	40: Call tickets::handle_tickets_bag(&mut TicketsBag, address, address, address, u64)
	41: CopyLoc[0](Arg0: &mut UsersBag)
	42: CopyLoc[3](Arg3: address)
	43: CopyLoc[7](loc1: address)
	44: CopyLoc[8](loc2: &u64)
	45: ReadRef
	46: LdTrue
	47: Call tickets::handle_users_bag(&mut UsersBag, address, address, u64, bool)
	48: CopyLoc[0](Arg0: &mut UsersBag)
	49: CopyLoc[10](loc4: address)
	50: CopyLoc[7](loc1: address)
	51: MoveLoc[8](loc2: &u64)
	52: ReadRef
	53: LdFalse
	54: Call tickets::handle_users_bag(&mut UsersBag, address, address, u64, bool)
	55: MoveLoc[9](loc3: u64)
	56: LdU64(1)
	57: Add
	58: StLoc[9](loc3: u64)
	59: Branch(25)
B7:
	60: MoveLoc[0](Arg0: &mut [UsersBag](https://explorer.sui.io/object/0x9013e8f4c58f48251fa58c6d26ef00721fc41755?module=tickets))
	61: Pop
	62: MoveLoc[1](Arg1: &mut [TicketsBag](https://explorer.sui.io/object/0x9013e8f4c58f48251fa58c6d26ef00721fc41755?module=tickets))
	63: Pop
	64: Ret
}
}

[passer-byzhang]

非常感谢！我找到了，是因为我的数组越界了

[passer-byzhang]

大佬，是不是native function不会abort的关系啊？

[qiwihui]

应该是，就直接运行时错误了。