为什么将int转换为无效的枚举值而不抛出异常?

时间:2011-06-20 15:38:20

标签: c#

如果我有这样的枚举:

enum Beer
{
    Bud = 10,
    Stella = 20,
    Unknown
}

为什么在将int超出这些值的Beer转换为类型int i = 50; var b = (Beer) i; Console.WriteLine(b.ToString()); 时,它不会抛出异常?

例如,以下代码不会抛出异常,它会向控制台输出“50”:

{{1}}

我发现这很奇怪......任何人都可以澄清吗?

4 个答案:

答案 0 :(得分:71)

取自Confusion with parsing an Enum

这是创建.NET的人的决定。枚举由另一个值类型(intshortbyte等)支持,因此它实际上可以具有对这些值类型有效的任何值。

我个人并不喜欢它的工作方式,所以我制作了一系列实用方法:

/// <summary>
/// Utility methods for enum values. This static type will fail to initialize 
/// (throwing a <see cref="TypeInitializationException"/>) if
/// you try to provide a value that is not an enum.
/// </summary>
/// <typeparam name="T">An enum type. </typeparam>
public static class EnumUtil<T>
    where T : struct, IConvertible // Try to get as much of a static check as we can.
{
    // The .NET framework doesn't provide a compile-checked
    // way to ensure that a type is an enum, so we have to check when the type
    // is statically invoked.
    static EnumUtil()
    {
        // Throw Exception on static initialization if the given type isn't an enum.
        Require.That(typeof (T).IsEnum, () => typeof(T).FullName + " is not an enum type.");
    }

    /// <summary>
    /// In the .NET Framework, objects can be cast to enum values which are not
    /// defined for their type. This method provides a simple fail-fast check
    /// that the enum value is defined, and creates a cast at the same time.
    /// Cast the given value as the given enum type.
    /// Throw an exception if the value is not defined for the given enum type.
    /// </summary>
    /// <typeparam name="T"></typeparam>
    /// <param name="enumValue"></param>
    /// <exception cref="InvalidCastException">
    /// If the given value is not a defined value of the enum type.
    /// </exception>
    /// <returns></returns>
    public static T DefinedCast(object enumValue)

    {
        if (!System.Enum.IsDefined(typeof(T), enumValue))
            throw new InvalidCastException(enumValue + " is not a defined value for enum type " +
                                           typeof (T).FullName);
        return (T) enumValue;
    }

    /// <summary>
    /// 
    /// </summary>
    /// <param name="enumValue"></param>
    /// <returns></returns>
    public static T Parse(string enumValue)
    {
        var parsedValue = (T)System.Enum.Parse(typeof (T), enumValue);
        //Require that the parsed value is defined
        Require.That(parsedValue.IsDefined(), 
            () => new ArgumentException(string.Format("{0} is not a defined value for enum type {1}", 
                enumValue, typeof(T).FullName)));
        return parsedValue;
    }

    public static bool IsDefined(T enumValue)
    {
        return System.Enum.IsDefined(typeof (T), enumValue);
    }

}


public static class EnumExtensions
{
    public static bool IsDefined<T>(this T enumValue)
        where T : struct, IConvertible
    {
        return EnumUtil<T>.IsDefined(enumValue);
    }
}

这样,我可以说:

if(!sEnum.IsDefined()) throw new Exception(...);

......或:

EnumUtil<Stooge>.Parse(s); // throws an exception if s is not a defined value.

修改

除了上面给出的解释之外,你必须意识到,Enum的.NET版本遵循的是更受C语言启发的模式,而不是受Java启发的模式。这使得"Bit Flag" enums可以使用二进制模式来确定特定“标志”在枚举值中是否有效。如果你必须定义每个可能的标志组合(即MondayAndTuesdayMondayAndWednesdayAndThursday),这些将非常繁琐。因此,具有使用未定义的枚举值的能力可以非常方便。当你想要在不利用这些技巧的枚举类型上实现快速失败时,它只需要一些额外的工作。

答案 1 :(得分:47)

枚举通常用作标志:

[Flags]
enum Permission
{
    None = 0x00,
    Read = 0x01,
    Write = 0x02,
}
...

Permission p = Permission.Read | Permission.Write;

p的值是整数3,它不是枚举的值,但显然是有效值。

我个人宁愿看到不同的解决方案;我宁愿有能力将“位数组”整数类型“一组不同的值”类型作为两种不同的语言特性,而不是将它们都混合成“枚举”。但这就是原始语言和框架设计者想出的东西;因此,我们必须允许枚举的非声明值为合法值。

答案 2 :(得分:13)

答案简短:语言设计师决定以这种方式设计语言。

答案很长:C#语言规范Section 6.2.2: Explicit enumeration conversions说:

  

通过将任何参与的枚举类型视为该枚举类型的基础类型,然后在结果类型之间执行隐式或显式数字转换,处理两种类型之间的显式枚举转换。例如,给定枚举类型E with和基础类型int,从E到byte的转换作为显式数字转换(第6.2.1节)从int到byte处理,从byte到E的转换处理为从byte到int的隐式数值转换(第6.1.2节)。

基本上,在执行转换操作时, enum 被视为基础类型。默认情况下,枚举的基础类型为Int32,这意味着转化的处理方式与转换为Int32完全相同。这意味着任何有效的int值都是允许的。

我怀疑这主要是出于性能原因。通过使enum成为一个简单的整数类型并允许任何整数类型转换,CLR不需要进行所有额外的检查。这意味着与使用整数相比,使用enum并没有真正的性能损失,这反过来又有助于鼓励使用它。

答案 3 :(得分:8)

来自documentation

  

Days类型的变量可以是   分配了范围内的任何值   基础类型;价值观不是   限于指定的常数。