C#泛型方法在lua中表示的一种设计详解

前言

在进行lua方法注册的时候, 大多数解决方案直接否定了泛型方法, 因为在lua侧难以表达出泛型, 以及lua的函数重载问题,

函数重载问题可以通过一些特殊方法解决, 而泛型问题是主要问题, 以Unity + Slua的情况来说

比如下面的类:

public class Foo
  {
   public static void GetTypeName(System.Type type)
   {
    Debug.Log(type.Name);
   }
   public static void GetTypeName<T>()
   {
    Debug.Log(typeof(T).Name);
   }
  }

一般只会生成  GetTypeName(System.Type type) 的注册方法.

那么泛型的方法在Lua那边该怎样注册才能让这个调用能够实现呢? 一般来说我们调用泛型方法必须在写代码的时候就确定, 像这样:

Foo.GetTypeName<int>();  // 输出 Int32

而lua并不能这样约束, 它的调用必须还是非泛型的才可以, 这是第一个问题, 而第二个问题是lua那边怎样写? 我们希望它的写法能跟C#保持

一致, 或者相似吧, 让人看起来容易明白, 可是lua中中括号是大于小于号, 不能这样写, 想想有没有什么办法

因为在lua中是没有类型的, 类型必须来自C#, 所以只能将泛型作为非泛型方法才能使用, 如果让函数进行一次退化和封装, 像下面这样

-- 先将C# 的typeof注册成全局函数, 注册System.Int32命名为int
local Foo = {}
Foo.GetTypeName = function(type)
 return function()
  print(type.Name)
 end
end
Foo.GetTypeName(typeof(int))();  -- lua
Foo.GetTypeName<typeof(int)>();  // C#

这样写的话, 除了尖括号, 基本就能两边一致了对吧, 运行结果也是一样的

/*至于怎样注册typeof(int)*/
// 在LuaState的Init中注册个全局函数[MonoPInvokeCallbackAttribute(typeof(LuaCSFunction))]
internal static int getType(IntPtr L)
{
  System.Type type = null;
  LuaObject.checkType(L, 1, out type);
  LuaObject.pushObject(L, type);
  return 1;
}
// 在LuaState的Init中自己注册咯LuaDLL.lua_pushcfunction(L, getType);LuaDLL.lua_setglobal(L, "typeof");
// CustomExport.OnAddCustomClass 中添加类型别名
add(typeof(System.Int32), "int"); // int

只是这里lua的函数没有进行C#那边的调用啊, 下一步就来看看有没有什么办法来实现调用.

如果通过自动注册的话, Foo应该是一个已经注册的类型.

[SLua.CustomLuaClass]
public class Foo

并且有元表, 元表里面有非泛型的GetTypeName方法了. 现在先不要去动元表,

直接注册这个到Table里面, 因为如果Table里面有值的话, 就不会去查询元表了

import "Foo";
Foo.GetTypeName(typeof(int));  // 输出 Int32

rawset(Foo, "GetTypeName", function(type)
 return function()
  local mt = getmetatable(Foo)
  local func = rawget(mt,"GetTypeName");
  func(type)
 end
end)

Foo.GetTypeName(typeof(int))();  // 输出 Int32 -- 注意返回了function然后再次调用

这个方法比较流氓, 因为直接默认了有非泛型函数, 并且覆盖了元表的非泛型方法, 不可取的.

要继续的话, 首先来看看一个泛型方法怎样通过Type方法进行调用的:

