Концепция типов данных в языках программирования обусловливается следующими положениями. Любой тип данных определяет:
- множество значений, которые может принимать переменная;
- формат внутреннего представления данных в памяти компьютера;
- допустимые действия над данными.
В C# типы данных имеют большое значение, так как это строго типизированный язык программирования. В нем типами также считаются классы и структуры. Каждая операция или метод требует аргумента фиксированного типа и выдает результаты фиксированного типа. Указанные свойства позволяют транслятору использовать информацию о типах для проверки правильности различных конструкций.
Обязательное описание типов приводит к некоторой избыточности информации в программе, но является важнейшим вспомогательным средством ее разработки.
Итак, типы данных - это множество допустимых значений данных, а также совокупность операций над ними.
