什么是 constant 和 immutable？合约里的值真的永远不能改吗
constant 在编译期确定，immutable 在部署构造阶段确定。本文讲清存储、Gas、初始化、错误部署和代理升级中的真实边界。
代币合约里有一个手续费率，开发者说它是“不可修改的”；另一个合约把管理员地址声明成 immutable，也说部署后不能变。前者可能只是普通状态变量没有公开修改入口，后者则由编译器采用不同方式固定。名字都像“不会改”，技术含义并不相同。
Solidity 的 constant 和 immutable 都用于部署后不再变化的状态值。核心区别是：constant 必须在编译时确定，immutable 可以在合约构造阶段根据部署参数或环境确定。
constant 是“编译这份代码时就知道”，immutable 是“部署这份合约时才确定”。
Constant 适合什么值
constant 必须在声明时由编译期可计算表达式赋值，例如固定比例分母、类型标识或哈希常量。它不能依赖 block.timestamp、msg.value、合约余额、storage 或外部调用，因为这些信息编译时并不存在。
Immutable 适合什么值
immutable 可在声明处或构造函数执行期间赋值，因此适合不同部署实例各不相同、但实例创建后不应变化的地址和参数，例如管理员、路由器、基础资产或部署时上限。构造阶段结束后，它不能再被普通函数修改。
一张表看清三类变量
| 类型 | 何时确定 | 部署后能改 | 典型用途 |
|---|---|---|---|
| constant | 编译期 | 不能 | 固定数学常数、标识 |
| immutable | 构造阶段 | 不能 | 实例专属地址与参数 |
| 普通状态变量 | 部署或运行期 | 按代码规则 | 余额、配置、业务状态 |
它们为什么通常比普通 storage 便宜
官方文档说明，constant 的值会在使用位置被替换，不为它保留 storage 槽；immutable 在构造时求值，之后其值复制进运行时代码的使用位置。因此读取它们通常比读取普通持久存储便宜，但具体 Gas 仍取决于表达式、使用次数和编译器优化。
便宜不代表应该全部改成不可变量
变量是否需要更新是业务与治理问题。若外部地址可能迁移、风险参数需要调整或依赖协议可能停用，强行 immutable 会让修复只能依靠重新部署或升级代理。先确定生命周期，再谈 Gas。
不可修改不等于值一定正确
构造参数填错、部署网络选错或管理员地址复制错误后，immutable 只会把错误永久固定。部署脚本应检查 chain ID、地址代码、零地址、接口支持和参数范围，并在验证后再交接权限。
不可变量也不是秘密
constant 和 immutable 的值会体现在公开代码或执行结果中，区块浏览器和分析工具通常可以识别。不要把 API 密钥、私钥、未公开策略或随机种子写进去；private constant 同样不等于加密。
支持的类型并非无限
当前官方文档指出，constant 和 immutable 并不支持所有类型；immutable 主要面向值类型，string 只适用于 constant 等具体限制应按编译器版本确认。数组、mapping 和复杂可变结构通常不是它们的使用场景。
构造阶段存在初始化顺序
继承体系中，不同层级的初始化表达式和构造函数有既定顺序。读取尚未按预期设置的 immutable，可能得到默认值或不同结果。复杂初始化应保持清晰，并用部署测试验证最终运行时代码中的值。
Constant 表达式可能被重复计算
constant 使用处会替换其表达式并可能重新求值，这给编译器优化空间，也意味着复杂表达式的成本不能只凭“constant”标签判断。官方文档甚至指出，某些 constant 可能比 immutable 更便宜，但不是所有情况都如此。
代理合约里要格外小心
使用 delegatecall 的代理通常执行实现合约的运行时代码。immutable 值嵌在实现代码中，同一实现后的多个代理会读到同一个 immutable 配置，而不是各自代理 storage 中的不同值。若每个代理实例需要独立参数，通常应使用初始化写入 storage，并正确保护 initializer。
升级会不会改变 Immutable
原实现的 immutable 不会被函数修改，但代理若升级到另一份实现代码，新实现可以携带不同 immutable 值。于是“变量不可修改”不等于“整个系统永远不变”。还要检查代理升级管理员、信标和治理权限。
如何验证链上的固定配置
- 查看验证源码与编译器设置。
- 核对部署交易的构造参数。
- 通过公开 getter 或合约调用读取实际值。
- 确认地址是否为代理及当前实现。
- 比较官方部署记录、事件和多方来源。
- 不要只相信变量名或项目宣传。
开发者选择清单
- 值能否在编译时完整确定？能则考虑 constant。
- 值是否每次部署不同但实例内永久固定？可考虑 immutable。
- 未来是否可能因安全或业务原因更新？
- 构造参数是否有严格验证与部署后复核？
- 代理后的多个实例是否需要不同配置？
- Gas 判断是否经过编译与基准测试？
官方资料
定义、代码内嵌、Gas 与初始化限制参考 Solidity：Constant and Immutable State Variables。这些细节会随编译器演进，开发和审计应使用项目对应版本。
constant 与 immutable 的价值，是让代码明确表达某个值的生命周期，并减少不必要的持久存储读取。它们能消除运行期修改路径，却不能修正错误部署，也不能替代对代理升级权和整体系统配置的检查。
本文为链上指南原创科普内容，不构成任何投资建议。合约参数即使标记为不可变量，也应结合部署交易、代理结构、验证源码与审计结果独立核查。