Lua - Можно ли проверить, соответствуют ли 2 функции?

Question

Возможно ли получить размер функции в байтах, чтобы увидеть, соответствует ли она другой функции, аналогичной оператору C++ sizeof, или оценить две функции каким-либо другим способом, чтобы убедиться, что они равны, не зная, что функция/s находятся? Пример:

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

Если это невозможно, просто скажите, и это удовлетворит мой ответ! Спасибо!

EDIT: Тело одной функции - это то, что мне нужно проверить, чтобы убедиться, что это то же самое, что и тело другой функции. Ссылка в памяти будет отличаться, поэтому я не могу использовать «==», но ссылочное имя функции может быть другим.

Answer 1

Использование функций == для функций только проверяет, ссылаются ли они на одну и ту же функцию, чего вы не ожидали.

Эта задача довольно сложная, если вообще невозможная. Для очень простых случаев, вот идея:

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

f и g являются две функции, которые равны по вашему определению. Если предположить, что файл t.lua, запустите:

luac -l t.lua 

Выход:

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 

Как вы можете видеть, эти две функции имеют одни и те же инструкции в виртуальной машине.

Answer 2

Будет ли сравнивать байт-код?

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

Несомненно, были бы случаи, когда вышеизложенное не получится. Например:

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 

Обе функции выполняют одно и то же, но генерируют разные байт-коды. Возможно, если вы укажете, что вы пытаетесь достичь, может быть обеспечено лучшее решение, чем сравнение функций.