为何`coin::initialize`要强制`coin_address<CoinType> == account_addr`？

先看对应的断言代码：

assert!(
    coin_address<CoinType>() == account_addr,
    error::invalid_argument(ECOIN_INFO_ADDRESS_MISMATCH),
);

这个断言是Aptos Coin框架里代币初始化流程的核心安全限制，作用远不止你猜测的防止代初始化诈骗，具体可以从这几个角度理解：

• 绑定代币类型与归属账户的唯一性
  在Aptos的Move模型里，每个代币类型CoinType都和部署它的账户地址强绑定（coin_address<CoinType>()返回的就是该代币类型的部署账户地址）。这个断言强制要求：只有代币的发行方，才能给自己初始化代币存储，其他账户根本没法替别人做这件事。

• 规避权限滥用与资产混淆
  要是没这个约束，随便哪个账户都能给别人初始化代币存储，会引发两个严重问题：

  1. 恶意账户可以给目标账户初始化冷门代币的存储，之后通过转账诱导用户误操作——比如骗用户往这个账户转钱，利用用户对小众代币的不熟悉实施欺诈；
  2. 代币发行方对资产的控制权会被削弱，第三方可能通过代初始化操作干扰代币流通逻辑，比如制造虚假的代币持有记录，破坏链上账本的真实性。

• 契合Move语言的资源模型设计
  Move里的资源（比如Coin）核心特性是所有权明确，代币存储作为代币资产的载体，必须由代币发行方来创建，从根源上保证资源归属和权限的一致性，不会出现“不属于你的资源被别人创建在你账户下”的逻辑矛盾。

• 强化代币发行的责任追溯
  只有发行账户能初始化自己的代币存储，意味着该代币的所有初始资产都来自发行方，后续的流通、转账等操作都能追溯到初始发行节点，方便链上审计和合规监管，防止无授权的代币资产凭空产生。

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