文件扩展名

文件扩展名

文件扩展名是操作系统用来标记文件类型的一种机制。通常来说，一个扩展名是跟在主文件名后面的，由一个分隔符(.)分隔。

请用程序实现
用函数实现，将文件的扩展名获取出来。
参数说明
filename是一个字符串，表示文件名。

返回值说明
如果 filename 有扩展名，则函数返回该 filename 的扩展名，否则返回文件名错误。

def file_ext(filename):
    str1=list(filename)
    for i in range(len(filename)):
        if str1[i]!=".":
            continue
        elif str1[i]==".":
            str2=str1[i+1:]
            str3=''.join(str2)
            return str3
            break
        else:
            return "error"
            
    
filename1=input()
print(file_ext(filename1))