Lua - Czy można sprawdzić, czy 2 funkcje są równe?

Question

Czy możliwe jest uzyskanie rozmiaru funkcji w bajtach, aby sprawdzić, czy pasuje ona do innej funkcji podobnej do operatora size ++ C++, czy ocenić dwie funkcje w inny sposób, aby zobaczyć, czy oba są równe, bez faktycznego zrozumienia funkcji/funkcji są? Przykład:

local function equals(func1, func2) 
    -- check them and return true if equal 
end 

Jeśli nie jest to możliwe, po prostu powiedz i to zaspokoi moją odpowiedź! Dziękujemy!

EDYCJA: Ciało jednej funkcji jest tym, co muszę sprawdzić, aby sprawdzić, czy jest takie samo jak ciało innej funkcji. Odniesienie w pamięci będzie inne, więc nie mogę użyć "==", ale nazwa referencyjna tej funkcji może być inna.

Answer 1

Korzystanie z funkcji tylko sprawdza, czy odnoszą się do tej samej funkcji, co nie jest zgodne z oczekiwaniami.

Zadanie to jest raczej trudne, jeśli nie niemożliwe. Dla naprawdę prostych przypadkach, oto pomysł:

function f(x) return x + 1 end 
local g = function(y) return y + 1 end 

f i g są dwie funkcje, które są równe według definicji. Zakładając, że plik jest t.lua uruchom:

luac -l t.lua 

Wyjście jest:

main <t.lua:0,0> (4 instructions at 00000000003081c0) 
0+ params, 2 slots, 1 upvalue, 1 local, 1 constant, 2 functions 
     1  [1]  CLOSURE   0 0  ; 0000000000308330 
     2  [1]  SETTABUP  0 -1 0 ; _ENV "f" 
     3  [2]  CLOSURE   0 1  ; 0000000000308dc0 
     4  [2]  RETURN   0 1 

function <t.lua:1,1> (3 instructions at 0000000000308330) 
1 param, 2 slots, 0 upvalues, 1 local, 1 constant, 0 functions 
     1  [1]  ADD    1 0 -1 ; - 1 
     2  [1]  RETURN   1 2 
     3  [1]  RETURN   0 1 

function <t.lua:2,2> (3 instructions at 0000000000308dc0) 
1 param, 2 slots, 0 upvalues, 1 local, 1 constant, 0 functions 
     1  [2]  ADD    1 0 -1 ; - 1 
     2  [2]  RETURN   1 2 
     3  [2]  RETURN   0 1 

Jak widać, te dwie funkcje mają takie same instrukcje w maszynie wirtualnej.

Answer 2

Czy porównamy kod bajtowy?

local function equals(func1, func2) 
    return string.dump(func1) == string.dump(func2) 
end 

Oczywiście, byłyby przypadki, w których powyższe zawiodło. Na przykład:

local function f1 (...) 
    local a = print 
    a(...) 
end 

local function f2 (...) 
    print(...) 
end 


local function equals (f1, f2) 
    return string.dump(f1) == string.dump(f2) 
end 

print(equals(f1,f2)) --> false 

Obie funkcje robią to samo, ale generują inny kod bajtowy. Może, jeśli określisz, co chcesz osiągnąć, można zaproponować lepsze rozwiązanie niż porównywanie funkcji.