我试图在Swift 5.7中为任何数值（à la micrograd）创建一个通用 Package 器。到目前为止，我的实现是这样的：

struct Value<Scalar: SignedNumeric>: Equatable {
    
    var data: Scalar
    
    init(_ data: Scalar) {
        self.data = data
    }
}

// MARK: Value+SignedNumeric
extension Value: SignedNumeric {
    typealias IntegerLiteralType = Scalar.IntegerLiteralType
    typealias Magnitude = Scalar.Magnitude
    
    var magnitude: Magnitude {
        data.magnitude
    }
    
    init(integerLiteral value: IntegerLiteralType) {
        self.data = Scalar(integerLiteral: value)
    }
    
    init?<T>(exactly source: T) where T : BinaryInteger {
        if let numericData = Scalar(exactly: source) {
            self.data = numericData
        } else {
            return nil
        }
    }
    
    static func * (lhs: Value<Scalar>, rhs: Value<Scalar>) -> Value<Scalar> {
        return Value(lhs.data * rhs.data)
    }
    
    static func + (lhs: Value<Scalar>, rhs: Value<Scalar>) -> Value<Scalar> {
        return Value(lhs.data + rhs.data)
    }
    
    static func - (lhs: Value<Scalar>, rhs: Value<Scalar>) -> Value<Scalar> {
        return Value(lhs.data - rhs.data)
    }
    
    static func *= (lhs: inout Value<Scalar>, rhs: Value<Scalar>) {
        lhs.data = lhs.data * rhs.data
    }
}

我遇到的问题是，如果我只提供一个没有任何显式类型注解的整数字面量，下面的代码将无法编译：

func testScalarTypeInference() {
    // all of these compile fine
    Value(Double(1.0))
    Value<Double>(1)
    Value<Int>(1)
    Value(Int(1))
    Value(1 as Int)
    Value(1.0)

    // doesn't compile
    Value(1)  // Generic parameter 'Scalar' could not be inferred in cast to 'Value'
}

为什么编译器会推断出简单的Double文字（Value(1.0)）的类型，而不是Int文字（Value(1)）的类型？

编辑：最让人困惑的地方我忘了说了，这个问题只在Value尝试符合SignedNumeric时存在。下面的代码编译正常：

struct ValueWrapper<Scalar: SignedNumeric> {
    var data: Scalar
    
    init(_ data: Scalar) {
        self.data = data
    }
}

func testValueWrapperTypeInference() {
    type(of: ValueWrapper(1))    // Expression of type 'ValueWrapper<Int>.Type' is unused
    type(of: ValueWrapper(1.0))  // Expression of type 'ValueWrapper<Double>.Type' is unused
}

所以我想可能是其中一个init出了问题？