Làm rõ về hoàn tiền gas và so sánh giữa “yêu cầu” và “hoàn lại” trong hợp đồng thông minh

requireCó 3 chức năng để xác nhận trong Solidity:revert,assert, và.

Yêu cầu

• Được sử dụng khi bắt đầu một chức năng
• Xác thực chống lại đầu vào bất hợp pháp
• Xác minh các điều kiện trạng thái trước khi thực hiện
• Hoàn tiền xăng còn sót lại

Ví dụ:

require(msg.sender == owner, "Only. owner can execute this action");

Đổi

• Giống với yêu cầu
• Hữu ích cho các cổng luồng logic phức tạp hơn (tức là các khối if-then phức tạp)
• Hoàn tiền xăng còn sót lại

Ví dụ:

revert("Something funky has occured");

Khẳng giả

• Được sử dụng ở cuối một chức năng
• Xác nhận một cái gì đó không thể
• Quan trọng đối với các công cụ phân tích mã tĩnh
• Không hoàn lại lượng khí còn sót lại

Ví dụ:

assert(num >= 0);

Lưu ý rằng requirevà revertchỉ hoàn lại lượng khí còn lại. Bất kỳ khí nào được sử dụng trước tuyên bố đó sẽ được tiêu thụ. Cả hai chức năng này đều sử dụng cùng một opcode REVERT dưới mui xe.

assertkhác vì nó không hoàn lại bất kỳ khí đốt nào và sử dụng tất cả khí có sẵn cho giao dịch. Nó dự kiến sẽ được sử dụng ít thường xuyên hơn và nên được sử dụng để kiểm tra các điều kiện bất thường và không dự kiến xảy ra.