c# - 在 C# 中比较 2 个 FileAttributes 必须始终返回 true

Question

我最近在 stackoverflow 上得到了一些很大的帮助。其中一个答案让我有些疑惑，由于评论框的限制，我觉得不应该得到解释。

请查看下面的代码。

if ((File.GetAttributes(fileName) & FileAttributes.Archive) == FileAttributes.Archive)
{
    // Archive file.
}

我的问题是为什么要在 & 之后包含逻辑(见粗体)
(File.GetAttributes(fileName) & FileAttributes.Archive) == 等

肯定 FileAttributes.Archive == FileAttributes.Archive 总是匹配吗？

有没有人对此有解释(IMO，这可能是一个打字错误/错误，但我之前假设了太多事情，只能在以后更正!)

第二个问题是波浪号 ~ 在这段代码中做了什么:

File.SetAttributes(fileName, File.GetAttributes(fileName) & ~FileAttributes.Archive);

Answer 1

一些枚举是标志。也就是说，它可以具有枚举成员的任意组合并且仍然有效。

在 FileAttributes 枚举的情况下，一个文件可以同时是ReadOnly 和Hidden。同样，文件可以是Hidden、ReadOnly 和System。为每个组合写一个枚举成员会得到 16 个不同的成员!非常低效。

使用标志类型枚举时，检查值是否包含指定枚举成员的方法是以按位(二进制)方式将其与自身进行比较。

给定以下 FileAttributes 枚举的简化定义:

[Serializable, Flags]
public enum FileAttributes
{
    Archive = 32,
    Hidden = 2,
    Normal = 128,
    ReadOnly = 1,
    System = 4,
    Temporary = 256
}

同时标记为ReadOnly 的System 文件的值为5 (4 + 1)。尝试使用代码

确定文件是否为 ReadOnly

File.GetAttributes(fileName) == FileAttributes.System

将这样评估:

5 == 4

结果将为 False。

确定文件是否设置了System 属性的最佳方法是对文件的属性和要确定其存在的属性进行二元AND 运算。在代码中，你会这样写:

(File.GetAttributes(fileName) & FileAttributes.System) == FileAttributes.System

这会在进行比较之前去除除 System 属性之外的所有其他属性。从数学上讲，它将这样计算:

    0101  (System + Hidden)AND 0100  (System)--------  -----------------    0100  (System)

Then the result (0100) would be compared to the System attribute (0100) and the result would then be True.

On one line, the code would be (0x0101 & 0x0100) == 0x0100 which evaluates to True.

Starting from .NET 4.0, Microsoft has included the Enum.HasFlag method to determine the presence or absence of flags in an enum value. You therefore do not have to type all that code yourself. When dealing with an Enum type that has the Flags attribute, you can simply use the HasFlag method to check if a particular flag is present. Your line would therefore be written as

File.GetAttributes(fileName).HasFlag(FileAttributes.System)

---

波浪号 (~) 标记，当用于数值(或任何可以“退化”为 int、uint、long 或 ulong)，具有翻转数字位的效果，产生数字的补码(除指定值之外的所有其他值)。

例如，给定 16 位数字 4 (0x0100)，它的补码 (~4) 将为 11 (0x1011)

0100 -> 1011

波浪号与对被比较类型的最大值执行 XOR 具有相同的效果。对于 16 位数字，最高值为 15 (1111)，因此波浪号的计算结果为:

    0100XOR 1111--------    1011

代码中的效果 File.SetAttributes(fileName, File.GetAttributes(fileName) & ~FileAttributes.Archive) 将因此获取文件的属性，删除 Archive 属性，然后将其设置回文件。

假设文件的属性是 Archive + Hidden，它的值为 34 (0x00100010) 而 ~Archive 的值为 0x11011111.
评估将是这样的

    (Archive + Hidden)     0x00100010AND         (~Archive)     0x11011111----------------------     ----------                Hidden     0x00000010

文件的属性随后将更改为仅隐藏(存档属性将被删除)。