当前位置 : 主页 > 手机开发 > 其它 >

Swift中的隐式类型转换

来源:互联网 收集:自由互联 发布时间:2021-06-11
使用 Swift Language Guide: Extensions的示例代码,我已经像这样使用了struct double extension Double { func someFunc() { print("someFunc") }} 我对此声明感到惊讶 2.someFunc() 没有生成编译时错误,如:’Int’类型
使用 Swift Language Guide: Extensions的示例代码,我已经像这样使用了struct double

extension Double {
    func someFunc() {
        print("someFunc")
    }
}

我对此声明感到惊讶

2.someFunc()

没有生成编译时错误,如:’Int’类型的值没有成员’someFunc’.我期望将2的值隐式地转换为Int,但Swift将其转换为Double.这是为什么 ? Swift如何确定在这种情况下2的值是Double类型?

然后我试着像这样调用someFunc()

let x = 2
x.someFunc()

在这里,我得到了预期的编译时错误

这是否与Swift Programming Language 3.0.1 : Language guide : The basics : Type Safety and Type Inference的说法相矛盾?

Type inference enables a compiler to deduce the type of a particular
expression automatically when it compiles your code, simply by
examining the values you provide.

编辑

从响应中我了解到它发生是因为Double符合ExpressibleByIntegerLiteral协议.但是Float结构也确实符合它和其他一些类型.下面我创建了符合该协议的结构.最后,在编译时选择Double.为什么?一个扩展的方法的优先级如何通过其他扩展的方法确定?

struct someStruct: ExpressibleByIntegerLiteral{
    var i:Int = 0

    init(integerLiteral value: Int64){
        i = Int(value)
    }    
}

extension someStruct {
    func someFunc() {print("Somestruct someFunc") }
}

extension Double {
    func someFunc() { print("Double someFunc") }
}

4.someFunc()

//prints: Double someFunc
Double是符合协议 ExpressibleByIntegerLiteral的类型之一.由于2是整数leteral,编译器可以检查哪个符合协议的类型具有someFunc(),并且因为只有Double,所以在此上下文中没有歧义.
网友评论