Tespit DownValue/OwnValue

Question

Bazen aşağıdaki Senaryo girmek çatışan - Bir prosedür bazı hesaplama yapmak için küresel işlevini f[x] kullanır, bu arada başka prosedür Ben yerelleştirme hakkında bilmek 5[x]

içine sonraki tüm aramalar f[x] döner f=5 yapar değişkenler, ancak global değişkenleri gelişimin erken dönemlerinde kullanmayı tercih ediyorum.

OwnValues ​​ve DownValues'ı karıştırmanın meşru bir sebebini düşünemiyorum. Yukarıdaki gibi bir durum olduğunda bir uyarı mesajı uygulamak için bir yolu var mı?

aşağıda ipuçlarına ek olarak, varsayılan bağlam Hücre Seçenekleri altında OptionsInspector bulunabilir/Değerlendirme Seçenekler/CellContext

Answer 1

Sen (her türlü) başka düzenlemeleri önlemek için Protect[f] kullanabilir ve Unprotect[f] onları tekrar izin vermek.

Ayrıca aslında f üzerinde kendi-değerlerini koyarak ancak yine de kullanımı Protect/Unprotect kalmadan aşağı değerlerin atama izin dan Set[f, ...] önlemek için yukarı-değerleri ile bazı basit hackery yapabilirdi:

In[76]:= ClearAll[f] 

In[77]:= f /: Set[f, x_] := x 

In[78]:= f = 7 

Out[78]= 7 

In[79]:= f 

Out[79]= f 

In[80]:= f[x_] := x + 1 

In[81]:= f[1] 

Out[81]= 2 

Yukarıdaki, f numaralı telefondan Set'un kullanımını şeffaf bir şekilde engeller.

In[93]:= f::noov = "Blocked attempt to assign `1` as an OwnValue of f"; 

In[94]:= f /: Set[f, x_] := (Message[f::noov, x]; x) 

In[95]:= f = 7 

During evaluation of In[95]:= f::noov: Blocked attempt to assign 7 as 
    an OwnValue of f 

Out[95]= 7 

Answer 2

Bu bir uyarı mesajı üretme konusunda özgün soruya cevap vermez, ama küresel semboller olarak kullanım için kullanışlı Formal Symbols şunlardır: gerçek bir mesaj Düzenleyen çok basittir. Otomatik olarak korunurlar ve bu nedenle yanlışlıkla yeniden tanımlanamazlar. f tuşlarının herhangi bir harf olabileceği <ESC>$f</ESC> tuş vuruşlarını kullanarak resmi bir sembol girersiniz. Dezavantajı, sembol yerine bir tane girmek için dört tuş vuruşu almasıdır.