在 Solidity 中，modifier（修饰器） 是一种特殊的语法结构，用于在函数执行前或后插入代码逻辑，通常用于代码复用和条件检查。它可以简化合约中的重复性验证逻辑（如权限控制、状态检查等），增强代码可读性和安全性。

---

1. modifier 的核心作用

• 前置条件检查：例如验证调用者身份（如 onlyOwner）。

• 后置状态更新：例如在函数执行后更新合约状态。

• 逻辑复用：避免在多个函数中重复相同的代码。

• 安全增强：统一管理关键约束（如防重入锁）。

---

2. 代码结构解析

一个 modifier 的基本结构如下：

solidity代码：

modifier <修饰器名称>(参数) {
    // 前置逻辑（条件检查）
    _; // 表示原函数体在此处执行
    // 后置逻辑（状态更新）
}

• _; 的作用：
  它是一个占位符，表示原函数体的执行位置。修饰器中的代码会在 _; 的前后执行。

---

3. 你提供的代码的问题

你的示例中存在一个常见错误：

solidity代码：

modifier mod() {
    _;          // 第一次执行原函数体
    active = false;
    _;          // 第二次执行原函数体
}

• 问题：_; 出现了两次，导致原函数体被重复执行两次，这通常不符合预期。

• 后果：若某个函数应用此修饰器，其逻辑会被执行两次，可能导致状态混乱或 Gas 浪费。

---

4. 正确用法示例

(1) 前置条件检查

solidity代码：

address owner;

modifier onlyOwner() {
    require(msg.sender == owner, "Not owner");
    _; // 验证通过后执行原函数体
}

function changeOwner(address newOwner) public onlyOwner {
    owner = newOwner;
}

(2) 后置状态更新

solidity代码：

bool active = true;

modifier deactivateAfter() {
    _; // 先执行原函数体
    active = false; // 执行后更新状态
}

function doSomething() public deactivateAfter {
    // 执行某些操作
}

(3) 防重入锁

solidity代码：

bool locked;

modifier noReentrancy() {
    require(!locked, "Reentrancy denied");
    locked = true;
    _;
    locked = false;
}

function withdraw() public noReentrancy {
    // 提款逻辑
}

---

5. 如何修复你的代码

若你的目的是在函数执行后设置 active = false，应删除多余的 _;：

solidity代码：

modifier mod() {
    _; // 执行原函数体
    active = false; // 函数执行后更新状态
}

---

6. 关键注意事项

1. 避免多次使用 _;：除非明确需要重复执行函数体（极少数场景）。

2. 修饰器顺序：多个修饰器按从左到右的顺序执行。

   solidity代码:

   function foo() public mod1 mod2 { ... }

   • 先执行 mod1 的逻辑，再执行 mod2。

3. Gas 成本：修饰器中的代码会增加 Gas 消耗，需优化逻辑。

---

总结

• modifier 是智能合约的“守卫”，用于统一管理函数的前置/后置逻辑。

• _; 决定了原函数体的执行时机，务必谨慎使用。

• 常见用途：权限控制、防重入、状态验证、日志记录等。