在整数文字上调用时，为什么Swift无法找到Float扩展方法？

Question

我在Float上定义了一个名为printme的方法，当我尝试使用整数文字对其进行调用时，Swift无法找到该方法：

extension Float {
    func printme() {
        print("value: \(self)")
    }
}

12.printme()    // error: value of type 'Int' has no member 'printme'

如果我使用显式强制转换，则可以使用：

(12 as Float).printme()  // prints "value: 12.0"

如果Float符合IntegerLiteralConvertible协议，为什么12.printme()无法在Float上找到方法？ 如果类型为Double ，则可以使用，但对于Int32 ， UInt和其他类型，则无法使用。 为什么它适用于Double而不适用于Float ？

请注意以下工作：

func printit(f: Float) {
    print("value: \(f)")
}

printit(10)              // prints "value: 10.0"

因此，当在整数文字上调用该方法时，它会失败，而在整数文字是函数的参数时，则不会失败。

---

在Xcode 6.4中，它以不同的方式失败：

12.printme()  // error: cannot invoke 'printme' with no arguments

Answer 1

当您没有显式类型时，Swift会假定Int或Double 。 从Swift书中 ：

例如，如果您不给新常量分配字面值42而没有说出它是什么类型，则Swift会推断您希望该常量为Int ，因为您已使用看起来像整数的数字对其进行了初始化...同样，如果您没有为浮点文字指定类型，Swift就会推断您要创建Double 。

Float不在文字的推断类型列表中。 如果将扩展名更改为Double，则可以使用（Xcode 7.1）：

extension Double {
    func printme() {
        print("I'm a Double")
    }
}

12.printme()
12.0.printme()

Answer 2

对于这些扩展，我也在寻找我想影响的所有类型的协议，而不是依靠它，编译器将发挥出色并将Double转换为Float以及其他方式。

IntegerLiteralConvertible适用于所有对象，但是您无法访问该数值。 如果添加约束要么IntegerType或FloatingPointType可以访问toIntMax()和self.advancedBy(0)

extension IntegerLiteralConvertible where Self : IntegerType {
    func printMe() {
        print(self.toIntMax())
    }
}

extension IntegerLiteralConvertible where Self : FloatingPointType {
    func printMe() {
        print(self.advancedBy(0))
    }
}


let float = Float(10.234234)
float.printMe()

let double = Double(234.234234)
double.printMe()

let int = Int(234234)
int.printMe()

let int16 = Int16(234)
int16.printMe()