EndOfFile

EndOfFile
是到达文件末尾时,由 Read 返回的一个符号.

更多信息更多信息

范例范例打开所有单元关闭所有单元

基本范例  (1)基本范例  (1)

在达到文件末尾后,Read 返回 EndOfFile

In[1]:=
Click for copyable input
In[2]:=
Click for copyable input
Out[2]=

所有对 Read 的随后访问将给出 EndOfFile

In[3]:=
Click for copyable input
Out[3]=

关闭文件:

In[4]:=
Click for copyable input
Out[4]=
1988年引入
(1.0)