python - 在 Python 中将时间从 AM/PM 格式转换为军事时间

Question

在不使用任何库的情况下，我正在尝试解决 Hackerrank 问题“Time Conversion”，其问题陈述复制如下。

我想到了以下内容:

time = raw_input().strip()

meridian = time[-2:]        # "AM" or "PM"
time_without_meridian = time[:-2]
hour = int(time[:2])

if meridian == "AM":
    hour = (hour+1) % 12 - 1
    print ("%02d" % hour) + time_without_meridian[2:]
elif meridian == "PM":
    hour += 12
    print str(hour) + time_without_meridian[2:]

但是，这在一个测试用例上失败了:

但是，由于测试用例对用户是隐藏的，所以我很难找出问题出在哪里。 “12:00:00AM”正确转换为“00:00:00”，“01:00:00AM”正确转换为“01:00:00”(填充零)。此实现可能有什么问题？

Answer 1

您已经解决了问题，但这里有另一个可能的答案:

from datetime import datetime


def solution(time):
    return datetime.strptime(time, '%I:%M:%S%p').strftime('%H:%M:%S')


if __name__ == '__main__':
    tests = [
        "12:00:00PM",
        "12:00:00AM",
        "07:05:45PM"
    ]
    for t in tests:
        print solution(t)

虽然它会使用 python 库 :-)