为什么 Python 不是 lexical scoping？-Python教學-PHP中文網

首頁

後端開發

Python教學

为什么 Python 不是 lexical scoping？

WBOYWBOYWBOYWBOYWBOYWBOYWBOYWBOYWBOYWBOYWBOYWBOYWB

Jun 06, 2016 pm 04:23 PM

defprintreturn

这似乎背离了现代程序设计语言的一般设计思路。

比如

<span class="k">def</span> <span class="nf">foo</span><span class="p">():</span>
    <span class="n">x</span> <span class="o">=</span> <span class="mi">1</span>
    <span class="k">def</span> <span class="nf">inner</span><span class="p">():</span>
        <span class="k">return</span> <span class="n">x</span> <span class="o">+</span> <span class="mi">1</span>
    <span class="n">x</span> <span class="o">=</span> <span class="mi">3</span>
    <span class="k">print</span> <span class="n">inner</span><span class="p">()</span>

回复内容：

这段代码是lexical scoping，静态作用域是指我们可以根据代码文本的位置，确定变量的存在区域。

按照python的LEGB（Local，Enclosing，Global，Built-in）规则，当调用inner()时，x实际上是在foo的scope中找到的。inner之所能够访问foo中的x，是因为inner is inside the text of foo，这正是lexical的含义。

Bash是Dynamic Scoping的

<span class="nv">x</span><span class="o">=</span><span class="m">1</span>                                                                                                 
<span class="k">function</span> g <span class="o">()</span> <span class="o">{</span> <span class="nb">echo</span> <span class="nv">$x</span> <span class="p">;</span> <span class="nv">x</span><span class="o">=</span><span class="m">2</span> <span class="p">;</span> <span class="o">}</span> 
<span class="k">function</span> f <span class="o">()</span> <span class="o">{</span> <span class="nb">local </span><span class="nv">x</span><span class="o">=</span><span class="m">3</span> <span class="p">;</span> g <span class="p">;</span> <span class="o">}</span> 
f  <span class="c">#f中的g执行时打印出的x是3而不是1</span>
<span class="nb">echo</span> <span class="nv">$x</span>  <span class="c">#这时打印出的x是1</span>

你以为Python是

<span class="k">let</span> <span class="n">foo</span> <span class="bp">()</span> <span class="o">=</span>
  <span class="k">let</span> <span class="n">x</span> <span class="o">=</span> <span class="mi">1</span> <span class="k">in</span>
    <span class="k">let</span> <span class="n">inner</span> <span class="bp">()</span> <span class="o">=</span> <span class="n">x</span> <span class="o">+</span> <span class="mi">1</span> <span class="k">in</span>
      <span class="k">let</span> <span class="n">x</span> <span class="o">=</span> <span class="mi">3</span> <span class="k">in</span>
        <span class="n">print</span> <span class="o">(</span><span class="n">inner</span> <span class="bp">()</span><span class="o">)</span>

python的闭包里的自由变量是按引用传递的，而不是按值传递，所以会有这个结果。
这和scoping没有关系。
C++的lambda就可以选择capture by copy或者capture by reference. 根据之前阅读Python源码的经验(如果记错请指正)，在题主的例子里面，这个inner是一个闭包。闭包在Python里面的实现方式是保存一个通往外部namespace的指针(可以理解成一个dictionary)。

楼主可以参看这个例子

<span class="k">def</span> <span class="nf">foo</span><span class="p">():</span>
	<span class="k">def</span> <span class="nf">inner</span><span class="p">():</span>
		<span class="k">return</span> <span class="n">x</span> <span class="o">+</span> <span class="mi">1</span>
	<span class="n">x</span> <span class="o">=</span> <span class="mi">1</span>
	<span class="k">print</span> <span class="n">inner</span><span class="p">()</span> <span class="c"># output 2</span>
	<span class="n">x</span> <span class="o">=</span> <span class="mi">2</span>
	<span class="k">print</span> <span class="n">inner</span><span class="p">()</span> <span class="c"># output 3</span>

这分明就是lexical scoping嘛，譬如说等价的C#代码

<span class="k">void</span> <span class="nf">Foo</span><span class="p">()</span>
<span class="p">{</span>
    <span class="kt">int</span> <span class="n">x</span><span class="p">=</span><span class="m">1</span><span class="p">;</span>
    <span class="n">Func</span><span class="p"><</span><span class="kt">int</span><span class="p">></span> <span class="n">inner</span> <span class="p">=</span> <span class="p">()=></span><span class="n">x</span><span class="p">+</span><span class="m">1</span><span class="p">;</span>
    <span class="n">x</span><span class="p">=</span><span class="m">3</span><span class="p">;</span>
    <span class="n">Console</span><span class="p">.</span><span class="n">WriteLine</span><span class="p">(</span><span class="n">inner</span><span class="p">());</span>
<span class="p">}</span>

