類型如何從庫中繼承？

當您使用像 SafeMath 這樣的庫時，然後using SafeMath for uint256;在合約中擁有，uints 怎麼知道成為a庫函式的參數？當您是using數據類型的庫時，這只是適用於所有函式的約定嗎？

例如，您會這樣做some_uint.sub(4)，但該sub方法同時具有a和b參數：

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

是的，您應用該sub方法的值會自動成為第一個參數。

引用自：https://ethereum.stackexchange.com/questions/28700