X - это перечисление - это согласно спецификации?

Нет поддержки is class или is struct, потому что нет общего базового типа, который отличал бы классы или структуры от других типов. is Enum работает, потому что System.Enum — это фактический тип, который база всех перечислений. А Enum — это ссылочный тип, поэтому применяется последняя часть:

если D является типом значения и существует преобразование упаковки из D в T

D (тип выражения слева) — это тип значения. А T — это Enum, который является базовым типом D. Таким образом, происходит преобразование D в Enum, поэтому значение выражения равно true.

Упаковочное преобразование из любого перечисления в Enum явно указано в §14.4. Тип System.Enum:

Тип System.Enum является абстрактным базовым классом всех типов перечисления (он отличается от базового типа перечисления), а члены, унаследованные от System.Enum, доступны в любом типе перечисления. Преобразование упаковки существует из любого типа перечисления в System.Enum, а преобразование распаковки существует из System.Enum в любой тип перечисления.

Обратите внимание, что System.Enum сам по себе не является перечисленным типом. Скорее, это тип-класс, из которого происходят все типы-перечисления. Тип System.Enum наследуется от типа System.ValueType, который, в свою очередь, наследуется от типа object. Во время выполнения значение типа System.Enum может быть нулевым или ссылкой на упакованное значение любого типа перечисления.

Enum — это ссылочный тип.

typeof(Enum).IsValueType => false

Интересно,

typeof(ValueType).IsValueType => false

Enum — это фактический тип, а класс и структура — нет. Следовательно, Enum можно использовать с правой стороны, тогда как класс и структура не могут.

О чем здесь спрашивают, мне не совсем ясно, но я надеюсь, что теперь понял.

Учитывая приведенный ниже код:

void F(Object obj) {
  var isEnum obj is Enum;
  ...
}

В каких частях стандарта C# указано, что isEnum истинно, когда obj является экземпляром перечисляемого типа?

В 14.9.10 это оператор в Спецификация языка C# содержит пять пунктов, описывающих, как он оценивается:

• Первый пункт касается случаев, когда obj имеет более конкретный тип, чем System.Object.

• Второй пункт касается типов, допускающих значение NULL.

• Четвертая пуля посвящена универсальным типам.

• Пятая пуля — это когда совпадений нет, а оператор is оценивается как false, чего, как мы знаем, нет.

Вы ожидаете, что третий пункт относится к приведенному выше коду. Третья пуля состоит из четырех подпунктов:

• 1-й подпункт применяется, когда obj равно нулю.

• Второй подпункт посвящен типам, допускающим значение NULL.

• Четвертый подпункт — это когда совпадений нет, а оператор is оценивается как false, чего, как мы знаем, нет.

Вы ожидаете, что применяется третий подпункт:

В противном случае пусть R будет типом времени выполнения экземпляра, на который ссылается e. Если R и T имеют один и тот же тип, если R является ссылочным типом и существует неявное преобразование ссылки из R в T, или если R является типом значения, а T является типом интерфейса, реализованным R, результат будет истинным.

Тем не менее, кажется, что здесь отсутствует что-то особенное в типах enum. Предполагая, что obj является экземпляром типа перечисления MyEnum, ни одно из предложений не соответствует приведенному выше коду:

• R и T не одного типа, потому что R — это MyEnum, а T — это System.Enum.

• R — это MyEnum, который является типом значения (11.1.9), а не ссылочным типом.

• T — это System.Enum, который не является типом интерфейса.

Я не хочу утверждать, что в спецификации есть ошибка, но после подробного прочтения 14.9.10 я не могу понять, как is Enum может быть оценено как true, учитывая коробочную ссылку на тип перечисления.

Зная, что люди, занимающиеся стандартами, в целом намного умнее меня, я, вероятно, что-то упустил из виду, но даже если бы я этого не сделал, это не должно мешать вам использовать is Enum для проверки того, является ли тип перечислением. Я уверен, что это не деталь реализации, которую можно использовать таким образом.