var methods = typeof(Foo).GetMethods(BindingFlags.Public | BindingFlags.Static | BindingFlags.InvokeMethod);
  foreach(var method in methods)
  {
   if(method.IsGenericMethod)
   {
    var paramters = method.GetParameters();
    if(paramters == null || paramters.Length == 0)
    {
     var genericMethod = method.MakeGenericMethod(new Type[] { typeof(int) });
     if(genericMethod != null)
     {
      genericMethod.Invoke(null, null);  // 输出 Int32              break;     }
    }
   }
  }

当然是反射啦, 这样就能让泛型方法退化为非泛型了, 虽然是一个缓慢的反射, 不过时间基本只花费在Invoke上, 问题还不大.

剩下的问题是重载了, 有非泛型和泛型的两个同名函数, 为了测试我先删除掉非泛型,

[SLua.CustomLuaClass]
public class Foo
{
 //public static void GetTypeName(System.Type type)
 //{
 // Debug.Log(type.Name);
 //}
 public static void GetTypeName<T>()
 {
  Debug.Log(typeof(T).Name);
 }
}

生成的lua注册代码也要修改一下

   System.Type a1;
   checkType(l,1,out a1);
   Foo.GetTypeName(a1);  // 它完了
   pushValue(l,true);

改成

System.Type a1;
   checkType(l,1,out a1);
   var methods = typeof(Foo).GetMethods(System.Reflection. BindingFlags.Public
    | System.Reflection.BindingFlags.Static
    | System.Reflection.BindingFlags.InvokeMethod);
   foreach(var method in methods)
   {
    if(method.IsGenericMethod)
    {
     var paramters = method.GetParameters();
     if(paramters == null || paramters.Length == 0)
     {
      var genericMethod = method.MakeGenericMethod(new Type[] { typeof(int) });
      if(genericMethod != null)
      {
       genericMethod.Invoke(null, null);
       break;
      }
     }
    }
   }
   pushValue(l,true);

试试运行一下看看, 输出 Int32 看来没有问题, 问题是在Lua那边还是需要手动封装了一遍:

rawset(Foo, "GetTypeName", function(type)
 local mt = getmetatable(Foo)
 local func = rawget(mt,"GetTypeName");
 func(type)
end)
-- 问题是, 不进行一次rawset无法得到泛型写法
Foo.GetTypeName(typeof(int));  // 输出 Int32 -- Table方法

 到这里, 基本就可以得出结论了,

一. 在lua中可以通过封装(闭包)的方式接近C#的泛型的写法, 差别只是一个中括号和小括号

Foo.GetTypeName(typeof(int))();  -- lua
Foo.GetTypeName<typeof(int)>();  // C#

然而过程异常复杂, 比如上述代码中的rawset过程需要在C#的注册代码中进行实现, 而在调用的地方需要通过反射, 并且在lua侧需要解决函数重载的问题,

上面的例子直接做了覆盖. 就无法正常访问非泛型方法函数了.

二. 既然泛型方法可以退化为非泛型, 那么可以直接检测有没有同名的且同参数的非泛型函数, 如果没有就把泛型方法的非泛型版添加到注册函数中即可.

总结

以上就是这篇文章的全部内容了,希望本文的内容对大家的学习或者工作具有一定的参考学习价值,谢谢大家对我们的支持。

(0)

相关推荐

  • C#中Predicate<T>与Func<T, bool>泛型委托的用法实例

    本文以实例形式分析了C#中Predicate<T>与Func<T, bool>泛型委托的用法,分享给大家供大家参考之用.具体如下: 先来看看下面的例子: static void Main(string[] args) { List<string> l = new List<string>(); l.Add("a"); l.Add("b"); l.Add("s"); l.Add("t&quo

  • C#中的where泛型约束介绍

    泛型约束的意思就是说:类的泛型,只能是where字句后面所写的接口或类.这么说好像也有点不大明白,举个例子.我有一个接口,如下: 复制代码 代码如下: /// /// 国籍的接口 /// public interface INationality {     string Nationality     {         set;         get;     }     string GetNationality(); } 然后该接口有两个实现,如下: 复制代码 代码如下: ///  /

  • c#自定义泛型类的实现

    闲来无事,自己研究了泛型类的简单的使用,where表示泛型约束,表示泛型类型中的参数只能是car类型,IEnumerable是一个接口,一个集合要支持FOREAch遍历,必须实现IEnumerable接口 复制代码 代码如下: public class Car    {        public string PetName;        public int Speed;        public Car(string name, int currentSpeed)        {  

  • c# 泛型类型参数与约束的深入分析

    泛型类型参数简介在定义泛型类型和泛型方法时,常用到泛型类型参数,泛型类型参数是在实例化泛型时指定类型的占位符.泛型类型参数放在"<>"内.泛型类型参数命名建议:(1)当泛型类型参数为单个字母时,建议用T表示.(2)当泛型类型参数用单词定义时,建议在单词前加T. 复制代码 代码如下: private void PromptName<T>(T t) {}private void PromptName<Tuser>(Tuser user){} 泛型类型参数

  • C#泛型集合Dictionary<K,V>的使用方法

    1.要使用Dictionary集合,需要导入C#泛型命名空间 System.Collections.Generic(程序集:mscorlib) 2.描述 1).从一组键(Key)到一组值(Value)的映射,每一个添加项都是由一个值及其相关连的键组成 2).任何键都必须是唯一的 3).键不能为空引用null(VB中的Nothing),若值为引用类型,则可以为空值 4).Key和Value可以是任何类型(string,int,custom class 等) 3.创建及初始化 复制代码 代码如下:

  • C#泛型实例详解

    本文以实例形式讲述了C#泛型的用法,有助于读者深入理解C#泛型的原理,具体分析如下: 首先需要明白什么时候使用泛型: 当针对不同的数据类型,采用相似的逻辑算法,为了避免重复,可以考虑使用泛型. 一.针对类的泛型 针对不同类型的数组,写一个针对数组的"冒泡排序". 1.思路 ● 针对类的泛型,泛型打在类旁. ● 由于在"冒泡排序"中需要对元素进行比较,所以泛型要约束成实现IComparable接口. class Program { static void Main(s

  • C#泛型约束的深入理解

    where 子句用于指定类型约束,这些约束可以作为泛型声明中定义的类型参数的变量.1.接口约束.例如,可以声明一个泛型类 MyGenericClass,这样,类型参数 T 就可以实现 IComparable<T> 接口: 复制代码 代码如下: public class MyGenericClass<T> where T:IComparable { } 2.基类约束:指出某个类型必须将指定的类作为基类(或者就是该类本身),才能用作该泛型类型的类型参数.这样的约束一经使用,就必须出现在

  • C#泛型Dictionary的用法实例详解

    本文以实例形式讲述了C#中的泛型Dictionary的用法.具有很好的实用价值.分享给大家供大家参考.具体如下: 泛型最常见的用途是泛型集合,命名空间System.Collections.Generic 中包含了一些基于泛型的集合类,使用泛型集合类可以提供更高的类型安全性,还有更高的性能,避免了非泛型集合的重复的装箱和拆箱. 很多非泛型集合类都有对应的泛型集合类,下面是常用的非泛型集合类以及对应的泛型集合类: 非泛型集合类 泛型集合类 ArrayList List<T> HashTable D

  • 关于C#泛型列表List<T>的基本用法总结

    示例代码如下:namespace SampleListT{  class Program  {      static void Main(string[] args)      {//using System.Collections.Generic; 命名空间中的List<T>//using System.Collections; 命名空间中的ArrayList  //都实现了列表集合,一个是泛形集合,一个是非泛型的//下面我们将Person对象加到集合中 Person p1 = new P

  • C# 泛型深入理解介绍

    引言: 在上一个专题中介绍了C#2.0 中引入泛型的原因以及有了泛型后所带来的好处,然而上一专题相当于是介绍了泛型的一些基本知识的,对于泛型的性能为什么会比非泛型的性能高却没有给出理由,所以在这个专题就中将会介绍原因和一些关于泛型的其他知识. 一.泛型类型和类型参数 泛型类型和其他int,string一样都是一种类型,泛型类型有两种表现形式的:泛型类型(包括类.接口.委托和结构,但是没有泛型枚举的)和泛型方法.那什么样的类.接口.委托和方法才称作泛型类型的呢 ?我的理解是类.接口.委托.结构或方

随机推荐