Manpages

______________________________________________________________________________

NAME

interp - 建 立 和 操 縱 Tcl 解 釋 器

總 覽 SYNOPSIS

interp option ?arg arg ...? _________________________________________________________________

描 述 DESCRIPTION

這 個 命 令 建 立 一 個 或 多 個 新 的 Tcl 解 釋 器 ， 並 使 其 與 建 立 (它 們 的 )解 釋 器 在 相 同 的 應 用 中 共 存 。 建 立 解 釋 器 的 解 釋 器 叫 做 主 解 釋 器 (master)而 新 解 釋 器 叫 做 從 解 釋 器 (slave)。 主 解 釋 器 可 以 建 立 任 意 數 目 的 從 解 釋 器 ， 每 個 從 解 釋 器 也 可 以 自 己 建 立 增 添 的 從 解 釋 器 而 成 爲 它 們 的 主 解 釋 器 ， 這 將 導 致 解 釋 器 的 一 個 等 級 層 次 (hierarchy)。 每 個 解 釋 器 相 對 其 他 解 釋 器 是 獨 立 的 : 它 有 給 命 令 、 過 程 、 和 全 局 變 量 的 自 己 的 名 字 空 間 。 一 個 主 解 釋 器 可 以 使 用 叫 別 名 (alias)的 機 制 建 立 它 的 從 解 釋 器 與 它 自 身 間 的 連 接 。 別 名 是 在 一 個 從 解 釋 器 中 的 一 個 命 令 ， 調 用 它 時 ， 導 致 在 它 的 主 解 釋 器 或 其 他 從 解 釋 器 中 調 用 一 個 命 令 。 解 釋 器 之 間 的 唯 一 其 他 連 接 是 通 過 環 境 變 量 (env 變 量 )， 它 通 常 被 在 這 個 應 用 中 的 所 有 解 釋 器 共 享 。 注 意 給 文 件 的 名 字 空 間 (比 如 由 open命 令 返 回 的 名 字 )不 在 解 釋 器 之 間 共 享 。 提 供 顯 式 的 命 令 來 共 享 文 件 和 把 到 打 開 文 件 的 引 用 從 一 個 解 釋 器 轉 換 (transfer)到 另 一 個 。

interp命 令 還 提 供 對 安 全 (safe)解 釋 器 的 支 持 。 一 個 安 全 解 釋 器 是 一 個 功 能 被 嚴 格 限 制 了 的 從 解 釋 器 ， 這 樣 就 可 以 執 行 不 可 信 任 的 腳 本 而 不 用 害 怕 它 們 毀 壞 其 他 解 釋 器 或 這 個 應 用 的 環 境 。 例 如 ， 安 全 解 釋 器 不 能 訪 問 所 有 IO 通 道 建 立 命 令 和 子 過 程 建 立 命 令 。 詳 情 參 見 下 面 的 SAFE INTERPRETERS (安 全 的 解 釋 器 ) 章 │ 節 。 未 從 安 全 的 解 釋 器 中 去 除 有 危 險 的 功 能 ； 但 是 ， 它 們 是 隱 藏 的 ， 所 以 只 有 可 │ 信 任 的 解 釋 器 可 以 獲 得 到 它 們 的 訪 問 。 隱 藏 命 令 的 詳 細 解 釋 請 參 見 下 面 的 HIDDEN │ COMMANDS (隱 藏 命 令 ) 章 節 。 可 以 使 用 別 名 機 制 來 在 從 解 釋 器 和 它 的 主 解 釋 器 之 │ 間 進 行 受 保 護 的 通 信 (類 似 於 一 個 內 核 調 用 )。 別 名 機 制 工 作 的 詳 情 參 見 下 面 的 │ ALIAS INVOCATION (別 名 調 用 )章 節 。 一 個 限 定 的 (qualified)解 釋 器 的 名 字 是 一 個 適 當 的 Tcl 列 表 ， 它 包 含 在 這 個 解 釋 器 層 次 中 它 的 祖 先 的 一 個 子 集 ， 終 結 於 以 它 的 直 接 上 級 (immediate)主 解 釋 器 命 名 的 字 符 串 。 解 釋 器 名 字 是 相 對 於 在 其 中 使 用 它 的 哪 個 解 釋 器 的 。 例 如 ， 如 果 a 是 當 前 解 釋 器 的 一 個 從 解 釋 器 並 且 它 有 一 個 從 解 釋 器 a1， 它 依 次 有 一 個 從 解 釋 器 a11， 在 a 中 a11 的 限 定 的 名 字 是 列 表 a1 a11。 下 面 描 述 的 interp命 令 接 受 限 定 的 解 釋 器 名 字 作 爲 參 數 ； 命 令 在 其 中 求 值 的 解 釋 器 總 是 可 以 作 爲 {}來 引 用 (空 列 表 或 字 符 串 )。 注 意 除 了 通 過 別 名 之 外 ， 在 一 個 從 解 釋 器 中 不 可 能 通 過 名 字 引 用 一 個 主 (祖 先 )解 釋 器 。 還 有 ， 沒 有 通 過 它 可 以 引 用 在 應 用 中 建 立 的 第 一 個 解 釋 器 的 全 局 名 字 。 這 兩 種 限 制 的 目 的 都 是 爲 了 安 全 。

