Chuyển đến nội dung chính

Tự học Solidity bài 41: SafeMath Library. An toàn dữ liệu trong ngôn ngữ lập trình SOLIDITY

SafeMath Library

Tự học Solidity bài 41: Thư viện SafeMath. An toàn dữ liệu trong ngôn ngữ lập trình SOLIDITY


Code đầy đủ của SafeMath


library SafeMath {

  function mul(uint256 a, uint256 b) internal pure returns (uint256) {
    if (a == 0) {
      return 0;
    }
    uint256 c = a * b;
    assert(c / a == b);
    return c;
  }

  function div(uint256 a, uint256 b) internal pure returns (uint256) {
    // assert(b > 0); // Solidity automatically throws when dividing by 0
    uint256 c = a / b;
    // assert(a == b * c + a % b); // There is no case in which this doesn't hold
    return c;
  }

  function sub(uint256 a, uint256 b) internal pure returns (uint256) {
    assert(b <= a);
    return a - b;
  }

  function add(uint256 a, uint256 b) internal pure returns (uint256) {
    uint256 c = a + b;
    assert(c >= a);
    return c;
  }
}

Đầu tiên chúng ta có từ khóa library các thư viện tương tự như các hợp đồng nhưng có một vài điểm khác biệt. Đối với mục đích của chúng ta, các thư viện cho phép chúng ta sử dụng từ khóa using, từ khóa này tự động gắn tất cả các phương thức của thư viện vào một kiểu dữ liệu khác:

Sử dụng SafeMath cho uint

// bây giờ chúng ta có thể sử dụng các phương thức này trên bất kỳ uint nào
using SafeMath for uint;
// now we can use these methods on any uint
uint test = 2;
test = test.mul(3); // test now equals 6
test = test.add(5); // test now equals 11

Lưu ý rằng mỗi hàm mul và add đều yêu cầu 2 đối số, nhưng khi chúng ta khai báo bằng SafeMath cho uint, uint mà chúng ta gọi hàm trên (test) sẽ tự động được chuyển vào làm đối số đầu tiên.

Hãy xem mã đằng sau add để xem SafeMath làm gì:

function add(uint256 a, uint256 b) internal pure returns (uint256) {
  uint256 c = a + b;
  assert(c >= a);
  return c;
}

Về cơ bản add chỉ thêm 2 gợi ý như +, nhưng nó cũng chứa một câu lệnh assert để đảm bảo rằng tổng lớn hơn a. Điều này bảo vệ chúng ta khỏi bị tràn.

Từ khoá assert tương tự như từ khoá require, nó sẽ tạo ra một lỗi nếu sai. Sự khác biệt giữa assert và require là require sẽ hoàn trả cho người dùng phần phí gas còn lại khi một chức năng bị lỗi, trong khi assert thì không. Vì vậy, hầu hết thời gian bạn muốn sử dụng require trong mã của bạn; assert thường được sử dụng khi có điều gì đó sai nghiêm trọng với mã (như tràn dữ liệu uint).

Vì vậy, nói một cách đơn giản, add, sub, mul và div của SafeMath là các hàm thực hiện 4 phép toán cơ bản, nhưng sẽ xảy ra lỗi nếu xảy ra tràn hoặc tràn.

Sử dụng SafeMath trong mã của chúng ta.

Để ngăn chặn tràn trên và tràn dưới, chúng ta có thể tìm trong mã của mình chỗ nào ta sử dụng +, -, * hoặc / và thay thế chúng bằng add, sub, mul, div.

Vì vậy bây giờ chúng ta tìm:

myUint++;

Chúng ta sẽ đổi thành

myUint = myUint.add(1);

Thực hành luôn cho nhớ lâu bạn nhé

Nếu bạn chưa biết cách TẠO FILE, COMPILER và DEPLOY thì hãy xem lại trong bài giới thiệu nhé. Có hướng dẫn chi tiết ở đó.

BÀI TIẾP THEO: BÀI SỐ 41

HỌC TỪ ĐẦU: BÀI SỐ 1

Bài đăng phổ biến từ blog này

Bài 1: Tài liệu tự học Solidity. Contracts & Pragma. Hợp Đồng và phiên bản Pragma

