swift - 我如何创建一个带有返回可选的getter但返回非可选的setter的下标

Question

我正在编写一个名为 TriangularArray<T> 的自定义集合.它代表这样的结构:

     x
    x x
   x x x
  x x x x
 x x x x x

其中每个 x是数组中的一个元素。我可以访问具有行号和索引号的元素，它们都是从零开始的。例如，访问以下 (4, 2):

     a
    b c
   d e f
  g h i j
 k l m n o

将导致 m (第 5 行，该行中的第三个值)。

我用了 [[T]]作为支持数组，我写了一个这样的下标:

subscript(_ row: Int, _ index: Int) -> T? {
    get {
        // innerArray is the [[T]] used for backing
        if row < 0 || row >= innerArray.count {
            return nil
        }
        if index < 0 || index > row {
            return nil
        }
        return innerArray[row][index]
    }

    set {
        if row < 0 || row >= innerArray.count {
            return
        }
        if index < 0 || index > row {
            return
        }
        innerArray[row][index] = newValue!
    }
}

逻辑是下标会返回nil如果您访问不存在的行和索引，例如 (1, 3)。但是，通过使下标返回 T? , newValue在 setter 中也成为可选的，我必须强制解包它。

我真的很想对这种事情进行编译时检查:

triangularArray[0, 0] = nil // this should be a compile time error

我试着在谷歌上查找这个，但我只找到了这个 question ，这是非常过时的。我们当然可以在 Swift 4.2 中做得更好，对吧？

Answer 1

不幸的是，使用 Swift(以及其他使用动态数组的语言)是不可能的，因为数组的大小是动态的并且在编译时不知道(它可以在程序运行时用任何值初始化)正在运行)。
例如，如果 TriangularArray<T>尺寸为 1 , 然后 [0, 0] 是一个有效的元素，编译器无法预先知道。
在标准库中，当您尝试访问像 array[-1] 这样的数组时，不会出现编译时错误。 - 这将始终编译但始终会导致运行时错误。

我认为您目前使用可选项的解决方案似乎是这里的最佳方案。您还与Array保持一致有效，并触发 fatalError如果给出了无效的下标。
另一种方法是创建自定义 Index TriangularArray 内的结构表示三角形的索引，可以选择从 x 构建和 y值(尽管这可能会使事情变得相当复杂)。

PS:这个答案假设 TriangularArray<T>可以有一个任意高度的三角形(可以在运行时指定的高度)，因为它没有在问题中指定。如果高度是在编译时定义的，那么边界可以是硬编码的，就像@Raul Mantilla mentionned #error可以使用。