如何获取文件大小

吉米

我想获取目录中文件的大小,但是我不知道该怎么做。这是我的代码:

 let givenDirectory="c:/Windows"

 let listOfFilesInDirectory  (givenDirectory:string)=
     let  listOfFiles=Directory.GetFiles  givenDirectory |> List.ofSeq
     let  listOfNames = listOfFiles |> List.map Path.GetFileName
     listOfNames


listOfFilesInDirectory givenDirectory

首先,我传递了一个函数的路径,并且我获得了该目录中每个文件的完整路径,但是我不知道如何获取这些文件的大小?

托马斯·佩特里切克(Tomas Petricek)

您可以使用FileInfo该类:

let listOfFilesInDirectory  (givenDirectory:string)=
    let  listOfFiles=Directory.GetFiles  givenDirectory |> List.ofSeq
    listOfFiles |> List.map (fun fn -> 
        Path.GetFileName(fn), FileInfo(fn).Length)

给定一个文件名fn,您可以FileInfo(fn)使用Length属性创建然后获取文件长度上面的代码返回一个带有文件名及其大小的列表。

本文收集自互联网,转载请注明来源。

如有侵权,请联系[email protected] 删除。

编辑于
0

我来说两句

0条评论
登录后参与评论

相关文章

来自分类Dev

如何获取与URL对应的文件的大小

来自分类Dev

下载前如何获取文件大小

来自分类Dev

如何获取FileInfo中文件的大小?

来自分类Dev

Django:如何使用FilePathField获取文件大小

来自分类Dev

如何使用FtpWebResponse获取文件的大小

来自分类Dev

如何在Excel中获取文件大小?

来自分类Dev

如何使用C#获取文件的大小?

来自分类Dev

如何在oracle中获取文件大小或对象大小

来自分类Dev

如何获取使用XMLStreamWriter生成的文件的文件大小?

来自分类Dev

如何从GPG加密的文件中获取原始文件大小?

来自分类Dev

如何在foreach循环中获取文件的文件大小

来自分类Dev

下载文件LWP :: useragent之前如何获取文件大小

来自分类Dev

上传文件前使用ajaxSubmit时如何获取文件大小

来自分类Dev

从StreamWriter获取文件大小

来自分类Dev

获取远程文件的大小

来自分类Dev

从StreamWriter获取文件大小

来自分类Dev

从文件大小获取磁盘上的文件大小

来自分类Dev

如何在.tar.gz中获取文件大小(原始文件大小)而不解压缩?

来自分类Dev

AlamoFire:如何快速获取下载图像的文件大小?

来自分类Dev

如何从Shell脚本获取文件大小(以字节为单位)?

来自分类Dev

如何获取bash中某些文件夹的总大小?

来自分类Dev

如何使用Javascript获取网页上图像的文件大小?

来自分类Dev

如何正确获取android.net.Uri的文件大小?

来自分类Dev

如何在BeautifulSoup中从网页获取文件的大小

来自分类Dev

如何在Swift中获取图像文件的大小?

来自分类Dev

如何获取Rest API球衣中文件的大小

来自分类Dev

如何在Python中从CWD获取单个文件大小

来自分类Dev

如何在C中获取文件系统名称和大小?

来自分类Dev

从文本文件读取时,如何获取char []的大小

Related 相关文章

  1. 1

    如何获取与URL对应的文件的大小

  2. 2

    下载前如何获取文件大小

  3. 3

    如何获取FileInfo中文件的大小?

  4. 4

    Django:如何使用FilePathField获取文件大小

  5. 5

    如何使用FtpWebResponse获取文件的大小

  6. 6

    如何在Excel中获取文件大小?

  7. 7

    如何使用C#获取文件的大小?

  8. 8

    如何在oracle中获取文件大小或对象大小

  9. 9

    如何获取使用XMLStreamWriter生成的文件的文件大小?

  10. 10

    如何从GPG加密的文件中获取原始文件大小?

  11. 11

    如何在foreach循环中获取文件的文件大小

  12. 12

    下载文件LWP :: useragent之前如何获取文件大小

  13. 13

    上传文件前使用ajaxSubmit时如何获取文件大小

  14. 14

    从StreamWriter获取文件大小

  15. 15

    获取远程文件的大小

  16. 16

    从StreamWriter获取文件大小

  17. 17

    从文件大小获取磁盘上的文件大小

  18. 18

    如何在.tar.gz中获取文件大小(原始文件大小)而不解压缩?

  19. 19

    AlamoFire:如何快速获取下载图像的文件大小?

  20. 20

    如何从Shell脚本获取文件大小(以字节为单位)?

  21. 21

    如何获取bash中某些文件夹的总大小?

  22. 22

    如何使用Javascript获取网页上图像的文件大小?

  23. 23

    如何正确获取android.net.Uri的文件大小?

  24. 24

    如何在BeautifulSoup中从网页获取文件的大小

  25. 25

    如何在Swift中获取图像文件的大小?

  26. 26

    如何获取Rest API球衣中文件的大小

  27. 27

    如何在Python中从CWD获取单个文件大小

  28. 28

    如何在C中获取文件系统名称和大小?

  29. 29

    从文本文件读取时,如何获取char []的大小

热门标签

归档