INTERP 命 令 COMMAND

│ 使 用 interp 命 令 建 立 、 刪 除 、 和 操 縱 從 解 釋 器 ， 並 在 解 釋 器 之 間 共 享 或 轉 換 通 道 。 依 賴 於 option 參 數 ， 它 可 以 有 下 列 一 些 形 式 :

interp alias srcPath srcCmd 返 回 一 個 Tcl 列 表 ， 它 的 元 素 是 與 叫 做 srcCmd的 別 名 有 關 的 targetCmd 和 args(在 建 立 別 名 時 指 定 所 有 這 些 值 ； 在 從 解 釋 器 中 實 際 的 源 命 令 如 果 被 重 命 名 的 話 可 能 與 srcCmd 不 同 )。
interp alias srcPath srcCmd {} 刪 除 在 從 解 釋 器 中 用 srcPath 標 識 的 給 srcCmd 的 別 名 。 srcCmd 引 用 在 其 下 建 立 別 名 的 名 字 ； 如 果 源 命 令 已 經 被 重 命 名 ， 則 刪 除 重 命 名 後 的 命 令 。
interp alias srcPath srcCmd targetPath targetCmd ?arg arg ...? 這 個 命 令 在 一 個 從 解 釋 器 和 其 他 解 釋 器 之 間 建 立 一 個 別 名 (關 於 在 一 個 從 解 釋 器 和 它 的 主 解 釋 器 之 間 建 立 別 名 請 參 見 下 面 的 alias 從 命 令 )。 在 這 個 命 令 中 ， 兩 個 從 解 釋 器 可 以 在 調 用 這 個 命 令 的 解 釋 器 底 下 的 解 釋 器 層 次 中 的 任 何 位 置 。 SrcPath和 srcCmd 標 識 這 個 別 名 的 來 源 。 SrcPath 是 一 個 Tcl 列 表 ， 它 的 元 素 選 擇 一 個 特 定 的 解 釋 器 。 例 如 ， “a b”標 識 一 個 解 釋 器 b， 它 是 解 釋 器 a 的 一 個 從 解 釋 器 ， a解 釋 器 是 調 用 (命 令 )的 解 釋 器 的 一 個 從 解 釋 器 。 一 個 空 列 表 指 定 調 用 這 個 命 令 的 解 釋 器 。 srcCmd給 出 一 個 新 命 令 的 名 字 ， 將 在 源 解 釋 器 中 建 立 它 。 TargetPath和 targetCmd 指 定 一 個 目 標 解 釋 器 和 命 令 ， 和 arg 參 數 ， 如 果 有 的 話 ， 給 targetCmd 指 定 增 補 的 參 數 ， 它 們 在 srcCmd 調 用 中 指 定 的 所 有 參 數 的 前 面 。 TargetCmd在 這 個 調 用 的 時 候 可 以 被 取 消 定 義 (undefine)了 ， 或 者 它 已 經 存 在 了 ； 它 不 由 這 個 命 令 來 建 立 。 別 名 安 排 在 源 解 釋 器 中 調 用 給 定 源 命 令 的 時 候 在 目 標 解 釋 器 中 調 用 給 定 目 標 命 令 。 詳 情 參 見 下 面 的 ALIAS INVOCATION (別 名 調 用 )章 節 。
interp aliases ?path? 這 個 命 令 返 回 給 在 用 path 表 示 的 解 釋 器 中 定 義 的 別 名 的 所 有 源 命 令 的 名 字 一 個 Tcl 列 表 。
interp create ?-safe? ?--? ?path? 建 立 用 path 標 識 的 一 個 從 解 釋 器 和 叫 做 從 命 令 (slave command)的 一 個 新 命 令 。 從 命 令 的 名 字 是 path的 最 後 一 個 成 員 。 在 其 中 建 立 新 的 從 解 釋 器 和 從 命 令 的 解 釋 器 由 從 path 中 去 除 最 後 一 個 成 員 所 獲 得 的 路 徑 來 標 識 。 例 如 ， 如 果 path 是 a b c 則 一 個 新 的 從 解 釋 器 和 叫 做 c的 從 命 令 建 立 在 用 路 徑 a b 標 識 的 從 解 釋 器 中 。 可 以 使 用 從 命 令 先 下 面 描 述 的 那 樣 操 縱 新 解 釋 器 。 如 果 省 略 了 path， Tcl 建 立 interpx 形 式 的 一 個 唯 一 的 名 字 ， 這 裏 的 x是 一 個 整 數 ， 並 用 於 解 釋 器 和 從 命 令 。 如 果 指 定 了 -safe開 關 (或 者 主 解 釋 器 是 一 個 安 全 解 釋 器 )， 新 的 從 解 釋 器 將 建 立 成 功 能 有 限 的 一 個 安 全 解 釋 器 ； 否 則 從 解 釋 器 將 包 含 Tcl 內 置 命 令 和 變 量 的 全 集 。 使 用 -- 開 關 來 標 記 開 關 的 結 束 ； 如 果 路 徑 是 象 -safe 這 樣 的 一 個 特 殊 的 值 的 時 候 需 要 這 個 開 關 。 這 個 命 令 的 結 果 是 新 解 釋 器 的 名 字 。 一 個 從 解 釋 器 的 名 字 在 它 的 主 解 釋 器 的 所 有 從 解 釋 器 中 必 須 是 唯 一 的 ； 如 果 在 這 個 主 解 釋 器 中 用 給 定 名 字 (標 識 )的 一 個 從 解 釋 器 已 經 存 在 則 發 生 一 個 錯 誤 。
interp delete ?path ...? 刪 除 用 可 選 的 path 參 數 給 出 的 零 個 或 多 個 解 釋 器 ， 並 且 對 於 每 個 解 釋 器 ， 它 還 刪 除 它 的 所 有 從 解 釋 器 。 這 個 命 令 還 刪 除 給 每 個 被 刪 除 的 解 釋 器 的 從 命 令 。 對 於 每 個 path 參 數 ， 如 果 叫 這 個 名 字 的 解 釋 器 不 存 在 ， 這 個 名 字 將 引 發 一 個 錯 誤 。
interp eval path arg ?arg ...? 這 個 命 令 用 與 concat命 令 相 同 的 方 式 串 聯 所 有 的 arg 參 數 ， 接 着 在 用 path 標 識 的 解 釋 器 中 把 結 果 字 符 串 作 爲 一 個 Tcl 腳 本 來 求 值 。 把 這 個 求 值 的 結 果 (如 果 發 生 錯 誤 的 話 ， 包 括 象 errorInfo和 errorCode 變 量 這 樣 的 錯 誤 信 息 )返 回 給 調 用 (命 令 )的 解 釋 器 。
interp exists path 如 果 在 這 個 主 解 釋 器 中 存 在 用 path 指 定 的 從 解 釋 器 則 返 回 1， 否 則 返 回 0。 如 果 省 略 了 path， 使 用 調 用 (命 令 )的 解 釋 器 。
interp expose path hiddenName ?exposedCmdName? │ 在 用 path 表 示 (denote)的 解 釋 器 中 ， 使 隱 藏 的 命 令 hiddenName 暴 │ 露 (expose)， 最 終 把 它 帶 回 在 一 個 新 的 exposedCmdName 名 字 之 下 (目 前 │ 只 接 受 沒 有 任 何 :: 的 一 個 全 局 名 字 空 間 名 字 )。 如 果 有 目 標 名 字 的 一 個 暴 │ 露 的 命 令 已 經 存 在 ， 這 個 命 令 失 敗 。 隱 藏 命 令 的 詳 情 參 見 下 面 的 HIDDEN │ COMMANDS (隱 藏 命 令 )章 節 。 │
interp hide path exposedCmdName ?hiddenCmdName? │ 在 用 path 表 示 (denote)的 解 釋 器 中 ， 使 暴 露 的 命 令 exposedCmdName 隱 │ 藏 ， 並 把 它 重 命 名 成 隱 藏 命 令 hiddenCmdName， 如 果 未 給 出 │ hiddenCmdName 則 保 持 相 同 的 名 字 。 如 果 有 目 標 名 字 的 一 個 隱 藏 的 命 令 已 │ 經 存 在 ， 這 個 命 令 失 敗 。 目 前 exposedCmdName 和 hiddenCmdName二 者 不 │ 能 不 能 包 含 名 字 空 間 限 定 符 ， 否 則 將 引 發 一 個 錯 誤 。 即 使 當 前 名 字 空 間 不 │ 是 全 局 名 字 空 間 ， 仍 在 全 局 名 字 空 間 中 查 找 要 被 interp hide隱 藏 的 命 │ 令 。 這 防 止 從 解 釋 器 通 過 使 當 前 的 名 字 空 間 不 同 於 全 局 名 字 空 間 (的 方 │ 式 )， 來 愚 弄 主 解 釋 器 去 隱 藏 錯 誤 的 命 令 。 隱 藏 命 令 的 詳 情 參 見 下 面 │ 的 HIDDEN COMMANDS (隱 藏 命 令 )章 節 。 │
interp hidden path │ 返 回 在 用 path 標 識 的 解 釋 器 中 所 有 隱 藏 命 令 的 名 字 的 一 個 列 表 。 │
interp invokehidden path ?-global? hiddenCmdName ?arg ...? │ 在 由 path 表 示 的 解 釋 器 中 用 提 供 的 參 數 調 用 隱 藏 命 令 hiddenCmdName │ 。 對 參 數 不 (進 行 )替 換 或 求 值 。 如 果 存 在 -global 標 誌 ， 在 目 標 解 釋 器 │ 的 全 局 層 次 上 調 用 隱 藏 命 令 ； 否 則 在 當 前 的 調 用 框 架 (frame)上 調 用 它 並 │ 且 可 以 訪 問 調 用 框 架 內 部 和 外 部 的 局 部 變 量 。 隱 藏 命 令 的 詳 情 請 參 見 下 面 │ 的 HIDDEN COMMANDS (隱 藏 命 令 )章 節 。
interp issafe ?path? 如 果 由 path 指 定 的 解 釋 器 是 安 全 的 則 返 回 1， 否 則 返 回 0。
interp marktrusted path │ 標 記 用 path 標 識 的 解 釋 器 是 可 信 任 的 。 不 暴 露 隱 藏 命 令 。 這 個 命 令 只 │ 能 在 可 信 任 的 解 釋 器 中 調 用 。 如 果 由 path標 識 的 解 釋 器 已 經 是 可 信 任 │ 的 ， 則 這 個 命 令 沒 有 影 響 。
interp share srcPath channelId destPath 在 用 srcPath 標 識 的 解 釋 器 和 用 destPath 標 識 的 解 釋 器 之 間 導 致 用 channelId標 識 的 IO 通 道 變 成 共 享 的 。 兩 個 解 釋 器 在 這 個 IO通 道 上 由 相 同 的 權 限 。 兩 個 解 釋 器 必 須 關 閉 它 來 關 閉 低 層 的 IO 通 道 ； 在 銷 燬 一 個 解 釋 器 的 時 候 自 動 關 閉 在 這 個 解 釋 器 中 可 訪 問 的 IO 通 道 。
interp slaves ?path? 返 回 與 用 path 標 識 的 解 釋 器 相 關 的 所 有 從 解 釋 器 的 名 字 的 一 個 Tcl 列 表 。 如 果 省 略 了 path， 使 用 調 用 (命 令 )的 解 釋 器 。
interp target path alias 返 回 描 述 給 一 個 別 名 的 目 標 解 釋 器 的 一 個 Tcl 列 表 。 用 一 個 解 釋 器 路 徑 和 源 命 令 名 指 定 這 個 別 名 ， 就 象 在 上 面 的 interp alias 中 那 樣 。 目 標 解 釋 器 的 名 字 被 返 回 爲 相 對 於 調 用 (命 令 )的 解 釋 器 的 一 個 解 釋 器 路 徑 。 如 果 給 這 個 別 名 的 目 標 解 釋 器 是 調 用 (命 令 )的 解 釋 器 則 返 回 一 個 空 列 表 。 如 果 給 別 名 的 目 標 解 釋 器 不 是 調 用 (命 令 )的 解 釋 器 或 是 它 的 後 代 之 一 則 生 成 一 個 錯 誤 。 在 調 用 這 個 命 令 的 時 候 目 標 命 令 不 是 必 須 定 義 的 。
interp transfer srcPath channelId destPath 導 致 用 channelId 標 識 的 IO 通 道 ， 在 用 destPath 標 識 的 解 釋 器 中 變 成 可 獲 得 的 ， 而 在 用 srcPath 標 識 的 解 釋 器 中 變 成 不 可 獲 得 的 。

