爲什麼用斜線打印時間？

Question

我有這樣的日期格式：

<entry key="buildDate" type="date" value="now" pattern="MM-dd-yyyy HH:mm:ss"/> 

但螞蟻給了我這樣的結果（在一個鍵值屬性文件）：

buildDate=01-13-2012 14\:19\:59 

爲什麼螞蟻添加這些大幅削減？因爲它在屬性文件中？

Answer 1

是的。冒號在Java屬性文件中具有特殊含義（它們可以充當鍵值分隔符），所以Ant需要用反斜槓將它們轉義。

Answer 2

Ant不會添加那些\，它是Java。

見API文檔Properties，特別是store(Writer writer, String comments)方法：

的鍵和元素字符#，!，=，和:與前述反斜槓寫入，以確保它們正確裝載。