単純な実装は、1 つを除いてすべての基準を満たします。
function table2address(Mytable) return Mytable end
function address2table(addr) return addr end
デモ:
> Mytable={}
> print(Mytable)
table: 0x7fe511c0a190
> addr = table2address(Mytable)
> Othertable=address2table(addr)
> =type(Othertable)
table
> print(Othertable==Mytable)
true
もう少し複雑な実装は、すべての基準を満たしています。
t2at = {}
function table2address(Mytable)
local addr = t2at[Mytable]
if addr == nil then
addr = #t2at + 1
t2at[Mytable] = addr
t2at[addr] = Mytable
end
return addr
end
function address2table(addr)
return t2at[addr]
end
デモ:
> Mytable={}
> addr = table2address(Mytable)
> Othertable=address2table(addr)
> =type(Othertable)
table
> print(Othertable==Mytable)
true
> =type(addr)
number
では、なぜ住所が重要なのですか?
Lua などのガベージ コレクション言語では、アドレスではなく、オブジェクトへの参照のみを保持できます。[現在の実装では、GC 中にオブジェクトを移動する場合と移動しない場合がありますが、Lua の状態以外userdata
では、Lua はあらゆるものを移動するライセンスを持っています。]
補遺
Re: 「アドレスは決してランダム化されません (2 つの新しいインタラクティブな lua インスタンスで print({}) を試してください)」
e$ lua
Lua 5.2.2 Copyright (C) 1994-2013 Lua.org, PUC-Rio
> print({})
table: 0x7fdaca4098c0
> ^D
e$ lua
Lua 5.2.2 Copyright (C) 1994-2013 Lua.org, PUC-Rio
> print({})
table: 0x7fb02a4098c0
> ^D
e$
Re: 物理的な住所が本当に必要です
luaL_tolstring
print の根性を実装する関数を見てください。それは(Lua 5.2.2で):
default:
lua_pushfstring(L, "%s: %p", luaL_typename(L, idx),
lua_topointer(L, idx));
break;
つまり、lua_topointer(L, idx)
テーブルのアドレスを取得するために必要な関数です。