小编Utt*_*ila的帖子

我正在使用image_picker: ^0.6.2+3包从图库中选择图像/拍照。

File picture = await ImagePicker.pickImage(
  maxWidth: 800,
  imageQuality: 10,
  source: source, // source can be either ImageSource.camera or ImageSource.gallery
  maxHeight: 800,
);

我得到picture.path为

/用户/[一些路径]/tmp/image_picker_A0EBD0C1-EF3B-417F-9F8A-5DFBA889118C-18492-00001AD95CF914D3.jpg

现在我想将图像重命名为case01wd03id01.jpg

注意：我不想将其移动到新文件夹

我该如何重命名？我在官方文档中找不到它。

我有电话号码作为字符串，如“+91 96001 64500”，（从谷歌地点API获取数据） 我想提取电话号码（不带国家/地区代码）以及国家/地区代码，而不知道国家/地区（国家/地区可以是任何国家）。我怎样才能在颤振中做到这一点。

注意：已经有另一个完全相同的问题从电话号码提取代码国家/地区[libphonenumber]，但它是针对android的，我想要它用于flutter。