在Mathematica中使用上下文作爲範圍構造

Question

考慮到我的previous question關於在大型Mathematica項目中切換數值和分析「模式」的解決方案，我想到了使用Context作爲範圍構造的想法。

其基本思想是在他們自己的上下文中進行所有數值賦值，例如，

Begin["Global`Numerical`"] 
par1 = 1; 
par2 = 2; 
... 
End[] 

並且在全局上下文中具有所有複雜的分析函數，矩陣等。

理想情況下，我將能夠在全局環境中工作，並切換到一切數字與一個簡單的Begin[Global'Numeric']和切換回End[]。

不幸的是，這不起作用，因爲例如，在全局上下文中定義的f[par1_,par2_,...] := foo不會使用已在Global的子上下文中定義的par1，par2等。

有沒有辦法讓子上下文從父上下文繼承定義？有沒有其他的方式來使用上下文創建一個簡單的可切換範圍？

Answer 1

好了，這裏有一個方法來解決（我認爲）是你的問題，通過適當調整$ContextPath：

SetOptions[EvaluationNotebook[], CellContext -> "GlobalTestCtxt`"]; 
Remove[f, GlobalTestCtxt`Numerical`f, par1, par2]; 
f[par1_, par2_] := {par1, par2}; 

savedContextPath = $ContextPath; 
Begin["GlobalTestCtxt`Numerical`"]; 
Print[{$ContextPath, $Context}]; 
$ContextPath = DeleteCases[$ContextPath, "GlobalTestCtxt`"]; 
par1 = 1; 
par2 = 2; 
End[]; 
$ContextPath = savedContextPath; 

現在，這將分析評估：

f[par1, par2] 

而這個數字：

savedContextPath = $ContextPath; 
Begin["GlobalTestCtxt`Numerical`"]; 
$ContextPath = Prepend[$ContextPath, $Context]; 
f[par1, par2] 
End[]; 
$ContextPath = savedContextPath; 

我說它很脆弱的原因是，除非你小心，否則它很容易讓符號進入錯誤的環境。例如，假設您在評估「數值」塊之前忘記在全局範圍內評估f值。那麼，現在你的數字模塊不會工作，因爲它會變成一個（完全有效的）符號GlobalTestCtxt`Numerical`f，當你第一次評估數字模塊時，你無意中輸入了符號表。由於這樣的潛在錯誤，我個人不會使用這種方法。

編輯：修正了一個錯誤（這是必須做的數值上下文指派時隱藏「全局」上下文）