luabind abort при попытке вызвать метод объекта с ошибками lua

Я использовал пример из http://www.rasterbar.com/products/luabind/docs.html#deriving-in-lua для определения класса в C ++, от которого я могу унаследоваться в lua:

class base
{
public:
    base(const char* s)
    { std::cout << s << "\n"; }

    virtual void f(int a)
    { std::cout << "f(" << a << ")\n"; }
};

struct base_wrapper : base, luabind::wrap_base
{
    base_wrapper(const char* s)
        : base(s)
    {}

    virtual void f(int a)
    {
        call<void>("f", a);
    }

    static void default_f(base* ptr, int a)
    {
        return ptr->base::f(a);
    }
};

...

module(L)
[
    class_<base, base_wrapper>("base")
        .def(constructor<const char*>())
        .def("f", &base::f, &base_wrapper::default_f)
];

Затем я создал производный класс в lua:

class 'base_derived' (base)

function base_derived:__init(str)
    base.__init(self,str)
end

function base_derived:f()
    this_function_doesnt_exist()
end

Любой вызов 'f' должен вызывать ошибку lua, которая отлично работает, если я сделаю это в lua:

local x = base_derived("Test")
x:f() -- Throws "attempt to call a nil value..." error

Я хотел бы сделать аналог этого, но в C ++:

auto g = luabind::globals(l);
auto r = g["base_derived"];
if(r)
{
    luabind::object o = r("Test");
    auto gm = luabind::object_cast<base_wrapper*>(o);
    if(gm != nullptr)
    {
        try
        {
            luabind::call_member<void>(o,"f",5);
        }
        catch(luabind::error &e)
        {
            std::cout<<"[LUA] Error: "<<e.what()<<std::endl;
        }
    }
    o.push(l);
}

Однако вызов luabind :: call_member вызывает прерывание в luabind / detail / call_member.hpp, строка 258:

// Code snippet of luabind/detail/call_member.hpp
~proxy_member_void_caller()
{
    if (m_called) return;

    m_called = true;

    // don't count the function and self-reference
    // since those will be popped by pcall
    int top = lua_gettop(L) - 2;

    // pcall will pop the function and self reference
    // and all the parameters

    push_args_from_tuple<1>::apply(L, m_args);
    if (pcall(L, boost::tuples::length<Tuple>::value + 1, 0))
    {
        assert(lua_gettop(L) == top + 1);
#ifndef LUABIND_NO_EXCEPTIONS
////////////////////////////////////////////
        throw luabind::error(L); // LINE 258
////////////////////////////////////////////
#else
        error_callback_fun e = get_error_callback();
        if (e) e(L);

        assert(0 && "the lua function threw an error and exceptions are disabled."
            "If you want to handle this error use luabind::set_error_callback()");
        std::terminate();
#endif
    }
    // pops the return values from the function
    stack_pop pop(L, lua_gettop(L) - top);
}

Исключение в этой строке на самом деле не генерируется, но именно оно вызывает прерывание.

Однако прерывание происходит только в том случае, если lua-functions вызывают ошибку lua. Если я прокомментирую вызов this_function_doesnt_exist (), обе версии для lua и c ++ работают нормально.

Почему "throw luabind :: error (L);" вызывая прерывание, и что я могу сделать, чтобы безопасно вызвать функцию из c ++ даже с потенциальными ошибками lua?

// Редактировать: это стек вызовов во время прерывания (когда вызывается 'luabind :: call_member (o, "f", 5);'):

>   vcruntime140d.dll!__CxxFrameHandler(EHExceptionRecord * pExcept, unsigned __int64 RN, _CONTEXT * pContext, _xDISPATCHER_CONTEXT * pDC) Line 213 C++
    ntdll.dll!RtlpExecuteHandlerForException()  Unknown
    ntdll.dll!RtlDispatchException()    Unknown
    ntdll.dll!KiUserExceptionDispatch() Unknown
    KernelBase.dll!RaiseException() Unknown
    vcruntime140d.dll!_CxxThrowException(void * pExceptionObject, const _s__ThrowInfo * pThrowInfo) Line 136    C++
    server.dll!luabind::detail::proxy_member_void_caller<boost::tuples::tuple<int const * __ptr64,boost::tuples::null_type,boost::tuples::null_type,boost::tuples::null_type,boost::tuples::null_type,boost::tuples::null_type,boost::tuples::null_type,boost::tuples::null_type,boost::tuples::null_type,boost::tuples::null_type,boost::tuples::null_type,boost::tuples::null_type,boost::tuples::null_type,boost::tuples::null_type,boost::tuples::null_type,boost::tuples::null_type,boost::tuples::null_type,boost::tuples::null_type> >::~proxy_member_void_caller<boost::tuples::tuple<int const * __ptr64,boost::tuples::null_type,boost::tuples::null_type,boost::tuples::null_type,boost::tuples::null_type,boost::tuples::null_type,boost::tuples::null_type,boost::tuples::null_type,boost::tuples::null_type,boost::tuples::null_type,boost::tuples::null_type,boost::tuples::null_type,boost::tuples::null_type,boost::tuples::null_type,boost::tuples::null_type,boost::tuples::null_type,boost::tuples::null_type,boost::tuples::null_type> >() Line 258    C++

И это сообщение об отмене:  введите описание изображения здесь


person Silverlan    schedule 08.10.2015    source источник
comment
Вы сказали, что не получаете этого исключения, но получаете другое прерывание? Какие прерывания вы получаете?   -  person Etan Reisner    schedule 12.10.2015
comment
Я не совсем знаю, прерывание происходит, как только он достигает вызова throw (assert его не вызывает). Я добавил часть стека вызовов во время отмены вопроса.   -  person Silverlan    schedule 12.10.2015


Ответы (1)


См. Строку 254:

if (pcall(L, boost::tuples::length<Tuple>::value + 1, 0))

Здесь pcall просит lua выполнить ваш x:f(5) эквивалентный вызов. Очевидно, этот код возвращает ошибку, потому что pcall () возвращает что-то отличное от нуля. Это ожидается, потому что вы действительно создаете ошибку в lua, вызывая this_function_doesnt_exist(). Это также объясняет, почему прерывание не происходит, когда вы комментируете вызов this_function_doesnt_exist().

Затем к коду C ++:

     throw luabind::error(L);

Эта ошибка возникает из деструктора: ~proxy_member_void_caller(), и оказывается, что генерирует исключение из деструктор - плохая практика. Эта проблема известна для luabind (см. этот вопрос), чтобы вызвать прерывание, даже не бросая вызов.

Решение состоит в том, чтобы добавить noexcept(false) к подписи ~proxy_member_void_caller(), например:

~proxy_member_void_caller() noexcept(false)
person Gilles Gregoire    schedule 13.10.2015
comment
Так раздражает, что я все время забываю внести это изменение, также вам, вероятно, следует установить noexcept (false) для других вариантов, таких как ~proxy_member_caller() и т. Д. - person radman; 12.05.2017