草庐IT

Swift 泛型 : requiring addition and multiplication abilities of a type

coder 2023-07-15 原文

我正在尝试 Swift 书中的一些示例,即他们拥有的引入下标选项的矩阵示例。这是我的代码:

struct Matrix<T> {
    let rows: Int, columns: Int
    var grid: T[]

    var description: String {
        return "\(grid)"
    }

    init(rows: Int, columns: Int, initialValue: T) {
        self.rows = rows
        self.columns = columns
        grid = Array(count: rows * columns, repeatedValue: initialValue)
    }

    func indexIsValidForRow(row: Int, column: Int) -> Bool {
        return row >= 0 && row < rows && column >= 0 && column < columns
    }

    subscript(row: Int, column: Int) -> T {
        get {
            assert(indexIsValidForRow(row, column: column), "Index out of range")
            return grid[(row * columns) + column]
        }
        set {
            assert(indexIsValidForRow(row, column: column), "Index out of range")
            grid[(row * columns) + column] = newValue
        }
    }
}

这主要是从书上抄来的。主要区别在于此处的这一行:

struct Matrix<T>

据我所知,这告诉编译器我的 Matrix 类可以保存 T 类型的值,由使用此类的代码指定。现在,我想确保可以比较类型 T,所以我可以这样写:

struct Matrix<T: Equatable>

如果我想比较 2 个矩阵(这意味着比较它们的值),这可能很有用。我还想提供对两个矩阵求和的能力,所以我还应该向这一行添加一个协议(protocol),要求可以添加矩阵用户给出的类型“T”:

struct Matrix<T: Equatable, "Summable">

同样,我也想说:

struct Matrix<T: Equatable, "Summable", "Multipliable">

问题 1:我可以使用什么协议(protocol)名称?我怎样才能做到这一点?

相关说明,要使用“+”运算符添加加法功能,我应该声明这样的函数(这也适用于乘法):

@infix func + (m1: Matrix<T>, m2: Matrix<T>) -> Matrix<T> {
    // perform addition here and return a new matrix
    return result
}