SLAVE 命 令 COMMAND

對 於 每 個 用 interp 建 立 的 從 解 釋 器 ， 在 主 解 釋 器 中 建 立 名 字 與 這 個 新 解 釋 器 相 同 的 一 個 新 Tcl 命 令 。 可 以 使 用 這 個 命 令 調 用 在 這 個 解 釋 器 上 的 各 種 操 作 。 它 有 下 面 的 一 般 形 式 :

slave command ?arg arg ...?

Slave 是 解 釋 器 的 名 字 ， command 和 args確 定 這 個 命 令 的 具 體 行 爲 。 這 個 命 令 有 效 形 式 有 :
slave aliases 返 回 一 個 Tcl 列 表 ， 它 的 元 素 是 在 slave 中 的 所 有 別 名 的 名 字 。 返 回 的 名 字 是 建 立 別 名 時 使 用 的 srcCmd 的 值 (如 果 它 們 已 經 被 重 命 名 ， 則 它 可 以 同 這 個 命 令 的 當 前 的 名 字 不 相 同 )。
slave alias srcCmd 返 回 一 個 Tcl 列 表 ， 它 的 元 素 是 與 叫 做 srcCmd 的 別 名 相 關 的 targetCmd 和 args(在 建 立 這 個 別 名 的 時 候 指 定 所 有 這 些 值 ； 在 從 解 釋 器 中 的 實 際 的 源 命 令 如 果 被 重 命 令 則 可 能 與 srcCmd不 同 )。
slave alias srcCmd {} 在 從 解 釋 器 中 刪 除 給 srcCmd 的 別 名 。 srcCmd 參 照 在 其 下 建 立 別 名 的 那 個 名 字 ； 如 果 源 命 令 已 經 被 重 命 名 ， 則 刪 除 重 命 名 後 的 命 令 。
slave alias srcCmd targetCmd ?arg ..? 建 立 一 個 別 名 ， 當 在 slave 中 調 用 srcCmd 的 時 候 , 在 主 解 釋 器 中 調 用 targetCmd 。 把 arg 參 數 作 爲 補 充 的 參 數 傳 遞 給 targetCmd ， 這 些 參 數 在 srcCmd 的 調 用 中 傳 遞 的 任 何 參 數 之 前 。 詳 情 參 見 下 面 的 ALIAS INVOCATION (別 名 調 用 )章 節 。
slave eval arg ?arg ..? 這 個 命 令 用 與 concat 命 令 相 同 的 方 式 串 聯 所 有 的 arg 參 數 ， 接 着 在 slave 中 把 結 果 字 符 串 作 爲 一 個 Tcl 腳 本 來 求 值 。 把 這 個 求 值 的 結 果 (如 果 有 錯 誤 發 生 ， 包 括 象 errorInfo 和 errorCode 變 量 這 樣 的 錯 誤 信 息 )返 回 給 調 用 (命 令 )的 解 釋 器 。
slave expose hiddenName ?exposedCmdName? │ 這 個 命 令 暴 露 在 slave 的 隱 藏 的 命 令 hiddenName， 最 終 把 它 帶 回 在 一 個 │ 新 的 exposedCmdName 名 字 之 下 (目 前 只 接 受 沒 有 任 何 :: 的 一 個 全 局 名 字 │ 空 間 名 字 )。 如 果 有 目 標 名 字 的 一 個 暴 露 的 命 令 已 經 存 在 ， 這 個 命 令 失 │ 敗 。 隱 藏 命 令 的 詳 情 參 見 下 面 的 HIDDEN COMMANDS (隱 藏 命 令 )章 節 。 │
slave hide exposedCmdName ?hiddenCmdName? │ 這 個 命 令 隱 藏 在 從 解 釋 器 中 暴 露 的 命 令 exposedCmdName， 並 把 它 重 命 名 │ 成 隱 藏 命 令 hiddenCmdName， 如 果 未 給 出 hiddenCmdName 則 保 持 相 同 的 名 │ 字 。 如 果 有 目 標 名 字 的 一 個 隱 藏 的 命 令 已 經 存 在 ， 這 個 命 令 失 敗 。 目 前 │ exposedCmdName和 hiddenCmdName二 者 不 能 不 能 包 含 名 字 空 間 限 定 符 ， 否 │ 則 將 引 發 一 個 錯 誤 。 即 使 當 前 名 字 空 間 不 是 全 局 名 字 空 間 ， 仍 在 全 局 名 字 │ 空 間 中 查 找 要 被 隱 藏 的 命 令 。 這 防 止 從 解 釋 器 通 過 使 當 前 的 名 字 空 間 不 同 │ 於 全 局 名 字 空 間 (的 方 式 )， 來 愚 弄 主 解 釋 器 去 隱 藏 錯 誤 的 命 令 。 隱 藏 命 令 │ 的 詳 情 參 見 下 面 的 HIDDEN COMMANDS (隱 藏 命 令 )章 節 。 │
slave hidden │ 返 回 在 slave 中 所 有 隱 藏 的 名 字 的 一 個 列 表 。 │
slave invokehidden ?-global hiddenName ?arg ..? │ 這 個 命 令 在 slave 中 用 提 供 的 參 數 調 用 隱 藏 的 命 令 hiddenName。 對 這 些 │ 參 數 不 進 行 求 值 或 替 換 。 如 果 給 出 了 -global標 誌 ， 則 在 這 個 從 解 釋 器 的 │ 全 局 層 次 上 調 用 這 個 命 令 ； 否 則 在 當 前 調 用 框 架 上 調 用 它 並 可 訪 問 這 個 調 │ 用 框 架 內 部 或 外 部 的 局 部 變 量 。 隱 藏 命 令 的 詳 情 參 見 下 面 的 HIDDEN │ COMMANDS (隱 藏 命 令 )章 節 。
slave issafe 如 果 從 解 釋 器 是 安 全 的 則 返 回 1， 否 則 返 回 0。
slave marktrusted │ 標 記 從 解 釋 器 爲 可 以 信 任 的 。 只 可 以 被 可 信 任 的 解 釋 器 調 用 。 這 個 命 令 不 │ 暴 露 在 這 個 從 解 釋 器 中 的 任 何 隱 含 命 令 。 如 果 這 個 命 令 已 經 是 可 以 信 任 的 │ 了 ， 則 這 個 命 令 沒 有 影 響 。

