第 863 行这个下划线,代表什么?
你合约的A函数使用了这个nonReentrant修饰器,"_;"就替换掉A函数的函数体,在本例中执行A函数时,会先执行nonReentrant修饰器require检查,再执行A函数的函数体
接口会在函数中调用,执行完之后再执行_; 如果_;放在modifier最值钱 就是函数中内容先执行在执行require
在用 nonReentrant 修饰一个函数时, 这个函数的函数体代码就会放入这个位置。
文档在这里: 合约结构 函数修改器 — Solidity中文文档