官术网_书友最值得收藏!

Extension function precedence

Extension functions cannot override functions declared in a class or interface. If an extension function is defined with the exact same signature (the same name, parameters type and order, and return type), then the compiler will never invoke it.

During compilation, when the compiler finds a function invocation, it will first look for a match in the member functions defined in the instance type as well as any member functions defined in superclasses and interfaces. If a match is found, then that member function is the one that is bound.

If no matching member functions are found, the compiler will consider any extension imports in the scope. Consider the following definitions:

    class Submarine { 
      fun fire(): Unit { 
        println("Firing torpedoes") 
      } 
 
      fun submerge(): Unit { 
        println("Submerging") 
      } 
    } 
 
    fun Submarine.fire(): Unit { 
      println("Fire on board!") 
    } 
 
    fun Submarine.submerge(depth: Int): Unit { 
      println("Submerging to a depth of $depth fathoms") 
    } 

Here we have a Submarine type with two functions – fire() and submerge(). We have also defined extension functions on Submarine with the same names. If we were to invoke these functions, we would use the following code:

    val sub = Submarine() 
    sub.fire() 
    sub.submerge() 

The output would be Firing torpedoes and Submerging. The compiler will bind to the fire() function defined in the submarine class. In this example, the extension function can never be called, as there is no way to disambiguate it from the function in the class proper.

However, the submerge() function has different function signatures, so the compiler is able to bind to either depending on the number of parameters used:

    val sub = Submarine() 
    sub.submerge() 
    sub.submerge(10) 

This would output Submerging and Submerging to a depth of 10 fathoms.

主站蜘蛛池模板: 定陶县| 林甸县| 肥东县| 霍山县| 衡东县| 建德市| 乌审旗| 包头市| 石嘴山市| 田阳县| 蒙城县| 苍溪县| 濮阳市| 昌吉市| 西青区| 广德县| 体育| 明光市| 互助| 泰宁县| 延川县| 南通市| 丹巴县| 元氏县| 沂水县| 姚安县| 白银市| 和顺县| 五大连池市| 全椒县| 农安县| 洪江市| 新津县| 甘泉县| 玉林市| 建始县| 炎陵县| 汝南县| 黄浦区| 通辽市| 电白县|