python 通过循环直到用户输入正确格式

以判断闰年为例，着重要强调的是如何使用while循环来使用户一直输入，直到输入正确的格式，以及使用loop标志来判断是否该年份是闰年