after append array binary break case catch clock close concat continue eof error eval expr fblocked fcopy fileevent flush for foreach format gets global history if incr info interp join lappend lindex linsert list llength lrange lreplace lsearch lsort namespace package pid proc puts read regexp regsub rename return scan seek set split string subst switch tell trace unset update uplevel upvar variable vwait while

別 名 調 用 ALIAS INVOCATION

精 心 的 設 計 了 別 名 機 制 ， 所 以 在 安 全 的 從 解 釋 器 中 執 行 不 可 信 任 的 腳 本 是 安 全 的 而 別 名 的 目 標 是 一 個 可 信 任 的 主 解 釋 器 。 最 保 證 安 全 性 的 最 重 要 的 事 情 是 確 保 從 從 解 釋 器 傳 遞 到 主 解 釋 器 的 信 息 在 主 解 釋 器 中 永 不 被 求 值 或 替 換 ； 如 果 這 種 情 況 發 生 了 ， 它 將 開 啓 在 從 解 釋 器 中 的 某 個 邪 惡 的 腳 本 來 在 主 解 釋 器 中 調 用 任 意 函 數 ， 這 將 危 及 安 全 。 當 從 解 釋 器 中 調 用 一 個 別 名 的 源 (命 令 )的 時 候 ， 在 分 析 這 個 命 令 時 進 行 常 規 的 Tcl 替 換 。 在 源 解 釋 器 中 完 成 這 些 替 換 ， 就 象 對 在 這 個 解 釋 器 中 的 調 用 的 其 他 命 令 一 樣 。 源 命 令 的 命 令 過 程 接 受 它 的 參 數 並 把 它 們 與 給 這 個 別 名 的 targetCmd和 args 融 合 起 來 建 立 一 個 新 的 參 數 數 組 。 如 果 srcCmd的 字 是 ’’srcCmd arg1 arg2 ... argN’’， 則 新 的 字 集 將 是 ’’targetCmd arg arg ... arg arg1 arg2 ... argN’’。 這 裏 的 targetCmd和 args 是 在 建 立 別 名 的 時 候 提 供 的 值 。 接 着 用 TargetCmd來 在 目 標 解 釋 器 中 定 位 (locate)一 個 命 令 過 程 ， 並 且 用 新 的 參 數 集 來 調 用 這 個 命 令 過 程 。 如 果 在 目 標 解 釋 器 中 沒 有 叫 做 targetCmd 的 命 令 則 發 生 一 個 錯 誤 。 在 這 個 字 上 不 進 行 補 充 的 替 換 :不 通 過 常 規 的 Tcl 求 值 機 制 ， 直 接 調 用 目 標 命 令 過 程 。 所 以 在 每 個 字 上 精 確 的 進 行 一 次 替 換 : 在 分 析 建 立 這 個 別 名 的 命 令 的 時 候 替 換 targetCmd 和 args， 當 在 源 解 釋 器 中 分 析 這 個 別 名 的 源 命 令 的 時 候 替 換 arg1 - argN。 在 安 全 解 釋 器 中 給 別 名 寫 targetCmds 的 時 候 ， 給 它 的 參 數 永 遠 不 被 求 值 或 替 換 是 非 常 重 要 的 ， 因 爲 這 將 提 供 一 種 逃 逸 機 制 ， 使 從 解 釋 器 可 以 執 行 在 主 解 釋 器 中 的 任 意 代 碼 。 這 將 危 及 系 統 的 安 全 。

