11

Сейчас изучаю перечисления в c# и хотел спросить, почему в с# можно использовать псевдоним для любого целого типа данных (byte, sbyte, short, ushort, int, uint, long, ulong) , но нельзя использовать любой системный целый тип данных C# (Byte, SByte, Int16, UInt16, Int32, UInt32, Int64, UInt64) ?

Когда я смотрел видео урок, то там был такой пример-объяснение:

Представте себе ситуацию в которой возможно, Вы захотите отказаться от Framework-ов предоставляемых Microsoft в языке c# и отключите импорт всех библиотек и в том числе импорт библиотеки System, и решите создавать свои типы. Вы ведь можете создавать свои типы? Конечно же да, но при этом у вас должны остаться простейшие типы данных. Так вот, простейшие типы даннных(даже при отключенной библиотеке System) у вас все же останутся, но в виде алиасов, а не в виде полноценной структуры (например byte) которая входит в пространство имен System.

Почему при таком подробном описании ситуации я это все спрашиваю? Дело в том, что далее по уроку автор уделил теме алиасов еще некоторое время (а сам автор страдает забывчивостью сказать что то важное и иногда к сожалению обладает некоторой степенью недосказанности по некоторым вопросам)

Вот в чем мой вопрос: Есть ли еще причины (помимо вышеприведенного примера) почему в перечислениях используют алиасы (псевдонимы)?

Кому интересно, я откопал еще два-три источника насчет самого бага и этой темы:

https://stackoverflow.com/questions/7511102/changing-the-underlying-type-of-an-enumeration-to-long

2)

https://web.archive.org/web/20140310042420/http://connect.microsoft.com/VisualStudio/feedback/details/557064/c-enum-declaration-only-accepts-value-type-alias-e-g-short-int-long-instead-of-net-valuetype-e-g-system-int16-system-int32-system-int64

3) https://social.msdn.microsoft.com/Forums/en-US/70b8b7f1-a561-4117-8c78-41880e723da2/enumeration-and-its-underlying-type-c?forum=csharplanguage

1
  • Если вам дан исчерпывающий ответ, отметьте его как верный (галка напротив выбранного ответа). 23 фев 2016 в 7:14

2 ответа 2

6

В текущей (6-й) версии компилятора C# - псевдонимы простых типов - это действительно псевдонимы, а не какие-то магические "вещи которые останутся в коде когда отключат все библиотеки, включая System".

int в коде - это то же самое что System.Int32. Или, при подключенном пространстве имен System, что позволяет напрямую упоминать в коде типы из него - Int32. Они обрабатываются компилятором абсолютно одинаково.

Это все один и тот же тип из сборки mscorlib.dll. Просто его можно упоминать в коде по сокращенному имени. Исключительно ради удобства при печати и чтении кода.

И да, можно создавать перечисления с указанием полного имени типа:

using System;

enum SomeEnum : Int32
{
    None,
    Some
}

или без using:

enum SomeEnum : System.Int32
{
    None,
    Some
}

это то же самое что

enum SomeEnum : int
{
    None,
    Some
}

В старой (5.0) и более ранних версиях C# - ключевые слова int/long/byte иногда могли использоваться в тех местах, где нельзя было использовать Int32. На мой взгляд, это просто старый баг/недоделка в спецификации языка. К тому же упрощенная проверка позволяла обойтись без семантического анализа при проверке базового типа enum.

Подробнее об этом расписано в соседнем ответе и в ответе на аналогичный ответ на enSO.

Никакого хитрого смысла или особо продуманного поведения в этом не было. Просто 16 лет назад кто-то "срезал угол" при написании спецификации. Закройте эти видеоуроки и больше никогда их не смотрите :)

10
  • Type byte, sbyte, short, ushort, int, uint, long, or ulong expected при использовании полных типов :)
    – Grundy
    22 фев 2016 в 19:52
  • @Grundy у меня компилируются все три примера из ответа :) возьмите C# поновее :)
    – user177221
    22 фев 2016 в 20:21
  • Надо уточнить версию :-) у меня пока только C# 5 :-) а в чем ты пробуешь?
    – Grundy
    22 фев 2016 в 20:23
  • в спецификации, в 4.1.4 написано что int, byte и прочие reserved words are simply aliases for predefined struct types in the System namespace. Это просто баг компилятора, который скорее всего случайно починили в 6.0. Никаких хитрых мыслей, изложенных в вопросе, при этом в голове у создателей компилятора не было.
    – user177221
    22 фев 2016 в 20:30
  • 2
    вот тут ответ Эрика Липперта много букв, но есть. что алиасы не всегда взаимозаменяемы с типами
    – Grundy
    22 фев 2016 в 20:37
3

Так указано в спецификации для C# 5.0.

14.1 Enum declarations

enum-declaration:
attributesopt enum-modifiersopt enum identifier enum-baseopt enum-body ;opt

enum-base:
:   integral-type

где integral-type

integral-type:
    sbyte
    byte
    short
    ushort
    int
    uint
    long
    ulong
    char

И далее в тексте

Each enum type has a corresponding integral type called the underlying type of the enum type. This underlying type must be able to represent all the enumerator values defined in the enumeration. An enum declaration may explicitly declare an underlying type of byte, sbyte, short, ushort, int, uint, long or ulong. Note that char cannot be used as an underlying type. An enum declaration that does not explicitly declare an underlying type has an underlying type of int.

Каждый тип перечисления имеет соответствующий целочисленный тип, называемый базовый тип типа перечисления. Это базовый тип должен иметь возможность представлять все значения определенные в перечислении.
Декларация перечисление может явно объявить базовый тип byte, sbyte, short, ushort, int, uint, long или ulong.
Обратите внимание, что char не может быть использован в качестве базового типа. Определение перечисления, в котором явно не объявлен базовый тип имеет тип int.

Ваш ответ

By clicking “Отправить ответ”, you agree to our terms of service and acknowledge you have read our privacy policy.

Всё ещё ищете ответ? Посмотрите другие вопросы с метками или задайте свой вопрос.