Кто разъяснит строчку из C# кода?

Question

[Артем Енин]

Учу язык по учебнику Троелсена. Пока никаких вопросов не возникало. Пока не наткнулся на пример с данным кодом. в отдельности знаю из чего строка состоит, но такую конструкцию инициализации вижу впервые и автор не объясняет.

DayOfWeek favDay;
favDay = (DayOfWeek)Enum.Parse(typeof(DayOfWeek), Console.ReadLine());

Что понял я. Приведение типа это (DayOfWeek),Перечисление Enum из парсированного ввода в консоль дня недели. Но сбило с толку typeof(DayOfWeek) хотя понимаю, что это имя типа....в общем, не могу в едино картинку в голове сложить функционал этой строчки.
Кому не сложно, можете пояснить данную конструкцию?
В гугле честно искал, не нашел ответ.

Answer 1

[lil_Toady]

Методу Enum.Parse нужно знать тип enum'а, чтобы понять список возможных значений. Для значений не входящих в перечисление будет выкинуто исключение ArgumentException.

В перечисление DayOfWeek соответственно входят входят Sunday, Monday, Tuesday, Wednesday, Thursday, Friday и Saturday, если введенная вами строка в консоль не будет соответствовать одному из этих значений, то получите исключение.

В последних версиях стандарта это же самое можно достичь более простым способом, передавая нужный тип как generic аргумент, и не приходится делать приведение типа:

favDay = Enum.Parse<DayOfWeek>(Console.ReadLine());

Думаю такая запись и проще для понимания при чтении кода :)

Comments

[Артем Енин]

Примерно так и понимать начал. Просто favDay и так объявлена экземпляром DayOfWeek. Это получается как
int i; i =(int)15
например..Сбивает с толку. А вариант, который вы предложили уже более похож на правду и то, к чему бы у меня вопросов не возникло)

[lil_Toady]

Метод ничего не знает о том как будет использоваться возвращаемое им значение, да и в целом о коде вокруг него, поэтому то как favDay объявлена значения не имеет. Следовательно нужный тип и надо в метод передавать явно.

[lil_Toady]

А пример с (int)15 не совсем то, т.к. 15 и есть int. Правая и левая стороны выражения одного типа. А Enum.Parse возвращает object.

Если взять пример
short i = 15;
То тут уже действительно идет преобразование, но компилятор ничего не говорит т.к. на типе Short объявлено что в него можно преобразовывать из int implicitly - без потери данных;

В следующем примере то же самое, есть implicit оператор из int в decimal
decimal i = 15;

Но вот в обратную сторону компилятор будет ругаться, т.к. из decimal в int возможна потеря данных, и это приведение типов уже не implicit, а explicit (нам нужно принудительно приводить тип):

int i = 15d; // 15d - это decimal, тут будет ошибка компиляции (Cannot implicitly convert ...)

int i = (int)15d; // А вот это уже будет работать

int i = (int)15.123d; // Тоже будет работать, но потеряем значения после запятой (точки)

[Артем Енин]

lil_Toady, Про явную передачу типа в метод это понятно. Я про приведение. Сейчас убрал первые скобки и VS ругнулся на неявное преобразование object в DayOfWeek. Я так понял, что и при инициализации и при передаче надо явно указывать желаемый тип, т.к. возвращает он просто object, хотя какие бы проблемы могли произойти если бы реализовано это было так, что какой тип передаем, такой, по сути и возвращаем..

[Артем Енин]

lil_Toady, написал свой ответ и ваш только потом увидел=)

[lil_Toady]

Извините что ругаюсь словами implicit/explicit - это явное и неявное преобразование.

Проф. деформация))

[Артем Енин]

lil_Toady, ничего..я недавно понял, что все эти ругательства надо знать, да и не так за долго до этого в этом учебнике про это говорилось....Просто во многих учебниках есть моменты где автор пишет "не обращайте внимания на следующую абракадабру, ее мы рассмотрим в главе 9999, и просто напишите этот код"...я так не могу)

[lil_Toady]

Без дженериков на уровне метода нельзя описать что метод возвращает тот же тип, который передается аргументом, поэтому описано что возвращает object. Под капотом оно и так возвращает типа DayOfWeek, но т.к. снаружи мы это знаем лишь по документации, а не по типу возвращаемого значения, то приходится делать преобразование.

[Артем Енин]

lil_Toady, Тээкс. Только с этим разобрались, а вы снова ругаться словами) Сегодня значит еще про дженерик почитать придется=)

[lil_Toady]

Не, дженерики - это очень обширная тема, лучше ее пока отложите) Та запись которую я привел в первом ответе - это и есть дженерик аргумент (в треугольных скобках). Привел ее только потому что лучше объясняет суть происходящего. Возможно автор учебника ее специально избегал.

[Артем Енин]

lil_Toady, Поздно) Я уже начал, на метаните хорошо объясняют, по верхам хотя бы пройду)

[#]

lil_Toady,

Возможно автор учебника ее специально избегал.

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

Answer 2

[#]

гугл
- запрос
- первая же строка выдачи
.. а еще короче - в VisualStudio, на слове Parse в конструкции Enum.Parse можно нажать F1 (попадете туда же, ну или с коррекцией на версию дотнет и язык)

Comments

[Артем Енин]

Спасибо, я уже на этой странице. До этого не правильно искал.

[#]

Артем Енин, F1 тоже не забывайте ;))

[Foggy Finder]

Писал ответ, дошел до середины, обновил страницу и вижу что уже разобрались :-)

[Артем Енин]

#, Мне стыдно, что я не пользовался F1 до этого=). Проникаю в суть, но не укладывается эта конструкция. DayOfWeek это перечисление..Т.е. мы пишем (Приведение к перечислению)Перечисление. Парс(тип(перечисление), читаем ввод)...Наверное я уже долго сегодня занимаюсь..

[#]

Артем Енин, вернитесь к ответу - это универсальный метод, для перечислений вообще. при этом не трудно догадаться, что на практике, каждое перечисление, будет каким то конкретным

ps уточнение конкретики для метода, делается сообщением типа перечисления в качестве параметра. приведение результата к конкретному типу, требуется для дальнейшего использования результата

на самом деле, можно сказать, в подобных, не очень элегантных конструкциях, как раз и проявляются заморочки языков строгой типизации. но это окупается гораздо более высокой надежностью кода, в сравнении с динамическими языками (js, python и подобные)

[#]

Артем Енин, более элегантное решение можно построить на основе generic метода, тогда уточнение метода для перечисления, можно было бы упомянуть один раз, что то в духе Parse<DayOfWeek>(string s). но дженерики появились в C# только с версии 2.0. а Enum.Parse с версии 1.1 (или изначально. просто документация уже не ссылается на 1.0 и бэты )))

так же возможно где то уже и есть более элегантные формы решения данного действия см ответ lil_Toady

[#]

Артем Енин, а если еще и вернуться к запросу, вторая строка выдачи прям таки разжевывает тему.. хотя и на английском