Solidity 合约是智能合约开发的核心构建块，类似于面向对象编程中的类。每个合约包含持久化的状态变量和可修改这些变量的函数，在以太坊虚拟机上运行并遵循特定的可见性规则和继承机制。
合约创建与初始化
合约可以通过以太坊交易从外部创建，也可以在另一个 Solidity 合约内部创建。开发工具如 Remix 提供了用户界面简化创建过程，而 web3.js 库则提供了编程式创建合约的方法。
构造函数机制
每个合约可以包含一个可选的构造函数，使用 constructor 关键字声明，在合约部署时执行一次。构造函数执行完成后，合约的最终代码将被存储在区块链上，但不包含构造函数本身的代码。
contract OwnedToken {
address public owner;
bytes32 public name;
constructor(bytes32 name_) {
owner = msg.sender;
name = name_;
}
}可见性控制与Getter函数
状态变量可见性
- public: 自动生成getter函数，可供外部访问
- internal: 仅限合约内部和派生合约访问（默认可见性）
- private: 仅限定义它们的合约内部访问
函数可见性层级
- external: 只能从外部调用，作为合约接口的一部分
- public: 可通过内部或外部方式调用，是合约接口的一部分
- internal: 仅限合约内部和派生合约调用
- private: 仅限定义它们的合约内部调用
自动Getter函数生成
编译器为所有public状态变量自动生成getter函数。对于数组类型的public变量，只能通过生成的getter函数检索单个元素。
contract Example {
uint[] public myArray;
function getArray() public view returns (uint[] memory) {
return myArray;
}
}函数修饰器与错误处理
函数修饰器用于以声明方式修改函数行为，在执行函数前自动检查条件。修饰器是合约的可继承属性，可被派生合约重写。
自定义错误类型
Solidity 提供了省gas的错误处理机制，允许定义自定义错误类型：
error InsufficientBalance(uint256 available, uint256 required);
contract TestToken {
mapping(address => uint) balance;
function transfer(address to, uint256 amount) public {
if (amount > balance[msg.sender])
revert InsufficientBalance({
available: balance[msg.sender],
required: amount
});
balance[msg.sender] -= amount;
balance[to] += amount;
}
}继承与多态性
Solidity支持多重继承，包括多态性。函数调用总是执行继承层次结构中最新继承的合约中的同名函数，需要使用 virtual 和 override 关键字明确启用。
线性化继承顺序
继承顺序遵循C3线性化规则，从"最接近的基类"到"最远的继承"顺序指定所有基类：
contract Final is Base1, Base2 {
function destroy() public override(Base1, Base2) {
super.destroy();
}
}抽象合约与接口
抽象合约
包含至少一个未实现函数的合约必须标记为abstract：
abstract contract Feline {
function utterance() public virtual returns (bytes32);
}接口合约
接口类似于抽象合约但有更多限制：
- 不能继承其他合约（只能继承其他接口）
- 所有函数必须是external类型
- 不能声明构造函数、状态变量或修饰器
interface Token {
function transfer(address recipient, uint amount) external;
}库合约开发模式
库合约只需在特定地址部署一次，代码可通过DELEGATECALL重用。库函数在调用合约的上下文中执行，能够访问调用合约的存储。
library Set {
struct Data { mapping(uint => bool) flags; }
function insert(Data storage self, uint value) public returns (bool) {
if (self.flags[value]) return false;
self.flags[value] = true;
return true;
}
}Using For 指令应用
using A for B 指令将函数附加到类型上，使其可以像成员函数一样调用：
using {insert, remove, contains} for Data;
function register(uint value) public {
require(knownValues.insert(value));
}常量和不可变量优化
状态变量可声明为 constant 或 immutable 以减少gas消耗：
- constant: 编译时必须定值
- immutable: 构造时可赋值一次
contract C {
uint constant X = 32**22 + 8;
uint immutable decimals;
address immutable owner = msg.sender;
}接收和回退函数
接收以太函数
合约最多可有一个 receive 函数处理纯以太转账：
receive() external payable {
emit Received(msg.sender, msg.value);
}回退函数
当没有其他函数匹配时调用回退函数：
fallback() external payable {
x = 1;
y = msg.value;
}事件日志与监听
事件提供EVM日志功能的抽象，应用程序可通过RPC接口订阅和监听：
event Deposit(
address indexed from,
bytes32 indexed id,
uint value
);
function deposit(bytes32 id) public payable {
emit Deposit(msg.sender, id, msg.value);
}常见问题
合约创建有哪些方式？
合约可以通过以太坊交易从外部创建，也可以在另一个合约内部使用 new 关键字创建。两种方式都需要提供合约的源代码和二进制代码，创建者必须知道被创建合约的完整代码。
如何正确使用函数修饰器？
函数修饰器应使用 virtual 关键字声明，在派生合约中使用 override 关键字重写。修饰器中的 _ 符号表示被修饰函数体的插入位置，可以在修饰器中多次出现。
常量和不可变量有什么区别？
常量（constant）必须在编译时固定值，而不可变量（immutable）可以在构造时赋值一次。不可变量比常量更灵活，但常量在某些情况下可能gas成本更低。
如何处理合约中的错误？
推荐使用自定义错误类型代替require语句中的字符串消息，这样可以显著减少gas消耗。自定义错误通过revert语句触发，提供更高效的错误报告机制。
如何优化库合约的使用？
对于不修改状态的库函数，可以直接调用而不使用DELEGATECALL。使用存储引用参数可以减少数据复制，使用内部函数调用可以避免外部调用开销。
继承多个合约时应注意什么？
需要确保继承线性化正确，使用override关键字明确指定所有冲突的函数，并注意构造函数参数的传递方式。线性化顺序遵循从右到左的深度优先搜索。
通过掌握这些核心概念和最佳实践，您可以构建更高效、更安全的智能合约系统。记得始终进行充分的测试和安全审计，确保合约在实际部署前的稳定性。