此为 Mathematica 4 文档,内容基于更早版本的 Wolfram 语言
查看最新文档(版本11.2)

With

Usage

With[ x =  , y =  , ...  , expr] 指定在expr中出现的符号 x, y, ... 应当由  ,  , ... 替换。


Notes

With 允许你定义局部常量。
• 仅当它们在结构体中不作为局部变量出现时,With替换expr中的符号。
• 可以用 With[ vars , body /; cond] 作为一个有附加条件的变换规则的右边。
With 有属性 HoldAll.
With 是一个scoping 结构 (参见A.3.8节).
With结构可以以任何方式嵌套。
With 实现只读词汇变量。
• 参见Mathematica 全书: 2.6.2.
• 同时参见: Module, Block, ReplaceAll.
Further Examples

Even though t is set inside With, it keeps its global value.

In[1]:=  

Out[1]=

In[2]:=  

In[3]:=  

Out[3]=

In[4]:=  

Out[4]=

In[5]:=