当前位置： 首页 > news >正文

#SVA语法滴水穿石# （013）关于 disable iff、matched 、expect 的用法

news 来源：原创 2025/8/28 23:49:47

SystemVerilog 断言（SVA）中 disable iff、matched 和 expect 的语法知识。

1. disable iff (condition)

功能与定义

  • 作用：当指定条件（condition）为真时，禁用当前属性的检查。

    • 常用于复位（reset）期间忽略断言检查，避免误报。

    • 条件生效时，断言立即停止检测，且不会触发失败。

语法：

property <property_name>;disable iff (condition) <property_definition>;
endproperty

示例与波形

 

property check_valid_data;disable iff (reset)  // 复位期间不检查@(posedge clk) valid |-> (data == expected_data);
endpropertyassert property (check_valid_data);

波形分析：

周期： 0   1   2   3
reset :1   0   0   0
valid :0   1   1   0
data  :X   5   6   5
expected_data:5   5   5

  • 周期 0：reset=1，断言被禁用。

  • 周期 1：data=5，符合预期 → 断言通过。

  • 周期 2：data=6，不符合预期，但 reset=0 → 断言失败。

2. matched

功能与定义

  • 作用：用于 引用一个命名子序列的结束时间点，通常用于同步多个序列的时序关系。

    • 结合 end 关键字，捕获子序列的结束时间。

    • 常用于多序列组合中需要对齐时序的场景。

  • 语法：

    sequence sub_seq;... // 子序列定义
endsequencesequence parent_seq;sub_seq.ended ... // 使用 matched 捕获子序列结束点
endsequence

    示例与波形

sequence req_ack_seq;req ##1 ack;
endsequencesequence data_transfer_seq;data_valid ##2 data_done;
endsequenceproperty check_sync;@(posedge clk) req_ack_seq.ended |-> data_transfer_seq.ended;
endpropertyassert property (check_sync);

波形分析：

周期： 0   1   2   3
req  :1   0   0   0
ack  :0   1   0   0    // req_ack_seq 在周期1结束
data_valid:1   1   1   0
data_done :0   0   1   0  // data_transfer_seq 在周期2结束

  • 断言失败：req_ack_seq 在周期1结束，但 data_transfer_seq 在周期2结束，时序不同步。

3. expect

功能与定义

  • 作用：类似于 assert，但 支持阻塞等待属性成功并执行后续操作。

    • 常用于测试平台（testbench）中，等待特定条件后继续执行代码。

    • 可以指定超时时间，若超时则触发 else 分支。

  • 语法：

    expect (<property_expression>) <action_on_success> else <action_on_failure>;

    示例与波形

initial begin// 等待 req 后 2 周期内收到 ack，超时则报错expect (@(posedge clk) req |-> ##[1:2] ack) $display("ACK received on time.");else $error("ACK timeout!");// 继续执行其他操作send_data();
end

波形分析：

周期： 0   1   2   3   4
req  :0   1   0   0   0
ack  :0   0   1   0   0

  • 断言通过：ack 在周期2拉高（在 req 后 2 周期内）→ 打印成功消息。

  • 超时场景：若 ack 在周期3拉高，触发 else 分支报错。

4. 对比总结

关键字核心作用典型应用场景
disable iff条件触发时禁用属性检查复位期间忽略断言
matched同步子序列的结束时间点多序列时序对齐（如握手协议）
expect阻塞等待属性成功并执行后续操作测试平台中的条件等待与流程控制

 

相关文章：

#SVA语法滴水穿石# （013）关于 disable iff、matched 、expect 的用法

SystemVerilog 断言&#xff08;SVA&#xff09;中 disable iff、matched 和 expect 的语法知识。 1. disable iff (condition) 功能与定义 作用&#xff1a;当指定条件&#xff08;condition&#xff09;为真时&#xff0c;禁用当前属性的检查。 常用于复位&#xff08;rese…...

编程日记 2025/8/28 23:49:47

Day2-2：前端项目uniapp壁纸实战

再在wallpaper新建一个目录components 在components下新建组件common-title 记得点击创建同名目录 在index加 <view class"select"><common-title></common-title></view> 图片换了下&#xff0c;原来的有点丑&#xff0c;图片可按自己喜欢…...

编程日记 2025/8/28 22:29:41

pycharm如何通过跳板机连接服务器在本地debug

