确定具有FlagsAttribute的Enum是否具有唯一的位值

时间:2015-02-02 04:33:57

标签: c# .net enums bit-manipulation

请考虑以下枚举:

[Flags]
public enum EnumWithUniqueBitFlags
{
    None = 0,
    One = 1,
    Two = 2,
    Four = 4,
    Eight = 8,
}

[Flags]
public enum EnumWithoutUniqueFlags
{
    None = 0,
    One = 1,
    Two = 2,
    Four = 4,
    Five = 5,
}

第一个具有的值使得任何组合都将产生唯一的位组合,而第二个组合则不会。我需要以编程方式确定这一点。到目前为止,我只检查每个值是否为2的幂,但由于此代码将用于消耗其他人开发的枚举,因此不实用。

var values = Enum.GetValues(typeof(TEnum)).OfType<TEnum>().ToList();

for (int i = 0; i < values.Count; i++)
{
    if (((int) ((object) values [i])) != ((int) Math.Pow(2, i)))
    {
        throw (new Exception("Whatever."));
    }
}

与上面的代码相反,如何以编程方式确定以下枚举满足位组合唯一性目标(没有诸如值为2的幂等假设)?

[Flags]
public enum EnumWithoutUniqueFlags
{
    Two = 2,
    Four = 9,
    Five = 64,
}

请忽略枚举所衍生的整数类型以及值可能为负的事实。

3 个答案:

答案 0 :(得分:4)

您可以将枚举值的按位OR与枚举值的算术和进行比较:

var values = Enum.GetValues(typeof(EnumWithoutUniqueFlags))
    .OfType<EnumWithoutUniqueFlags>().Select(val => (int)val).ToArray();

bool areBitsUnique = values.Aggregate(0, (acc, val) => acc | val) == values.Sum();

修改
正如@usr所提到的,上面的代码仅适用于正值 尽管OP要求忽略:

  

请忽略枚举所衍生的整数类型以及值可能为负的事实。

我很高兴推出更优化的单循环方法:

private static bool AreEnumBitsUnique<T>()
{
    int mask = 0;
    foreach (int val in Enum.GetValues(typeof(T)))
    {
        if ((mask & val) != 0)
            return false;
        mask |= val;
    }
    return true;
}

要使其适用于其他基础类型(uintlongulong),只需更改mask和{{1}的类型变量。

<强> EDIT2
由于val方法以无符号幅度的升序返回值,因此如果需要检查零值的重复项,可以使用以下方法:

Enum.GetValues

答案 1 :(得分:2)

要使其唯一,枚举必须与其他枚举值没有共同点。 bitwise AND operation可以用于此目的。

for (int i = 0; i < values.Count; ++i)
{
  for (int j = 0; j < values.Count; ++j)
  {
    if (i != j && ((values[i] & values[j]) != 0))
        throw new Exception(...);
  }
}

答案 2 :(得分:0)

我会将枚举转换为uint,按位而不是0x0,使用xor,如果下一个值小于前一个值,则会发生碰撞

public static bool CheckEnumClashing<TEnum>()
{
    uint prev = 0;
    uint curr = 0;


   prev = curr = ~curr;

    foreach(var target in Enum.GetValues(typeof(TEnum)).Select(a=>(uint)a))
    {
        curr ^=target;

        if( curr <= prev )
            return false;

        prev = curr; 
    }

    return true;
}