我有以下格式的日期和时间列表: 25/07/201711:00:00 我只想在日期和时间之间插入空格，所以它看起来像: 25/07/2017 11:00:00
字符串替换方法效果很好，但不是很稳健，即 mystring.replace("2017","2017 ") 有效，但仅适用于 2017 年的日期。 Regex 子方法似乎是我需要使用的，但到目前为止还没有成功。由于我的正则表达式知识有限，任何建议都会非常有帮助。
这与我尝试过的最接近:
>>>re.sub(r'20[0-9][0-9]', r'20[0-9][0-9] ', s)
'20[0-9][0-9] 04:00'
请您参考如下方法:
如果你的日期是 'dd/mm/yyyy' 格式，为什么你不能只索引你的字符串？
>>> mystring[:10] + ' ' + mystring[10:]
'25/07/2017 11:00:00'
