4

所以使用LuaJ。

如果我从 Java 向 Lua 传递一个List<T>type的 userdata，Luaj 仍然允许通过该函数T将任何类型的对象插入到该数组中。:add例如：

Java代码：

import java.util.ArrayList;
import org.luaj.vm2.Globals;
import org.luaj.vm2.lib.jse.CoerceJavaToLua;
import org.luaj.vm2.lib.jse.JsePlatform;
import org.luaj.vm2.LuaValue;

ArrayList<Integer>ExampleList=new ArrayList<>();
ExampleList.add(1);
LuaValue[] LuaParams=new LuaValue[] {
    CoerceJavaToLua.coerce(ExampleList)
};

Globals globals=JsePlatform.standardGlobals();
try { globals.get("TestFunc").invoke(LuaValue.varargsOf(LuaParams)); }
catch(Exception e) {}

卢阿：

function TestFunc(arr)
    arr:add("str")
    arr:add(2);
end

ExampleList 的结果：

{
    new Integer(1),
    new String("str"), //This should not be allowed!
    new Integer(2)
}

该字符串不应该被允许，因为ExampleList它是List<Integer>

问题：有什么方法可以保持类型安全？

如果它有助于测试，这里是将 lua 脚本添加到 lua 内存中的代码（就在 之前try{}）：

globals.load(
    "function TestFunc(arr)\n"+
    "        arr:add(\"str\")\n"+
    "        arr:add(2);\n"+
    "end",
"ExampleScript").call();
4

1 回答 1

3

经过研究，我发现无法找出数组声明为什么泛型类型。Java 不在对象中存储该信息。在运行时，它只使用声明数组的类型作为当前变量引用。

您所能做的就是查看其中的对象以确定它应该是什么，但这并不是万无一失的。

如果数组是在另一个对象中定义的，那么您可以查看父对象的字段以获取数组的组件/模板/通用类型。

ArrayList 反射

[编辑于 2016-07-06] 我知道的另一种建议方法是使用实​​际存储类类型的接口扩展所有列表类。尽管对于该项目来说，这实际上并不实用。仔细考虑之后，为什么 Java 不将泛型类类型存储为列表是有道理的。

我最终使用的解决方案是使用org.luaj.vm2.lib.jse.JavaMethod.invokeMethod(Object instance, Varargs args)以下内容进行编辑（在该Object[] a = convertArgs(args);行之后：

//If this is adding/setting to a list, make sure the object type matches the list's 0th object type
java.util.List TheInstanceList;
if(
    instance instanceof java.util.List && //Object is a list
    java.util.Arrays.asList("add", "set").contains(method.getName()) && //Adding/setting to list
    (TheInstanceList=(java.util.List)instance).size()>0 && //List already has at least 1 item
    !a[a.length>1 ? 1 : 0].getClass().isInstance(TheInstanceList.get(0)) //New item does not match type of item #0
)
    return LuaValue.error(String.format(
            "list coercion error: %s is not instanceof %s",
            a[a.length>1 ? 1 : 0].getClass().getName(),
            TheInstanceList.get(0).getClass().getName()
    ));

虽然这可以通过遍历对象的扩展父类型列表（之前的所有内容java.lang.Object）来扩展以考虑匹配的父类，但这在类型安全方面不如我们项目所需的安全。

我从上面使用的解决方案专门用于在 LUA 脚本投入生产之前清除它们中的错误。

我们可能最终还需要做一个 hack，其中某些类在比较时被认为是它们的祖先或继承类之一。

[编辑于 2016-07-08] 我最终添加了具有声明类型的列表的功能，因此不需要类型猜测。

上面代码块的替换代码：

//If this is adding/setting to a list, make sure the object has the proper class type
if(
    instance instanceof java.util.List && //Object is a list
    java.util.Arrays.asList("add", "set").contains(method.getName()) //Adding/setting to list
) {
    //If this is a TypedList, use its stored class for the typecheck
    java.util.List TheInstanceList=(java.util.List)instance;
    Class ClassInstance=null;
    if(instance instanceof lua.TypedList)
        ClassInstance=((lua.TypedList)instance).GetListClass();
    //Otherwise, check for a 0th object to typecheck against
    else if(TheInstanceList.size()>0) //List already has at least 1 item
        ClassInstance=TheInstanceList.get(0).getClass(); //Class of the 0th item

    //Check if new item does not match found class type
    if(
        ClassInstance!=null && //Only check if there is a class to check against
        !ClassInstance.isInstance(a[a.length>1 ? 1 : 0]) //Check the last parameter's class
    )
        return LuaValue.error(String.format(
                "list coercion error: %s is not instanceof %s",
                a[a.length>1 ? 1 : 0].getClass().getName(),
                ClassInstance.getName()
        ));
}

TypedList 的代码：

/**
 * This is a special List class used with LUA which tells LUA what the types of objects in its list must be instances of.
 * Otherwise, when updating a list in LUA, whatever is the first object in a list is what all other objects must be an instance of.
 */
public interface TypedList {
    Class GetListClass();
}

裸 ArrayList 作为 TypeList：

import java.util.ArrayList;

public class TypedArrayList<E> extends ArrayList<E> implements TypedList {
    private Class ListType;
    public TypedArrayList(Class c) {
        DefaultConstructor(c);
    };
    public TypedArrayList(Class c, java.util.Collection<? extends E> collection) {
        super(collection);
        DefaultConstructor(c);
    }
    private void DefaultConstructor(Class c) { ListType=c; }
    @Override public Class GetListClass() {
        return ListType;
    }
}
于 2016-07-06T05:05:35.677 回答