while (File.peek() != File.widen('\n'))这个while语句中的file.widen是什么意思我在网络上也找不到，教材里也没有
widen函数就是把窄字符变成对应的char_type类型的字符，如果char_type还是char，那么什么也不做，如果char_type是wchar_t类型，则就将窄字符换算成宽字符