Что это за конструкция public T GetService() where T: class { throw new NotImplementedException(); } в C#?

Question

[Евгений Михалев]

Пытаюсь разобраться в программе на C#, но не знаю именно шарпов, и не писал для Win.

что Это за конструкция в общем,
и где можно почитать о том что такое:
1) GetService
2)

T
        public T GetService<T>() where T : class
        {
            throw new NotImplementedException();
        }

Answer 1

[Алексей Павлов]

Это объявление обобщённого метода, в котором тело не определено.
В этом коде три разных концепции:
1) это объявление метода GetService без аргументов и с возвращаемым типом T
2) В качестве возвращаемого типа стоит T - это обобщённый (generic) тип, реальный тип будет указан при вызове метода. Слово where указывает ограничение - реальным типом должен быть класс.
Например, можно указать MyService x = GetSevice<MyService>(); или Person x = GetSevice<Person>(); или IWeapon x = GetSevice<IWeapon>();.
3) в качестве тела метода стоит throw new NotImplementedException(); - возникнет исключение, указывающее, что тело не определено. Так делается, если нужно показать, что этот код вызывать не нужно, либо если тело будет написано позже, а сейчас при вызове будет исключение.

Comments

[devilya]

Алексей Павлов, разве ограничение типа where T : class не означает, что реальный тип должен быть ссылочным? Не возникнет ли ошибки при использовании метода со значимым типом, как вы указали: int x = GetSevice(); ,

[Алексей Павлов]

ilya06, да, верно, я забыл про ограничение where T : class. Этим примером я хотел показать, что реальным типом может быть любой тип. Исправил код в ответе.

Answer 2

[Матвей Правосудов]

T — плейсхолдер для типа. А про конструкцию на сайте майкрософта.