现在假设你有一个服务器&#xff0c;需要跳板机登陆&#xff0c;但是你从跳板机到服务器&#xff0c;只知道能直接通过ssh连接。 首先你可以现在本地创建一个 SSH 配置文件&#xff08;~/.ssh/config&#xff09;&#xff1a; Host jumpHostName 跳板机地址Port 端口User 用户…...

编程日记 2025/8/28 23:49:46

Mysql explain中列的解析

EXPLAIN列的解释&#xff1a; table&#xff1a;显示这一行的数据是关于哪张表的 type&#xff1a;这是重要的列&#xff0c;显示连接使用了何种类型。从最好到最差的连接类型为const、eq_reg、ref、range、indexhe和ALL possible_keys&#xff1a;查询可以利用的索引&#…...

编程日记 2025/8/28 23:47:49

场馆预定系统小程序PHP+uniapp

场馆预定系统小程序&#xff1a;基于PHPUniApp的多场景体育场馆智慧化解决方案 随着全民健身意识的提升&#xff0c;体育场馆的数字化管理需求日益增长。场馆预定系统小程序凭借其轻量化、高便捷性&#xff0c;成为体育馆、羽毛球馆、兵乒球馆等场所提升运营效率的核心工具。本…...

编程日记 2025/8/28 16:25:17

05.unity 游戏开发-3D工程的创建及使用方式和区别

05.unity 游戏开发-3D工程的创建及使用方式和区别 提示&#xff1a;帮帮志会陆续更新非常多的IT技术知识&#xff0c;希望分享的内容对您有用。本章分享的是Python基础语法。前后每一小节的内容是存在的有&#xff1a;学习and理解的关联性&#xff0c;希望对您有用~ unity简介…...

编程日记 2025/8/28 10:04:10

php8 命名参数使用教程

简介 PHP 8 引入 命名参数&#xff08;Named Arguments&#xff09;&#xff0c;允许在调用函数时按参数名传递值&#xff0c;而不是按照参数位置。这增强了代码的可读性、灵活性&#xff0c;并减少参数顺序依赖。 基本用法 传统位置参数&#xff08;Positional Arguments&a…...

编程日记 2025/8/28 23:47:46

Transformer与注意力机制详解

1 Transformer与注意力机制详解 本文直观上详细介绍了大语言模型中十分重要的结构——Transformer，及其核心：注意力机制的原理。 1. Transformer结构 基础结构如下图所示，左侧由一系列Encoder block（编码器）构成，接收字词句输入；右侧由一系列Decoder block（解码器）…...

编程日记 2025/8/28 23:47:48

xLua环境控制+xLua的Lua调用C#的1

编写自定义加载器加载指定路径的Lua文件&#xff1a; using System.Collections; using System.Collections.Generic; using System.IO; using UnityEngine; using XLua;//Lua是脚本语言&#xff0c;编写代码脚本是实现功能最重要的方式 public class Loader : MonoBehaviour …...

编程日记 2025/8/28 5:34:28

RabbitMQ应用问题

RabbitMQ应用问题 一.幂等性1.简述概念2.MQ的幂等性介绍3.解决幂等性问题(1)全局唯一ID(2)业务逻辑判断 二.顺序性保障1.简单介绍2.无法保证顺序性的场景3.保障方案1)单队列消费者2)分区消费3)消息确认机制4)业务逻辑控制 三.消息积压问题1.原因分析2.解决方案 一.幂等性 1.简…...

编程日记 2025/8/27 19:29:17

轻量化大模型微调工具XTuner指令微调实战（下篇）

接着上篇文章《轻量化大模型微调工具XTuner指令微调实战&#xff08;上篇&#xff09;》来接着写教程。 一、模型转换 模型训练后会自动保存成 PTH 模型&#xff08;例如 iter_500.pth&#xff09;&#xff0c;我们需要利用 xtuner convert pth_to_hf 将其转换为 HuggingFace…...

编程日记 2025/8/17 23:02:38

Redis数据结构之ZSet

目录 1.概述2.常见操作2.1 ZADD2.2 ZRANGE2.3 ZREVRANGE2.4 ZRANGEBYSCORE2.5 ZSCORE2.6 ZCARD2.6 ZREM2.7 ZINCRBY2.8 ZCOUNT2.9 ZMPOP2.10 ZRANK2.11 ZREVRANK 3.总结 1.概述 ZSet和Set一样也是String类型元素的集合&#xff0c;且不允许重复的成员&#xff0c;不同的是ZSet…...

