前提条件失败：不允许负数

Question

错误：

Precondition failed: Negative count not allowed: file /BuildRoot/Library/Caches/com.apple.xbs/Sources/swiftlang/swiftlang-900.0.74.1/src/swift/stdlib/public/core/StringLegacy.swift, line 49

代码：

String(repeating: "a", count: -1)

思考：

好吧，将某个字符串重复负数次是没有意义的。既然我们在 Swift 中有类型，为什么不使用 UInt？

这里有一些关于它的文档。

仅当您特别需要无符号整数类型时才使用 UInt 与平台的本机字大小相同。如果这不是 在这种情况下，首选 Int，即使要存储的值已知 是非负的。整数值的一致使用 Int 有助于代码 互操作性，避免了不同号码之间的转换 类型，并匹配整数类型推断，如类型安全中所述 和类型推断。

Apple Docs

好吧，Int 是首选，因此 API 只是遵循规则，但为什么 Strings API 是这样设计的？为什么这个构造函数不是私有的，而带有UInt ro 的公共构造函数是这样的？有“真实”的原因吗？这是某种“未定义的行为”吗？

还有：https://forums.developer.apple.com/thread/98594

Answer 1

这不是未定义的行为——事实上，前提条件正好相反：进行了明确的检查以确保给定的count 是肯定的。

至于为什么参数是 Int 而不是 UInt — 这是 Swift 设计早期做出的两个决定的结果：

1. 与 C 和 Objective-C 不同，Swift 不允许在整数类型之间进行隐式（甚至显式）转换。您不能将Int 传递给采用UInt 的函数，反之亦然，以下转换也不会成功：myInt as? UInt。 Swift 首选的转换方法是使用初始化器：UInt(myInt)
2. 由于Ints 比UInts 更普遍适用，它们将是首选的整数类型

因此，由于在Ints 和UInts 之间进行转换可能既麻烦又冗长，因此在最大数量的 API 之间进行互操作的最简单方法是将它们全部写入通用整数货币类型：@ 987654332@。正如您引用的文档所提到的，这“有助于代码互操作性，避免在不同数字类型之间进行转换，并匹配整数类型推断”；在运行时捕获无效输入是此决定的折衷。

事实上，Int 在 Swift 中是如此根深蒂固，以至于当 Apple 框架接口从 Objective-C 导入 Swift 时，NSUInteger 参数和返回类型被转换为 Int 而不是 UInt，对于显着更容易的互操作性。