Solidity中为何需要使用库？入门开发者的困惑：可直接写函数却要用库

对于Solidity入门开发者来说，疑惑“既然能直接写函数，为啥还要用库”很正常，结合你给出的UniswapV2Library例子，核心原因可以总结为这几点：

• 极致的代码复用与模块化
  像Uniswap里的sortTokens和pairFor这类逻辑，是多个合约（比如Factory合约、Pair合约）都会用到的通用功能。把它们放进库之后，不用在每个合约里重复粘贴相同代码，一次编写就能在任意需要的地方调用，彻底消除冗余。

• 降低部署与交互的Gas成本
  Solidity库的internal函数会被嵌入到调用它的合约中，但相比在每个合约里重复写相同逻辑，库的方式能减少字节码的重复量；如果是external库函数，多个合约可以共享同一个已部署的库合约，避免重复部署相同代码带来的额外Gas消耗。Uniswap的库逻辑被大量合约引用，这能帮整个协议省下不少Gas开支。

• 提升代码可读性与维护效率
  把通用逻辑抽离到库之后，业务合约的代码会更简洁，只需要关注自身的核心逻辑（比如Uniswap Factory合约专注于Pair的创建逻辑，不用关心代币排序、地址计算这些细节）。后续如果需要修改这些通用逻辑，只需要更新库即可，不用逐个修改引用了该逻辑的合约，大幅降低维护成本。

• 规避栈深度限制问题
  Solidity对调用栈的深度有严格限制（默认是1024层），复杂的逻辑如果全部写在合约内部，容易触发栈溢出。将部分逻辑拆分到库中调用，可以通过改变执行上下文来避开这个限制，让代码更稳定。

以下是你提供的UniswapV2Library示例代码：

library UniswapV2Library {
    using SafeMath for uint;

    // returns sorted token addresses, used to handle return values from pairs sorted in this order
    function sortTokens(address tokenA, address tokenB) internal pure returns (address token0, address token1) {
        require(tokenA != tokenB, 'UniswapV2Library: IDENTICAL_ADDRESSES');
        (token0, token1) = tokenA < tokenB ? (tokenA, tokenB) : (tokenB, tokenA);
        require(token0 != address(0), 'UniswapV2Library: ZERO_ADDRESS');
    }

    // calculates the CREATE2 address for a pair without making any external calls
    function pairFor(address factory, address tokenA, address tokenB) internal pure returns (address pair) {
        (address token0, address token1) = sortTokens(tokenA, tokenB);
        pair = address(uint(keccak256(abi.encodePacked(
                hex'ff',
                factory,
                keccak256(abi.encodePacked(token0, token1)),
                hex'96e8ac4277198ff8b6f785478aa9a39f403cb768dd02cbee326c3e7da348845f' // init code hash
            ))));
    }
    .... other functions ..
}

内容的提问来源于stack exchange，提问作者user19258362