应该有个 File* 的构造函数