Luaから関数を呼び出すときにC++の例外を処理する方法は？

Question

私はLuaから呼び出せるC++の機能を持っています。私はそこに文字列変数を使用する必要はありません知っているが、それは、問題を実証することがあります：

int PushHello(lua_State *L){ 
    string str("Hello"); 
    lua_pushlstring(L, str.data(), str.length()); 
    return 1; 
} 

注：ここでは私の問題を示すためには、一例です。私は例外をスローすることがLuaの文字列コンストラクタからこの関数を呼び出すと

1. ：ここ

   は私の二つの問題があります。問題ありますか？ルアはそれを処理し、ルアスタックを適切に巻き戻しますか？私はそうは思わない。それをどうすれば解決できますか？そのようなコードのまわりにtry/catchを追加し、例外をlua_errorに変換する必要がありますか？より良い解決策はありませんか？

2. longjmp関数を使用した場合はC++がlua_pushlstring()通話lua_error()文字列のデストラクタが呼び出されることはないされたときのように、私はおそらくLuaのをコンパイルすることによって解決している別の問題。問題は、C++としてコンパイルし、longjmpを使用する代わりに例外をスローすることで解決されますか？明確にするために

、私は問題1に見ることができる可能な解決策は、このようになります：

int PushHello(lua_State *L){ 
    string str; 
    try{ 
     str.assign("Hello"); 
    catch(exception &e){ 
     luaL_error(L, e.what()); 
    } 
    lua_pushlstring(L, str.data(), str.length()); 
    return 1; 
} 

しかしtry/catchは、多くの場所に追加される必要があるであろうと、それは非常に醜いとエラーが発生しやすくなります。それはマクロとして実行することができ、投げることができるすべてのコマンドを置くことができますが、これはあまりうまくいかないでしょう。

Answer 1

私は妥当な解決策を見つけました。問題はそれが正しいかどうかです。エクスポート（またはlua_cpcall経由での呼び出し）の代わりに、元の関数int PushHello(lua_State *L)ラッパーint SafeFunction<PushHello>(lua_State *L)がエクスポート/呼び出されます。ラッパーは次のようになります。

template<lua_CFunction func> 
int SafeFunction(lua_State *L){ 
    int result = 0; 
    try{ 
     result = func(L); 
    } 
    // transform exception with description into lua_error 
    catch(exception &e){ 
     luaL_error(L, e.what()); 
    } 
    // rethrow lua error - C++ Lua throws lua_longjmp* 
    catch(lua_longjmp*){ 
     throw; 
    } 
    // any other exception as lua_error with no description 
    catch(...){ 
     luaL_error(L, "Unknown error"); 
    } 

    return result; 
} 

あなたはどう思いますか？何か問題は見えますか？

Answer 2

lua_errorを使用して、lua機能の外で発生したエラーを示すことはありません。 luaの境界内で呼び出すことができる追加のlua関数を追加する場合は、lua_errorが使用されます。その関数の実行中にエラーが発生した場合、lua_errorは適切です。

また、このStack unwinding in C++ when using Lua

の複製である編集

このない理由と呼ばれている文字列のデストラクタを心配している場合：

try 
{ 
    string str("Hello"); 
    lua_pushlstring(L, str.data(), str.length()); 
} 
catch (exception& e) 
{ 
    luaL_error(L, e.what()); 
} 

を、私は、これは微妙であると認識あなたが提案したものに変更しますが、違いがあります。例外がスローされると、try{}内のスタック上の何かが破壊されます。破壊しようとしているものがその試行内にあることを確認してください。

Answer 3

C++としてLuaをコンパイルすると、エラーとしてC++例外が使用されますが、Cとしてコンパイルするとlongjmp/setjmpが使用されます。これは、基本的には、このような例外を投げる大したことはないということです。

Answer 4

LuaはC++例外をキャッチしません。それをキャッチしないと、他のコードブロックでキャッチされるか、プログラムがクラッシュする（未処理例外）まで、コールスタックに渡されます。 Luaに公開する関数が例外をスローする関数を呼び出す場合は、その関数でそれらを処理する必要があります。

Answer 5

Juraj Blahoの答えは素晴らしいです。しかし、欠点があります：int SafeFunction<PushHello>(lua_State *L)でエクスポートする関数ごとに、コンパイラはすべてコードのコピーをマクロのように生成します。多数の小さな関数をエクスポートすると、これはフットプリントの無駄になります。

あなたは簡単にすべてのジョブを実行する共通static機能を定義することで問題を回避することができ、かつtemplate機能だけでは、共通の関数を呼び出します。

static int SafeFunctionCommon(lua_State *L, lua_CFunction func){ 
    int result = 0; 
    try{ 
     result = func(L); 
    } 
    // transform exception with description into lua_error 
    catch(exception &e){ 
     luaL_error(L, e.what()); 
    } 
    // rethrow lua error - C++ Lua throws lua_longjmp* 
    catch(lua_longjmp*){ 
     throw; 
    } 
    // any other exception as lua_error with no description 
    catch(...){ 
     luaL_error(L, "Unknown error"); 
    } 

    return result; 
} 

template<lua_CFunction func> 
int SafeFunction(lua_State *L){ 
    return SafeFunctionCommon(L, func); 
}