В .Net, почему все они называются типами?

Question

В своей книге Pro C # 2008 и платформе .NET 3.5 Эндрю Тоулсен говорит: «В мире .NET type - это просто общий термин, используемый для обозначения член из набора {класс, интерфейс, структура, перечисление, делегат}.

Что общего между ними, что их можно классифицировать как типов ? Каково было бы формальное определение type , которое охватывало бы все это одним общим термином, подобным этому?

Answer 1

Тип - это все, что может описать переменную.Для примера, у меня может быть переменная 'a' типа 'int' (int - это структура).У меня также может быть 'b' типа 'MyClass' (MyClass - это класс).

По сути, все типы используются (более или менее) таким образом (для объявления переменной):

TypeName variableName;

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

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

Answer 2

Краткий ответ: вы можете объявить переменные из них - тип определяет «вид» или «структуру» переменной.

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

Answer 3

Все они являются типами, потому что они представляют все возможные типы переменной.Просто!:)