library contract 

        在 Solidity 中，库是一种无状态合约（即它没有可变状态），它实现了一组可被其他合约使用的函数--这是库的主要目的。与合约不同，库没有状态：它们的函数通过 DELEGATECALL 在调用者的状态下执行。但与合约一样，库也必须部署后才能使用。幸运的是，Forge 支持自动链接库（我们不需要在测试中部署库），这让我们的工作变得更轻松。

library ZuniswapV2Library {error InsufficientAmount();error InsufficientLiquidity();function getReserves(address factoryAddress,address tokenA,address tokenB) public returns (uint256 reserveA, uint256 reserveB) {(address token0, address token1) = _sortTokens(tokenA, tokenB);(uint256 reserve0, uint256 reserve1, ) = IZuniswapV2Pair(pairFor(factoryAddress, token0, token1)).getReserves();(reserveA, reserveB) = tokenA == token0? (reserve0, reserve1): (reserve1, reserve0);}...

        这是一个高级函数，它可以获取任意配对的reserve。

        函数的第一步是token地址排序--当我们想通过token地址查找pair地址时，总是要这样做。这就是我们下一步要做的事情：有了factory地址和排序过的token地址，我们就能获得pair地址--我们接下来会看看 pairFor 函数。

        请注意，在返回之前，我们已经对储备进行了排序：我们希望按照token地址指定的顺序返回它们！

        现在，让我们来看看 pairFor 函数：

function pairFor(address factoryAddress,address tokenA,address tokenB) internal pure returns (address pairAddress) {

        该函数用于通过factory地址和token地址查找pair地址。最直接的方法是从factory合约中获取配对地址，例如

ZuniswapV2Factory(factoryAddress).pairs(address(token0), address(token1))

        但这样做会产生外部调用，从而使函数的运行成本增加。

        Uniswap 使用的是更先进的方法，我们可以从 CREATE2 操作码的确定性地址生成中获的启发。

(address token0, address token1) = sortTokens(tokenA, tokenB);pairAddress = address(uint160(uint256(keccak256(abi.encodePacked(hex"ff",factoryAddress,keccak256(abi.encodePacked(token0, token1)),keccak256(type(ZuniswapV2Pair).creationCode))))));

        这段代码生成地址的方式与 CREATE2 相同。

        1、第一步是对token地址进行排序。还记得 createPair 函数吗？我们使用排序过的令牌地址作为盐。

        2、接下来，我们构建一个字节序列，其中包括：

        0xff - 第一个字节有助于避免与 CREATE 操作码发生碰撞。(更多详情请参见 EIP-1014）。

        factoryAddress - 用于部署配对的工厂。

        salt - 已排序和散列的token地址。

        一对合约字节码的哈希值 - 我们对 creationCode 进行哈希处理以获得该值。

        3、然后，对字节序列进行散列（keccak256）并转换为地址（字节->uint256->uint160->地址）。

        整个过程在 EIP-1014 中定义，并在 CREATE2 操作码中实现。我们要做的就是在 Solidity 中重新实现地址生成！

        最后，我们来到引用函数。

function quote(uint256 amountIn,uint256 reserveIn,uint256 reserveOut) public pure returns (uint256 amountOut) {if (amountIn == 0) revert InsufficientAmount();if (reserveIn == 0 || reserveOut == 0) revert InsufficientLiquidity();return (amountIn * reserveOut) / reserveIn;}

        如前所述，该函数根据输入量和配对储备计算输出量。这样，我们就可以知道用特定数量的token A 换取多少token B。在交换中，使用的是基于恒积公式的公式。