Contracts và  Pragma Trong khoá học online miễn phí Tự học lập trình web3 - Tự học ngôn ngữ lập trình Solidity Đầu tiên: Bạn hãy tải game  Xếp Hình Cổ Điển  này trên App Store như một ví dụ sử dụng code Solidity vào làm thực tế. Các ví dụ trong các bài học sau này cũng hay lấy trong các đoạn code game này. Link App Store game  Xếp Hình Cổ Điển https://apps.apple.com/vn/app/id1223275422 Những chú ý trước khi bắt đầu khoá học được trình bày tại  bài giới thiệu khoá học Summary for English Visiter pragma solidity >=0.5.0 <0.6.0; contract HelloWorld { } Thank you! 1. Contract Mã của Solidity được gói gọn trong các hợp đồng Contract. Hợp đồng là khối code cơ bản của các ứng dụng Ethereum - tất cả các biến và hàm đều thuộc một hợp đồng và đây sẽ là điểm khởi đầu của tất cả các dự án.  Một hợp đồng trống có tên HelloWorld sẽ trông như thế này: contract HelloWorld { } 2. Phiên bản Pragma Code solidity phải bắt đầu bằng "version pragma" - một khai báo về ...

Tự học ptkt Bitcoin. Kiến thức phân tích kỹ thuật trade coin từ A đến Z. Các trường phái ptkt coin

Tự học  Phân tích kỹ thuật trade coin từ A đến Z Tự học ptkt Bitcoin. Kiến thức phân tích kỹ thuật trade coin từ A đến Z . Các trường phái ptkt coin. 0. Lời nói đầu Phân tích giao dịch trong trade coin, trade chứng khoán... bao gồm 03 loại phân tích chính: Phân tích cơ bản, Phân tích kỹ thuật và Phân tích tâm lý. Như tiêu đề của bài viết này "Phân tích kỹ thuật Trade Coin từ A đến Z". Trong bài viết này tôi dựa trên những kiến thức thực chiến từ 2017 đến nay. Tự Học Trade Coin (Tuhocsolidity.com) sẽ giới thiệu đến bạn những kiến thức và bộ công cụ phân tích cần thiết từ cơ bản đến nâng cao để tự bạn có thể xây dựng cho mình một hệ thống giao dịch dành cho việc Trade Coin, Trade chứng khoán... hiệu quả nhất. Và bây giờ chúng ta bắt đầu tìm hiểu các khái niệm cơ bản trong trade coin từ A đến Z 1. Time Frame là gì? Khung thời gian là gì? Time Frame là khung thời gian thể hiện của biểu đồ giá. Có nhiều khung thời gian được sử dụng, phổ biến là 1 năm, 1 tháng, 1 tuần, 1 ngày, 4...

Bài giới thiệu: Tự học Solidity. Học lập trình web3. Lập trình Smart Contract các Blockchain

LỜI NÓI ĐẦU Đầu tiên: Bạn hãy tải game  Xếp Hình Cổ Điển  này trên App Store như một ví dụ sử dụng code Solidity vào làm thực tế. Các ví dụ trong các bài học sau này cũng hay lấy trong các đoạn code game này. Link App Store game  Xếp Hình Cổ Điển https://apps.apple.com/vn/app/id1223275422 Mục đích của blog này để chia sẻ một cách đơn giản nhất để bạn có thể tự học lập trình web3 Solidity bằng tiếng Việt, tự học online ngôn ngữ lập trình Solidity để Code ra một Smart Contract trên blockchain của ETH. Khoá học này dành cho những lập trình viên Việt Nam nhưng không giỏi đọc các tài liệu bằng tiếng Anh. Đặc biệt, những bài học này sẽ không rườm rà các lý thuyết. Vậy nên những khái niệm như Blockchain là gì, Smart Contract là gì thì mời các bạn tự tra cứu Google :) ĐỐI TƯỢNG PHÙ HỢP Trên cơ sở là bạn cũng đã có kiến thức về các ngôn ngữ lập trình khác rồi, giờ có nhu cầu học thêm một ngôn ngữ mới. Bạn cần một website học lập trình web3 Solidity một cách hệ thống từ A đến Z và...


“instagram”“youtube” “twitter”