产品
产品概览
Mathematica
Mathematica 学生版
Mathematica Home Edition
Wolfram
CDF Player
(免费下载)
可计算文档格式(CDF)
web
Mathematica
grid
Mathematica
Wolfram
Workbench
Mathematica
附加程序包
Wolfram|Alpha 产品
解决方案
解决方案概览
工程
航空航天与国防
化学工程
控制系统
电气工程
图像处理
工业工程
材料科学
机械工程
运筹学
光学
石油工程
生物技术与医药
生物信息学
医学影像
金融、统计、商业分析
精算科学
数据分析与挖掘
计量经济学
经济学
金融工程与数学
金融风险管理
统计
软件工程、内容传递
创作与出版
界面开发
软件工程
网页开发
科学
天文学
生物科学
化学
环境科学
地球科学
社会与行为科学
设计、艺术以及娱乐
游戏设计、特殊效果及衍生艺术
教育
STEM 教育倡议
高等教育
高职高专院校
中小学教育
学生
科技
可计算文档格式(CDF)
高性能并行计算(HPC)
参见:技术指南
购买
网上商店
其它购买方式
批量许可及站点许可证
联络销售部
软件
服务
升级
培训
书籍
技术支持
技术支持概览
知识库
学习中心
社区与论坛
培训
确认授权
Wolfram 用户门户
公司概况
关于 Wolfram Research
新闻与活动
Wolfram 博客
合作伙伴
工作机会
Mathematica
的历史
Stephen Wolfram 主页
联系我们
公司网站
全部站点
Wolfram|Alpha
演示项目
MathWorld
Integrator
Wolfram Functions Site
Mathematica Journal
Wolfram Media
Wolfram
Tones
Wolfram Science
Stephen Wolfram
DOCUMENTATION CENTER SEARCH
New to
Mathematica
?
Find your learning path
»
Mathematica
>
核心语言
>
过程式编程
>
作用域结构
>
With
>
Mathematica
>
核心语言
>
程序包开发
>
命名空间的管理
>
作用域结构
>
With
>
MATHEMATICA 内置符号
局部变量
常用记号和表示惯例
纯函数和规则中的变量
教程 »
|
Module
Block
ReplaceAll
参见 »
|
计算控制
语言概述
过程式编程
作用域结构
更多关于 »
With
With
指定在
expr
中出现的符号
x
、
y
... 应当由
、
... 替换.
更多信息
With
允许用户定义局部常量.
仅当它们在结构体中不作为局部变量出现时,
With
替换
expr
中的符号.
可以用
With
作为一个有附加条件的变换规则的右边.
With
有属性
HoldAll
.
With
结构可以以任何方式嵌套,其中内部变量在必要时可以重新命名.
With
实现只读词汇变量.
范例
关闭所有单元
例
(1)
In[1]:=
In[2]:=
Out[2]=
范围
(3)
用
With
把值插入到 不计算的表达式中:
变量名称可以是相同的:
对于多次使用的一个值使用一个常量:
应用
(1)
With
允许把值插入到未计算的表达式中:
属性和关系
(4)
Module
引入可以赋值的局部变量:
With
的速度比
Module
快:
Block
仅局部化值;它并不替代值.
Module
创建新符号:
With
允许在未计算表达式内的替代,避免嵌套结构:
普通的替代不能保持结构:
可能存在的问题
(1)
With
是一个范围结构;在嵌套范围内变量可以重命名:
从函数的元素来构建函数,避免重命名:
巧妙范例
(2)
用牛顿方法求出任意函数的零值:
求出一个固定点:
With
的一种版本,其中在局部变量的范围内初始化:
这里函数定义内的
f
不在它自身的范围内:
参见
Module
Block
ReplaceAll
教程
局部变量
常用记号和表示惯例
纯函数和规则中的变量
更多关于
计算控制
语言概述
过程式编程
作用域结构
版本 2 的新功能