把楼主的代码改写成 lua 可以看看 Python 和 Lua 在处理上的不同：

第一个例子结果都是一样的，因为变量绑定的是引用而不是值。第二个例子：

<span class="k">function</span> <span class="nf">foo</span><span class="p">()</span>
	<span class="k">function</span> <span class="nf">inner</span><span class="p">()</span>
		<span class="k">return</span> <span class="n">x</span> <span class="o">+</span> <span class="mi">1</span>
	<span class="k">end</span>
	<span class="kd">local</span> <span class="n">x</span> <span class="o">=</span> <span class="mi">3</span>
	<span class="nb">print</span><span class="p">(</span><span class="n">inner</span><span class="p">())</span>
<span class="k">end</span>

<span class="n">foo</span><span class="p">()</span>

题主所说的现代化的编程语言指的是什么？ js经过这么多代的更新迭代，现在也是这样~

<span class="p">(</span><span class="kd">function</span> <span class="nx">foo</span><span class="p">()</span> <span class="p">{</span>
  <span class="kd">function</span> <span class="nx">inner</span><span class="p">()</span> <span class="p">{</span>
    <span class="k">return</span> <span class="nx">x</span><span class="o">+</span><span class="mi">1</span><span class="p">;</span>
  <span class="p">}</span>
  <span class="nx">x</span> <span class="o">=</span> <span class="mi">3</span><span class="p">;</span>
  <span class="nx">console</span><span class="p">.</span><span class="nx">log</span><span class="p">(</span><span class="nx">inner</span><span class="p">());</span>
<span class="p">})();</span>

<span class="k">def</span> <span class="nf">foo</span><span class="p">():</span>
    <span class="n">x</span> <span class="o">=</span> <span class="mi">1</span>
    <span class="k">def</span> <span class="nf">inner</span><span class="p">():</span>
        <span class="k">return</span> <span class="n">x</span> <span class="o">+</span> <span class="mi">1</span>
    <span class="n">x</span> <span class="o">=</span> <span class="mi">3</span>
    <span class="k">print</span> <span class="n">inner</span><span class="p">()</span>
foo()  
# 输出4

我觉得完全没有背离啊。。
输出感觉当前 x 走的這個問題很好回答：x是inner函數的環境變量，所以在inner的定義中出現的x其實就是對定義外面的，也就是inner的環境變量的一個引用而已。

函數只有在被調用的時候才會執行，你前面將置為1，後面又改為3，不過是改變了x的引用值而已，相當於給x重新賦值。然後執行inner函數，使用x所對應的值為3，因此答案就是4了。

陳述

本文內容由網友自願投稿，版權歸原作者所有。本站不承擔相應的法律責任。如發現涉嫌抄襲或侵權的內容，請聯絡admin@php.cn

Python：自動化，腳本和任務管理Apr 16, 2025 am 12:14 AM

Python在自動化、腳本編寫和任務管理中表現出色。 1)自動化：通過標準庫如os、shutil實現文件備份。 2)腳本編寫：使用psutil庫監控系統資源。 3)任務管理：利用schedule庫調度任務。 Python的易用性和豐富庫支持使其在這些領域中成為首選工具。

Python和時間：充分利用您的學習時間Apr 14, 2025 am 12:02 AM

要在有限的時間內最大化學習Python的效率，可以使用Python的datetime、time和schedule模塊。 1.datetime模塊用於記錄和規劃學習時間。 2.time模塊幫助設置學習和休息時間。 3.schedule模塊自動化安排每週學習任務。

Python：遊戲，Guis等Apr 13, 2025 am 12:14 AM

Python在遊戲和GUI開發中表現出色。 1)遊戲開發使用Pygame，提供繪圖、音頻等功能，適合創建2D遊戲。 2)GUI開發可選擇Tkinter或PyQt，Tkinter簡單易用，PyQt功能豐富，適合專業開發。

Python vs.C：申請和用例Apr 12, 2025 am 12:01 AM

Python适合数据科学、Web开发和自动化任务，而C 适用于系统编程、游戏开发和嵌入式系统。Python以简洁和强大的生态系统著称，C 则以高性能和底层控制能力闻名。

2小時的Python計劃：一種現實的方法Apr 11, 2025 am 12:04 AM

2小時內可以學會Python的基本編程概念和技能。 1.學習變量和數據類型，2.掌握控制流（條件語句和循環），3.理解函數的定義和使用，4.通過簡單示例和代碼片段快速上手Python編程。

Python：探索其主要應用程序Apr 10, 2025 am 09:41 AM

Python在web開發、數據科學、機器學習、自動化和腳本編寫等領域有廣泛應用。 1)在web開發中，Django和Flask框架簡化了開發過程。 2)數據科學和機器學習領域，NumPy、Pandas、Scikit-learn和TensorFlow庫提供了強大支持。 3)自動化和腳本編寫方面，Python適用於自動化測試和系統管理等任務。