隱 藏 命 令 HIDDEN COMMANDS

│ 安 全 解 釋 器 嚴 重 的 限 制 了 在 其 中 執 行 的 Tcl 程 序 可 獲 得 的 功 能 。 允 許 不 可 信 任 的 │ Tcl 程 序 訪 問 這 些 功 能 是 不 安 全 的 ， 因 爲 它 們 可 以 在 這 個 環 境 中 被 用 於 各 種 攻 │ 擊 。 但 是 ， 有 時 在 安 全 解 釋 器 的 上 下 文 中 有 使 用 危 險 的 功 能 的 合 理 需 要 。 例 │ 如 ， 有 時 一 個 程 序 必 須 source 到 解 釋 器 中 。 另 一 個 例 子 是 Tk， 在 這 裏 窗 口 被 綁 │ 定 到 與 一 個 特 定 解 釋 器 關 聯 的 窗 口 層 次 當 中 ； 一 些 潛 在 的 危 險 函 數 ， 比 如 窗 口 管 │ 理 ， 必 須 在 這 個 解 釋 器 上 下 文 中 的 那 些 窗 口 上 進 行 。 │

interp 命 令 提 供 了 對 這 個 問 題 的 一 種 隱 藏 命 令 形 式 的 解 決 方 案 。 不 是 從 安 全 解 釋 │ 器 中 整 個 的 刪 除 危 險 的 命 令 ， 而 是 隱 藏 這 些 命 令 ， 所 以 它 們 變 成 對 在 這 個 解 釋 器 │ 中 執 行 的 Tcl 腳 本 是 不 可 獲 得 的 。 但 是 ， 這 個 安 全 解 釋 器 的 任 何 可 信 任 的 祖 先 可 │ 以 使 用 interp invoke， 在 這 個 安 全 解 釋 器 的 上 下 文 中 ， 調 用 這 些 隱 藏 命 令 。 隱 │ 藏 命 令 和 暴 露 命 令 駐 留 在 分 開 的 名 字 空 間 中 。 在 一 個 解 釋 器 中 可 以 定 義 叫 相 同 名 │ 字 的 隱 藏 命 令 和 暴 露 命 令 。 │ 在 別 名 調 用 期 間 ， 在 主 解 釋 器 中 調 用 的 過 程 體 中 可 以 調 用 在 從 解 釋 器 中 的 隱 藏 命 │ 令 。 例 如 ， 在 一 個 從 解 釋 器 中 可 以 給 source 建 立 一 個 別 名 。 當 在 這 個 從 解 釋 器 │ 中 調 用 它 的 時 候 ， 調 用 在 主 解 釋 器 中 的 一 個 過 程 來 檢 查 這 個 操 作 是 否 是 允 許 的 (比 │ 如 ， 是 否 允 許 這 個 從 解 釋 器 訪 問 的 它 要 求 source 的 文 件 )。 接 着 這 個 過 程 在 從 解 │ 釋 器 中 調 用 隱 藏 的 source命 令 來 實 際 裝 載 (source)這 個 文 件 的 內 容 。 注 意 在 從 解 │ 釋 器 中 存 在 來 着 兩 個 叫 source 的 命 令 : 別 名 和 隱 藏 命 令 。 │ 因 爲 一 個 主 解 釋 器 可 以 把 調 用 一 個 隱 藏 命 令 作 爲 處 理 一 個 別 名 調 用 的 一 部 分 ， 必 │ 須 非 常 小 心 的 避 免 對 通 過 別 名 調 用 傳 遞 來 的 任 何 參 數 進 行 求 值 。 否 則 ， 惡 意 的 從 │ 解 釋 器 可 以 導 致 一 個 可 信 任 的 代 表 它 們 來 執 行 危 險 的 命 令 。 這 個 主 題 的 完 整 討 論 │ 參 見 ALIAS INVOCATION (別 名 調 用 )章 節 。 要 避 免 這 個 問 題 ， 對 interp │ invokehidden的 參 數 不 要 進 行 替 換 或 求 值 。 │ 不 允 許 安 全 解 釋 器 調 用 它 自 身 中 或 它 後 代 中 的 隱 藏 命 令 。 這 防 止 安 全 從 解 釋 器 訪 │ 問 在 自 身 中 或 它 們 的 後 代 中 的 隱 藏 命 令 。 │ 一 個 可 信 任 的 解 釋 器 可 以 使 用 interp expose和 interp hide 來 操 縱 一 個 解 釋 器 │ 中 的 隱 藏 命 令 的 集 合 。 interp expose 命 令 把 在 用 path 標 識 的 解 釋 器 中 一 個 隱 │ 藏 命 令 移 動 到 暴 露 命 令 的 集 合 中 ， 在 這 個 過 程 中 可 能 重 命 名 這 個 命 令 。 如 果 叫 目 │ 標 名 字 的 一 個 暴 露 的 命 令 已 經 存 在 ， 這 個 操 作 失 敗 。 類 似 的 ， interp hide 把 在 │ 這 個 解 釋 器 中 的 一 個 暴 露 命 令 移 動 到 隱 藏 命 令 的 集 合 中 。 不 允 許 安 全 解 釋 器 在 它 │ 自 身 中 或 它 的 後 代 中 的 隱 藏 命 令 和 暴 露 命 令 的 集 合 之 間 移 動 命 令 。 │ 目 前 ， 隱 藏 命 令 的 名 字 不 能 包 含 名 字 空 間 限 定 符 ， 並 且 在 你 可 以 隱 藏 它 之 前 必 須 │ 首 先 把 在 一 個 名 字 空 間 中 的 命 令 重 命 令 到 全 局 名 字 空 中 。 在 全 局 名 字 空 間 中 查 找 │ 要 被 interp hide 隱 藏 的 命 令 。 這 防 止 從 解 釋 器 通 過 使 當 前 的 名 字 空 間 不 同 於 全 │ 局 名 字 空 間 (的 方 式 )， 來 愚 弄 主 解 釋 器 去 隱 藏 錯 誤 的 命 令 。 │

感 謝 CREDITS

這 個 機 制 基 於 由 Nathaniel Borenstein 和 Marshall Rose 實 現 的 Safe-Tcl 原 型 。

參 見 SEE ALSO

load(n), safe(n), Tcl_CreateSlave(3)

關 鍵 字 KEYWORDS

alias, master interpreter, safe interpreter, slave interpreter

[中 文 版 維 護 人 ]

寒 蟬 退 士

[中 文 版 最 新 更 新 ]

2001/10/09

《 中 國 Linux 論 壇 man 手 冊 頁 翻 譯 計 劃 》 :

http://cmpp.linuxforum.net

跋

本 頁 面 中 文 版 由 中 文 man 手 冊 頁 計 劃 提 供 。 中 文 man 手 冊 頁 計 劃 ： https://github.com/man-pages-zh/manpages-zh