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

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.

主站蜘蛛池模板: 元氏县| 临漳县| 石阡县| 崇信县| 景东| 措勤县| 新野县| 连云港市| 建宁县| 石家庄市| 高阳县| 丘北县| 鄢陵县| 新巴尔虎左旗| 来凤县| 辽阳县| 伊宁县| 广东省| 融水| 莲花县| 锦屏县| 江孜县| 普兰店市| 万载县| 云南省| 浮山县| 偏关县| 青田县| 新龙县| 灵台县| 岚皋县| 桃源县| 安塞县| 巨鹿县| 玉田县| 和硕县| 梁山县| 沙坪坝区| 基隆市| 屏东县| 旺苍县|