编程日记 2025/8/24 21:58:00

STM32提高篇: CAN通讯

STM32提高篇: CAN通讯 一.CAN通讯介绍1.物理层2.协议层二.STM32CAN外设1.CAN控制器的3种工作模式2.CAN控制器的3种测试模式3.功能框图三.CAN的寄存器介绍1.环回静默模式测试2.双击互发测试四.CAN的HAL代码解读一.CAN通讯介绍 CAN（Controller Area Network 控制器局域网，简称…...

编程日记 2025/8/25 0:49:22

贪心算法之最小生成树问题

1. 贪心算法的基本思想 贪心算法在每一步都选择局部最优的边&#xff0c;希望最终得到整体最优的生成树。常见的两种 MST 算法为 Kruskal 算法 和 Prim 算法。这两者均满足贪心选择性质和最优子结构性质&#xff0c;即&#xff1a; 贪心选择性质&#xff1a;局部最优选择&…...

编程日记 2025/8/23 5:34:06

C++EasyX之五子棋PVP和PVE

以下是该C EasyX五子棋代码的详细解析&#xff1a; ​ 1 代码 1.1 全代码 #include <graphics.h> #include <conio.h> #include <Windows.h> #include <cmath> #include <vector> #include <tuple> #include <algorithm>using na…...

编程日记 2025/8/27 9:57:48

【Tauri2】015——前端的事件、方法和invoke函数

目录 前言 正文 准备 关键url 获取所有命令 切换主题set_theme 设置大小 获得版本version 名字name 监听窗口移动 前言 【Tauri2】005——tauri::command属性与invoke函数-CSDN博客https://blog.csdn.net/qq_63401240/article/details/146581991?spm1001.2014.3001.…...

编程日记 2025/8/28 12:02:31

【C++奇遇记】C++中的进阶知识(继承(二))

&#x1f3ac; 博客主页&#xff1a;博主链接 &#x1f3a5; 本文由 M malloc 原创&#xff0c;首发于 CSDN&#x1f649; &#x1f384; 学习专栏推荐&#xff1a;LeetCode刷题集 数据库专栏 初阶数据结构 &#x1f3c5; 欢迎点赞 &#x1f44d; 收藏 ⭐留言 &#x1f4dd; 如…...

编程日记 2025/8/28 5:29:12

qt designer 软件主题程序设计

对于使用Qt Designer设计的界面&#xff0c;主题切换的实现需要结合Qt的信号槽机制、样式表动态加载以及资源管理。以下是针对Qt Designer UI的详细解决方案&#xff1a; 一、UI文件与主题系统的整合架构 二、核心实现步骤 1. 动态样式表加载系统 // ThemeManager.h class …...

编程日记 2025/8/27 13:33:21

2025 年 4 月补丁星期二预测：微软将推出更多 AI 安全功能

微软正在继续构建其 AI 网络安全战略&#xff0c;并于本月宣布在 Microsoft Security Copilot 中引入新代理。 他们引入了用于网络钓鱼分类的代理、用于数据丢失预防和内部风险管理的警报分类、条件访问优化、漏洞修复和威胁情报简报。 这些代理的目标是不断从这些不同学科中…...

编程日记 2025/8/25 21:37:27

docker swarm常用命令

1、初始化Swarm集群 用于初始化一个Swarm集群&#xff0c;并将当前节点设置为Manager节点。 用法&#xff1a;docker swarm init --advertise-addr <Manager节点IP> # docker swarm init --advertise-addr 192.168.1.100 这会将当前节点初始化为Swarm集群的管理节点&…...

编程日记 2025/8/27 21:32:22

抖音直播位置与IP属地不同？解析原因与应对策略

在当今短视频直播盛行的时代&#xff0c;抖音作为头部平台吸引了大量主播和观众。然而&#xff0c;许多用户发现一个令人困惑的现象&#xff1a;直播间显示的位置信息与账号IP属地不一致。这种情况不仅让观众产生疑问&#xff0c;也可能给主播带来不必要的麻烦。本文将深入分析…...

编程日记 2025/8/28 14:05:37

「限时开源」全网首发！DeepSeek-R1+AI绘画+音乐生成全栈源码

