File Properties
文件属性
FileGetInteger()函数用于获取文件属性。在调用时，需要将所需属性的枚举类型ID传递给该函数。
ENUM_FILE_PROPERTY_INTEGER
| ID | ID描述 |
|---|---|
| FILE_EXISTS | 检查文件的存在性 |
| FILE_CREATE_DATE | 创建日期 |
| FILE_MODIFY_DATE | 最后修改日期 |
| FILE_ACCESS_DATE | 最后一次访问文件的日期 |
| FILE_SIZE | 文件大小（以字节为单位） |
| FILE_POSITION | 文件中指针的位置 |
| FILE_END | 获取文件末尾标志 |
| FILE_LINE_END | 获取行尾标志 |
| FILE_IS_COMMON | 文件在所有终端的共享文件夹中打开（参见FILE_COMMON） |
| FILE_IS_TEXT | 文件作为文本文件打开（参见FILE_TXT） |
| FILE_IS_BINARY | 文件作为二进制文件打开（参见FILE_BIN） |
| FILE_IS_CSV | 文件作为CSV格式打开（参见FILE_CSV） |
| FILE_IS_ANSI | 文件作为ANSI格式打开（参见FILE_ANSI） |
| FILE_IS_READABLE | 打开的文件可读（参见FILE_READ） |
| FILE_IS_WRITABLE | 打开的文件可写（参见FILE_WRITE） |
FileGetInteger()函数有两种不同的调用方式。第一种方式是指定文件句柄来获取文件属性，该句柄是使用FileOpen()函数在打开文件时获得的。这种方式可以获取文件的所有属性。
第二种方式是根据文件名返回文件属性的值。使用这种方式，只能获取以下通用属性：
- FILE_EXISTS – 指定名称的文件是否存在
- FILE_CREATE_DATE – 指定名称的文件的创建日期
- FILE_MODIFY_DATE – 指定名称的文件的修改日期
- FILE_ACCESS_DATE – 指定名称的文件的最近访问日期
- FILE_SIZE – 指定名称的文件大小
- 当尝试获取上述未列出的属性时，调用FileGetInteger()的第二种方式将返回错误。
最后更新于