code: public String nextString()
      {
          char[] buffer = new char[nextInt()];
          for (int i = 0; i < buffer.length; ++i)
          {
              buffer[i] = nextChar();
          }
          return new String(buffer);
      }
docs: 读取一个String，注意这个String是双字节版的，在字符之前有一个整型表示长度
  
  @return