Lua - ローカルに必要なeveytimeローカル変数が割り当てられていますか？

Question

私はLuaのドキュメントでコードの奇妙な作品を見つけた：

function trim8(s) 
    local i1,i2 = find(s,'^%s*') 
    if i2 >= i1 then s = sub(s,i2+1) end 
    local i1,i2 = find(s,'%s*$') 
    if i2 >= i1 then s = sub(s,1,i1-1) end 
    return s 
end 

はなぜlocali1とi2でもう一度使用されていますか？それらはすでにローカル変数の中で宣言されていませんか？割り当てたいたびにlocalキーワードを繰り返す必要がありますか？

Answer 1

いいえ、localを何度も何度も使用する必要はありません。変数i1とi2は、最初の行自体のために関数の範囲でlocalになります。

同じ変数を何度も何度も定義するのは間違いありません。スタックの新しい位置を新しいものに割り当て、古いものをシャドーするだけです。

次は、単純な機能のための命令の出力です：

function t() 
    local i = 2 
    local i = 3 
end 
t() 

function <temp.lua:1,4> (3 instructions, 12 bytes at 00658990) 
0 params, 2 slots, 0 upvalues, 2 locals, 2 constants, 0 functions 
     1  [2]  LOADK   0 -1 ; 2 
     2  [3]  LOADK   1 -2 ; 3 
     3  [4]  RETURN   0 1 

だけi = 3に二local i = 3を更新：

function t() 
    local i = 2 
    i = 3 
end 
t() 

function <temp.lua:1,4> (3 instructions, 12 bytes at 00478990) 
0 params, 2 slots, 0 upvalues, 1 local, 2 constants, 0 functions 
     1  [2]  LOADK   0 -1 ; 2 
     2  [3]  LOADK   0 -2 ; 3 
     3  [4]  RETURN   0 1 

お知らせ秒で違い命令。

---

とは別に、この機能は非常に非効率的です。二宣言にlocalかどうかを使用して、

function Trim(sInput) 
    return sInput:match "^%s*(.-)%s*$" 
end 

Answer 2

技術的に等価ではありません。あなたは、代わりに以下を使用することができます。第2のlocalを使用すると、別の変数が宣言されます。

しかし、あなたのコード例では、基本的に同じです。これらの単純なコードチェック：

local a = 0 
local a = 1 

と

local a = 0 
a = 1 

を使用luac -p -l次の結果を出力します

0+ params, 2 slots, 0 upvalues, 2 locals, 2 constants, 0 functions 
    1 [1] LOADK  0 -1 ; 0 
    2 [2] LOADK  1 -2 ; 1 
    3 [2] RETURN  0 1 

と

0+ params, 2 slots, 0 upvalues, 1 local, 2 constants, 0 functions 
    1 [1] LOADK  0 -1 ; 0 
    2 [2] LOADK  0 -2 ; 1 
    3 [2] RETURN  0 1