我正在尝试验证包含压缩文件夹的文件路径但由于某种原因,当给定存在的路径(我已经检查过)时,我的{-# LANGUAGE TypeFamilies, DataKinds, TypeOperators, UndecidableInstances #-}
import GHC.TypeLits
type Mod m n = Mod1 m n 0 m
type family Mod1 (m :: Nat) (n :: Nat) (c :: Nat) (acc :: Nat) :: Nat where
Mod1 m n n acc = Mod1 m n 0 m
Mod1 0 n c acc = acc
Mod1 m n c acc = Mod1 (m - 1) n (c + 1) acc
方法只返回File.Exists()
文件路径示例:false
C:\Users\richa_000\Desktop\exporter\forex\fxcm\minute\audjpy\my_zipped_folder\is_thisFile_here.csv
是否适用于压缩文件夹?这是什么让我的支票丢了?
File.Exists()
Program.cs
答案 0 :(得分:1)
实际上并不是拉链文件夹。有一个zip存档作为文件存储。该存档包含自己的文件结构,类似于文件夹和文件,但这与操作系统的文件夹/文件结构无关。 Windows资源管理器可以很好地伪造它,但在浏览.zip文件时,您会注意到Explorer中的限制。
如果要确定它是否包含文件,您必须分析zip存档。为此,您需要查看ZipArchive课程。