气体需求有问题

Question

我已经编写了一个智能合约，我正在尝试执行以下代码，但我遇到了这些问题： 1-“函数 EKM.register_PK 的 Gas 需求是无限的：如果函数的 Gas 需求高于区块 Gas 限制，则该函数无法执行。请避免在修改大面积存储的函数或操作中出现循环（这包括清除或复制存储中的数组） 时间：32:0：” 2-“如果您永远不希望 x 为假，则使用“assert(x)”，而不是在任何情况下（除了代码中的错误）。如果 x 可能为假，则使用“require(x)”，因为例如输入无效或外部组件发生故障。 更多的 位置：30:2：” 我的代码：

pragma solidity >=0.8.13;
//SPDX-License-Identifier:MIT
contract EKM{
    /**
 * @dev VTA is a state variable
 */
address public VTA;
 /**
   * @dev mapping address as key to struct user with mapping name users
   */
mapping (uint => user) public users;
/**
     * @dev assigning the contract deployer as the  VTA
     */
    constructor() {
       VTA =msg.sender;
       }
        
       
struct user {

string PKname;
string PKvehicle;
uint256 vP; 
bool status;                    
     }
     
  event addPK(string name, string PKv, uint256 VPv) ;  
function register_PK(uint ID_v, string memory PKname, string memory PKvehicle, uint256 vP) public returns(bool){
  require(users[ID_v].status == true,"register the public key of the user");
  if(msg.sender != VTA)
  {revert();}
    if(ID_v == 0)
    {return false;}
    else
    {
         ID_v++;
    users[ID_v]= user(PKname,PKvehicle,vP,true);
   
    //PKname=users[ID_v].PKname;
    //PKvehicle=users[ID_v].PKvehicle;
   // vP=users[ID_v].vP;
      emit addPK(PKname, PKvehicle, vP);
    return true;
    }
   }

}

我应该做什么？

Answer 1

进行坚固的静态分析，然后进行天然气和经济，除非除外。这是在本地呼叫上：
通过“ this”和Delete Dynamic Array调用本地功能：
使用/断言以确保删除。它将起作用