芬兰湾的科特林内联函数详解及实例

  

<强>芬兰湾的科特林内联函数详解及实例

  

<强>概述

  

在说内联函数之前,先说说函数的调用过程。

  

调用某个函数实际上将程序执行顺序转移到该函数所存放在内存中某个地址,将函数的程序内容执行完后,再返回到转去执行该函数前的地方。这种转移操作要求在转去前要保护现场并记忆执行的地址,转回后先要恢复现场,并按原来保存地址继续执行。也就是通常说的压栈和出栈,因此,函数调用要有一定的时间和空间方面的开销。那么对于那些函数体代码不是很大,又频繁调用的函数来说,这个时间和空间的消耗会很大。

  

那怎么解决这个性能消耗问题呢,这个时候需要引入内联函数了。内联函数就是在程序编译时,编译器将程序中出现的内联函数的调用表达式用内联函数的函数体来直接进行替换。显然,这样就不会产生转去转回的问题,但是由于在编译时将函数体中的代码被替代到程序中,因此会增加目标程序代码量,进而增加空间开销,而在时间代销上不象函数调用时那么大,可见它是以目标代码的增加为代价来换取时间的节省。

  

<强>内联

  

在芬兰湾的科特林中,使用内联修饰符标记内联函数,既会影响到函数本身,也影响到传递给它的λ表达式,这两者都会被内联到调用处。

  

例如:         内联有趣lock(锁:锁体:()→T): {//?   }   之前      

编译器可以直接产生下面的代码,而不必为参数创建函数对象,然后再调用这个参数指向的函数:

        l.lock ()   尝试{   foo ()   }   最后{   l.unlock ()   }   之前      

<强> noinline

  

如果一个内联函数的参数中有多个λ表达式,而你只希望内联其中的一部分,你可以对函数的一部分参数添加noinline标记:

        内联有趣foo(内联:()→单位,noinline notInlined: ()→单位){//?   }      

可内联的λ表达式只能在内联函数内部调用,或者再作为可内联的参数传递给其他函数,但noinline的λ表达式可以按照我们喜欢的方式任意使用:可以保存在域内,也可以当作参数传递,等等。

  

<强>非局部返回(非本地返回)

  

在芬兰湾的科特林中,使用无限定符的通常的返回语句,只能用来退出一个有名称的函数,或匿名函数。这就意味着,要退出一个λ表达式,我们必须使用一个标签,无标签的回报在λ表达式内是禁止使用的,因为λ表达式不允许强制包含它的函数返回:

        有趣的foo () {   ordinaryFunction {//返回错误:这里不允许让“foo”函数返回   }   }   之前      

如果λ表达式被传递去的函数是内联函数,那么返回语句也可以内联,因此回报是允许的。

        有趣的foo () {   inlineFunction {//返回OK:这里的λ表达式是内联的   }   }      之前      

  

有些内联函数可能并不在自己的函数体内直接调用传递给它的λ表达式参数,而是通过另一个执行环境来调用,比如通过一个局部对象,或者一个嵌套函数。这种情况下,在λ表达式内,非局部的控制流同样是禁止的。为了标识这一点,λ表达式参数需要添加crossinline修饰符。

        内联有趣f (crossinline身体:()→单位){   val f=对象:可运行{   身体覆盖有趣run ()=()   }//?   }         之前      

感谢阅读,希望能帮助到大家,谢谢大家对本站的支持!

芬兰湾的科特林内联函数详解及实例