—企业级AIGC私有化终极方案&#xff0c;3大模态整合&#xff0c;成本直降90% 行业痛点&#xff1a;为什么企业急需这套方案&#xff1f; 1. 多模态AIGC的三大困局 成本失控 API吸血&#xff1a; 使用MidjourneyStable DiffusionGPT-4Suno API生成内容&#xff0c;企业月均支…...

编程日记 2025/8/25 15:40:42

设计模式简述（二）单例模式

单例模式 描述基本使用防破坏单例饿汉式懒汉式有上限多例 描述 一个类全局只有一个实例&#xff0c;自行实例化并提供给使用。 构造函数私有化是前提 基本使用 防破坏单例 防反射&#xff1a;在构造函数中判断类中实例是否已初始化 private InnerClassSingleton (){if(Inn…...

编程日记 2025/8/26 15:11:33

区块链钱包：与主流钱包APP的区别

前言 在前端开发者速入：DApp中的前端要干些什么？文中我简单讲解了在DApp中前端开发者要干的是什么，本来在接下来的内容中我应该继续讲解在DApp中前端开发者的一系列工作和其他所要用到的技术栈，但是为了方便后续的讲解，我们这里不得不提及一下在区块链中让无数人又爱又恨…...

编程日记 2025/8/27 20:50:28

23种设计模式-行为型模式-中介者

文章目录 简介问题解决代码架构优势 总结 简介 中介者是一种行为设计模式&#xff0c; 能让你减少对象之间混乱无序的依赖关系。该模式会限制对象之间的直接交互&#xff0c;强制让它们通过一个中介者对象进行合作。 问题 假如你有一个创建和修改用户资料的对话框&#xff0…...

编程日记 2025/8/28 11:34:08

mysql数据库中getshell的方式总结

mysql数据库中getshell的方式总结 MySQL版本大于5.0&#xff0c;MySQL 5.0版本以上会创建日志文件,我们通过修改日志文件的全局变量,就可以GetSHELL,下面这篇文章主要给大家介绍了关于mysql数据库中getshell的方式,需要的朋友可以参考下 outfile和dumpfile写shell 利用条件 …...

编程日记 2025/8/27 21:13:45

神经网络基础

神经网络的基本组成元素 一个神经元&#xff1a; 单层神经网络&#xff1a; 多层神经网络&#xff1a;&#xff08;前向计算&#xff09; 为什么要使用激活函数 如果不使用激活函数&#xff0c;每层只对上层的输入进行线性变换&#xff0c;实际这些线性变换可以归为一层即可。…...

编程日记 2025/8/26 11:39:14

Redis的公共操作命令

目录 1.Key操作命令1.1 keys *1.2 exists <key]>1.3 type <key>1.4 del <key>1.5 unlink <key>1.6 ttl <key>1.7 expire <key> <秒数>1.8 move <key> <index> 2.库操作命令2.1 select <index>2.2 dbsize2.3 flush…...

编程日记 2025/8/28 6:29:01

Redash：一个开源的数据查询与可视化工具

Redash 是一款免费开源的数据可视化与协作工具&#xff0c;可以帮助用户快速连接数据源、编写查询、生成图表并构建交互式仪表盘。它简化了数据探索和共享的过程&#xff0c;尤其适合需要团队协作的数据分析场景。 数据源 Redash 支持各种 SQL、NoSQL、大数据和 API 数据源&am…...

编程日记 2025/8/28 22:41:54

Transformer+BO-SVM多变量时间序列预测（Matlab）

TransformerBO-SVM多变量时间序列预测&#xff08;Matlab&#xff09; 目录 TransformerBO-SVM多变量时间序列预测&#xff08;Matlab&#xff09;效果一览基本介绍程序设计参考资料 效果一览 基本介绍 本期推出一期高创新模型&#xff0c;基于Transformer提取时序特征后输入S…...

编程日记 2025/8/27 22:23:17

【Redis】服务端高并发分布式结构

一、认识Redis Redis是开源的&#xff0c;用于存储数据的&#xff0c;在内存中存储数据。Redis被用作数据库&#xff0c;缓存&#xff0c;消息队列等一些作用。 在数据库的学习中&#xff0c;我们学习了MySQL&#xff0c;但是MySQL有一些大问题&#xff1a;其访问速度比较慢。在…...