但是,Xcode 不接受此代码。更具体地说,这个 ) -> Matrix<T> {产生错误:Use of undeclared type 'T' .我的意思是<T>是结果将是一个与两个输入矩阵具有相同类型的矩阵,但我可能完全搞砸了语法。

问题2:如何为加法结果提供类型信息?

最佳答案

这是你的第二个问题(但你真的应该问两个不同的问题):

@infix func + <T> (m1: Matrix<T>, m2: Matrix<T>) -> Matrix<T> { ... }

对于你的第一个问题:在解决它之前,这里是为类型参数定义多个约束的语法:

struct Matrix<T where T: Equatable, T: Summable, T: Multipliable> {...}

或者,正如 GoZoner 在评论中所写:

struct Matrix<T: protocol<Equatable, Summable, Multipliable>> {...}

但我们不需要它。首先,定义一个新协议(protocol)并列出您需要的操作。你甚至可以让它扩展 Equatable:

protocol SummableMultipliable: Equatable {
    func +(lhs: Self, rhs: Self) -> Self
    func *(lhs: Self, rhs: Self) -> Self
}

然后,为您想要符合的类型提供扩展。这里,对于 IntDouble,扩展甚至是空的,因为所需操作的实现是内置的:

extension Int: SummableMultipliable {}
extension Double: SummableMultipliable {}

然后,在类型参数上声明类型约束:

struct Matrix<T: SummableMultipliable> { ... }

最后,你可以这样写:

let intMat = Matrix<Int>(rows: 3, columns: 3, initialValue: 0)
let doubleMat = Matrix<Double>(rows: 3, columns: 3, initialValue: 0)
let i: Int = intMat[0,0]
let d: Double = doubleMat[0,0]

您需要做的最后一件事是在运算符的定义中插入类型约束:

@infix func + <T: SummableMultipliable> (m1: Matrix<T>, m2: Matrix<T>) -> Matrix<T> { ... }

关于Swift 泛型 : requiring addition and multiplication abilities of a type,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/24046792/

有关Swift 泛型 : requiring addition and multiplication abilities of a type的更多相关文章

  1. javascript - String 和 Array 泛型方法将在未来被弃用 - 2

    在下面的链接(MDN站点)上它说“字符串泛型是非标准的,已弃用并且将来可能会被删除。请注意,如果不使用下面提供的填充程序,您不能跨浏览器依赖它们。“他们所指的方法是否是他们在该声明下方提供的垫片中列出的方法?这是我见过的唯一提到短语“字符串泛型”的地方,所以让我很困惑。对于数组泛型也有同样的问题,因为该站点也提到了类似的情况。https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Global_Objects/String#String_generic_methodshttps://developer.mozi

  2. javascript - Typescript 中泛型类中 Type 的默认值 - 2

    我需要根据变量在Typescript泛型类中的类型设置默认值,如下所示classMyClass{myvariable:T//HereIwanttosetthevalueofthisvariable//withthedefaultvalueofthetypepassedin'T'}例如,如果T是数字,那么变量myvariable的默认值应该是“0”,同样对于字符串,它应该是空字符串等等。 最佳答案 您不能这样做,因为T的实际类型只会在运行时才知道。你可以做什么:abstractclassMyClass{myvariable:T;con

  3. javascript - TypeScript:TypedArray 的泛型类型定义 - 2

    我正在尝试编写一个函数,通过将任意TypedArray作为输入来扩展/缩小TypedArray,并返回一个具有不同大小的新的相同类型的TypedArray,并将原始元素复制到其中。例如,当您通过时,newUint32Array([1,2,3])新尺寸5,它将返回newUint32Array([1,2,3,0,0]).exportconstresize=(source:ArrayLike,newSize:number,):ArrayLike=>{if(!source.length){returnnewsource.constructor(newSize);}newSize=typeofn

  4. javascript - 包装在 promise JavaScript 泛型函数中 - 2

    这个问题在这里已经有了答案:HowdoIconvertanexistingcallbackAPItopromises?(24个答案)关闭7年前。我如何用promise包装一个可以在内部具有同步/非同步功能的函数?我已经调用了下面的函数action[fn](req,res);在函数fn(在下面的例子中)运行可以有内部(我对每个函数使用动态调用)同步或像下面的例子那样异步,Howitsrecommendedtowrapitinpromise.Howtohandleerrorsifany...我使用nodeJS应用程序run:function(req,res,filePath){varwri

  5. javascript - 有没有办法在 JS 文档中定义泛型类型? - 2

    关闭。这个问题不符合StackOverflowguidelines.它目前不接受答案。我们不允许提问寻求书籍、工具、软件库等的推荐。您可以编辑问题,以便用事实和引用来回答。关闭4年前。Improvethisquestion我正在为我的JS库寻找文档生成器。我找到JSDuck最全面和最强大的。但我没有看到使用其语法为泛型类和函​​数定义类型变量的方法。快速浏览流行的JS文档生成器让我觉得它们都没有这样做的能力。这是我正在寻找的伪示例:/***@classMyArray*Myperfectarrayclass.*@typevarT*/MyArray=function().../***@cl

  6. javascript - 使用 Javascript 的 Flowtype 解释泛型 - 2

    我以前从未用静态类型语言编写过。我主要使用Javascript进行开发,最近我有兴趣了解更多有关FB的Flowtype的信息。我发现文档写得很好,而且我理解了其中的大部分内容。但是我不太明白generics的概念.我试过用谷歌搜索一些例子/解释,但没有成功。谁能解释一下什么是泛型,它们主要用于什么,并可能提供一个例子? 最佳答案 假设我想编写一个只存储单个值的类。显然这是人为的;我保持简单。实际上这可能是一些集合,比如Array,可以存储多个值。假设我需要包装一个number:classWrap{value:number;const

  7. javascript - 对象文字类型的调用签名是什么?它们如何与泛型类型一起使用? - 2

    我正在阅读TypeScriptdocumentation的这一部分,在通用类型部分下,以下两个被声明为等价的:代码示例1functionidentity(arg:T):T{returnarg;}letmyIdentity:(arg:T)=>T=identity;代码示例2functionidentity(arg:T):T{returnarg;}letmyIdentity:{(arg:T):T}=identity;文档指出这是可能的,原因如下。Wecanalsowritethegenerictypeasacallsignatureofanobjectliteraltype尽管有这一行,但

  8. C#学习笔记--泛型函数的==和Equals(看完你一定能学到!) - 2

    前言工作的同事发现了这个问题,觉得实际游戏开发中会有这样的问题,所以在此记录准备开一个Unity项目,新建一个Test.cs脚本,并且生成一个Cube,直接把Test.cs挂在Cube上写一个Nulltest.cs脚本usingSystem.Collections;usingSystem.Collections.Generic;usingUnityEngine;publicclassNulltest:MonoBehaviour{publicTesttest;privatevoidAwake(){Destroy(test);}privatevoidUpdate(){Check(test);}pr

  9. swift - 将 json 编码时间转换为 nsdate - 2

    当我将time.Now()编码到JSON对象时,它给出的结果为"2009-11-10T23:00:00Z"但打印时间。现在给出2009-11-1023:00:00+0000UTC。他们为什么不同。什么是T和Z。另外,如何根据this将其转换为swiftNSDate对象?表? 最佳答案 这些值的含义无关紧要,它们是该格式(ISO8601)的一部分。有几种方法可以解决这个问题。一种是为时间或您的结构定义自定义MarshalJSON()方法并使用它来格式化日期,另一种是首先在您的结构中将其表示为字符串,以便当默认实现执行你得到你正在寻找的

  10. json - Go中泛型的解决方案 - 2

    我想为JSON响应制作一个有用的库。在Java中我已经有了这个。我现在开始使用Go,不知道如何转换我的Java代码。我读到Go没有泛型之类的东西,但我该如何解决我的问题?我说的是代码的以下部分:@DatapublicclassServiceResultimplementsSerializable{privateServiceResultStatusstatus;privateStringtype;privateTcontent;privateStringhash;privateStringdestination;privateHashMapmetadata=newHashMap();.

随机推荐