我在我的应用中面临一种非常奇怪的行为。这段代码：
var timestamp: Date?
...
timestamp?.toString(format: "yyyyMMddHHmmss")
会产生一些意想不到的结果。在99.99％的情况下，一切正常，并且正确的字符串被发送到我的服务器。但是，当我的服务器的结果是
时，出现了极为罕见的情况2018020671122 dop.
dop.可能是捷克语等同于AM。
我不明白为什么会这样。我的格式中没有tt，并明确声明我想要两个小时的数字，而不只是一个。我的代码在许多设备上运行良好，但它会在单个设备（iPhone 5s，iOS 10）上产生上述结果。我无法联系到这个特定的设备（它属于我的一个客户）。有什么想法吗？