编程日记 2025/8/28 9:58:15

C和C++（list）的链表初步

链表是构建其他复杂数据结构的基础&#xff0c;如栈、队列、图和哈希表等。通过对链表进行适当的扩展和修改&#xff0c;可以实现这些数据结构的功能。想学算法&#xff0c;数据结构&#xff0c;不会链表是万万不行的。这篇笔记是一名小白在学习时整理的。 C语言 链表部分 …...

编程日记 2025/8/27 16:24:51

第九课：LoRA模型的原理及应用

文章目录 Part.01 3种LoRA的使用方式Part.02 5种LoRA的应用方向Part.01 3种LoRA的使用方式 LoRA能够在家用级设备上训练，实现对Checkpoint在某些方面的微调使用Lora的三种方式：放置Lora模型到目录中，然后作为提示词的一部分输入。点击生成按钮下面的“画”，然后打开Additio…...

编程日记 2025/8/28 2:01:07

make_01_Program_07_$@ $^ 是什么含义

在 Makefile 中&#xff0c;$ 和 $^ 是自动变量&#xff0c;用于表示目标和依赖关系的特殊含义。它们常用于规则中的命令部分&#xff0c;以便简化 Makefile 的书写。 自动变量解析 $&#xff1a; $ 表示当前规则的目标文件名。换句话说&#xff0c;在一个特定的规则中&#x…...

编程日记 2025/8/28 6:03:23

CKPT文件是什么？

检查点&#xff08;Checkpoint&#xff0c;简称ckpt&#xff09;是一种用于记录系统状态或数据变化的技术&#xff0c;广泛应用于数据库管理、机器学习模型训练、并行计算以及网络安全等领域。以下将详细介绍不同领域中ckpt检查点的定义、功能和应用场景。 数据库中的ckpt检查点…...

编程日记 2025/8/26 16:03:17

YOLOv11训练教程：PyTorch与PyCharm在Windows 11下的完整指南

YOLOv11训练教程&#xff1a;PyTorch与PyCharm在Windows 11下的完整指南 介绍与引言 YOLO(You Only Look Once)是当前最流行的实时目标检测算法系列之一&#xff0c;YOLOv11作为该系列的最新演进版本&#xff0c;继承了YOLO家族高效、快速的特点&#xff0c;同时在精度和速度…...

编程日记 2025/8/27 22:15:38

使用MATIO库写入MATLAB结构体(struct)数据的示例程序

使用MATIO库写入MATLAB结构体(struct)数据的示例程序 MATIO是一个用于读写MATLAB数据文件(.mat)的开源C库。下面是一个完整的示例程序&#xff0c;展示如何使用MATIO库创建一个包含结构体数据的MAT文件。 示例程序 #include <stdio.h> #include <stdlib.h> #inc…...

编程日记 2025/8/28 20:24:46

【大模型深度学习】提示学习：Prefix tuning 、P-tuning v2、P-tuning 到底有什么区别？

Prefix tuning 、P-tuning v2、P-tuning还在傻傻分不清。 到底有什么区别&#xff0c;本文希望说明白这些区别&#xff0c;如有错误欢迎指出。 一、为什么需要提示学习&#xff1f; 从全参微调到参数高效微调&#xff08;PEFT&#xff09;,这些微调方法的思想都是重新训练模…...

编程日记 2025/8/28 22:27:40

多周期多场景的供应链优化问题 python 代码

这段代码是一个使用 Gurobi 优化器的混合整数规划（MIP）模型，用于解决一个多周期多场景的供应链优化问题。代码定义了一个名为 `MCCG` 的类，该类包含了多个方法，用于构建和解决主问题（Master Problem）、子问题（Subproblem）和子子问题（Sub-subproblem）。下面是对代码中…...

编程日记 2025/8/27 6:14:55

CCF GESP Python编程 一级认证真题 2025年3月

Python 一级 2025 年 03 月 题号 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 答案 D D B D D C B D C A B D C A A 一、单选题&#xff08;每题 2 分&#xff0c;共 30 分&#xff09; 第 1 题 2025年春节有两件轰动全球的事件&#xff0c;一个是DeepSeek横空出世&#xff0c;另一…...

编程日记 2025/8/28 7:39:57

python爬虫爬取淘宝热销(热门)男装商品信息（课程设计；提供源码、使用说明文档及相关文档；售后可联系博主）

