如果在不使用 map_each 函数的情况下将 File 传递给 Args 对象，系统会通过获取该对象的 path 字段的值将其转换为字符串。
成员
基名
string File.basename此文件的基本名称。这是目录中文件的名称。
dirname
string File.dirname包含此文件的目录的名称。取自 path，始终相对于执行目录。
扩展程序
string File.extension此文件的文件扩展名，跟在（不包括）最右边的句点后面。如果文件的基本名称不包含句点，则字符串为空。
is_directory
bool File.is_directory如果这是一个目录，则返回 true。
is_source
bool File.is_source如果这是源文件（即未生成），则返回 true。
所有者
Label File.owner生成此文件的目标的标签。 可能会返回
None。
路径
string File.path此文件的执行路径（相对于工作区的执行目录）。它由两部分组成，第一部分可选，称为 root（另请参阅 root 模块），第二部分是
short_path。根目录可能为空，通常是针对非生成的文件。对于生成的文件，它通常包含一个配置专用路径片段，该片段会对构建上述文件时使用的目标 CPU 架构等内容进行编码。如果文件位于二进制文件的 runfile 中，请使用 short_path 作为该文件的映射路径。
root
root File.root此文件所在的根目录。
short_path
string File.short_path此文件相对于其根目录的路径。这不包括上述根，即路径中特定于配置的片段。如果文件位于二进制文件的 runfile 中，则此路径也是文件映射到的路径。
tree_relative_path
string File.tree_relative_path此文件相对于祖先树的根目录的路径（如果祖先的 is_directory 字段为 true）。
tree_relative_path 仅适用于操作命令（即 Args.add_all()）中某个目录的展开文件。对于其他类型的文件，访问此字段会发生错误。