TOC 本文仅为记录学习轨迹&#xff0c;如有侵权,联系删除 一、环境说明 使用前必须检查以下环境 &#xff08;1&#xff09;python编译环境 &#xff08;2&#xff09;python脚本执行所需要的库&#xff0c;具体看代码&#xff08;main.py&#xff09;import导入的部分库 &a…...

编程日记 2025/8/27 23:27:10

AntDesign下，Select内嵌Menu标签，做一个多选下拉框，既可以搜索，还可以选择下拉项

话不多说&#xff0c;直接上效果和代码 效果图一&#xff1a; 效果图二&#xff1a; renderAddStyleOption (item: any) > {const { value } this.props;const { currentSelectedOptionIds, currentStyleId } this.state;const styleSettings value?.styleSettings;c…...

编程日记 2025/8/28 13:53:31

15.1linux设备树下的platform驱动编写(知识)_csdn

上一章我们详细的讲解了 Linux 下的驱动分离与分层&#xff0c;以及总线、设备和驱动这样的驱动框架。基于总线、设备和驱动这样的驱动框架&#xff0c; Linux 内核提出来 platform 这个虚拟总线&#xff0c;相应的也有 platform 设备和 platform 驱动。 上一章我们讲解了传统的…...

编程日记 2025/8/28 22:41:49

【C++进阶五】list深度剖析

【C进阶五】list深度剖析 1.什么是list2.list的使用2.1构造函数2.2list迭代器2.3容量操作2.4增删查改 3.list迭代器失效4.迭代器类型5.list不能使用的算法库函数 1.什么是list STL标准库中的list是一个带头双向循环链表 和vector不同,list没有支持[ ]访问以及resize和reserve容…...

编程日记 2025/8/27 1:44:32

小刚说C语言刷题——第15讲 多分支结构

1.多分支结构 所谓多分支结构是指在选择的时候有多种选择。根据条件满足哪个分支&#xff0c;就走对应分支的语句。 2.语法格式 if(条件1) 语句1; else if(条件2) 语句2; else if(条件3) 语句3; ....... else 语句n; 3.示例代码 从键盘输入三条边的长度&#xff0c;…...

编程日记 2025/8/28 16:05:54

L2-024 部落 #GPLT,并查集 C++

文章目录 题目解读输入格式输出格式 思路Ac Code参考 题目解读 我们认为朋友的朋友都算在一个部落里&#xff0c;于是要请你统计一下&#xff0c;在一个给定社区中&#xff0c;到底有多少个互不相交的部落&#xff1f;并且检查任意两个人是否属于同一个部落。 输入格式 第一…...

编程日记 2025/8/26 7:08:16

【BFS最小步数】魔板题解

魔板题解 题目传送门 题目传送门 一、题目描述 Rubik先生发明了魔板的二维版本&#xff0c;这是一个有8个格子的板子&#xff0c;初始状态为&#xff1a; 1 2 3 4 8 7 6 5我们可以用三种操作来改变魔板状态&#xff1a; A&#xff1a;交换上下两行B&#xff1a;将最右边一…...

编程日记 2025/8/27 12:19:04

Qt之QHostInfo

简介 QHostInfo表示主机信息&#xff0c;即主机名称 常用接口 static QHostInfo fromName(const QString &name); QString hostName() const; QList<QHostAddress> addresses() const;结构 #mermaid-svg-HTJ95sEk8JwO4uCy {font-family:"trebuchet ms",…...

编程日记 2025/8/26 8:19:35

C++11观察者模式示例

该示例代码采用C11标准&#xff0c;解决以下问题&#xff1a; 消除了类继承的强耦合方式&#xff1b;通知接口使用可变参数模板&#xff0c;支持任意参数&#xff1b; 示例代码 .h文件如下&#xff1a; #include <functional> #include <string> #include <…...

编程日记 2025/8/27 18:38:48

解释观察者模式，如何实现观察者模式？

一、模式本质 观察者模式&#xff08;Observer Pattern&#xff09;建立​​对象间的一对多依赖关系​​&#xff0c;当核心对象&#xff08;Subject&#xff09;状态变化时&#xff0c;自动通知所有订阅者&#xff08;Observers&#xff09;。 这是一种​​推模型​​的典型…...

编程日记 2025/8/28 22:09:21