Каким является C# с точки зрения типов?

Типизация в C#

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

Статическая типизация

В C# типы проверяются на этапе компиляции, а не во время выполнения. Это позволяет обнаружить множество ошибок до запуска программы.

int number = 10;
string text = "Hello";

// Ошибка компиляции: нельзя неявно преобразовать string в int
// number = text; 

Строгая и безопасная типизация

C# предотвращает неявные преобразования между несовместимыми типами и минимизирует неконтролируемые преобразования, что обеспечивает типобезопасность. Это снижает риск ошибок времени выполнения, связанных с типами.

double price = 19.99;
int discount = 10;

// Явное преобразование требуется, возможна потеря данных
int roundedPrice = (int)price; 

// Ошибка компиляции без явного приведения
// int total = price + discount;

Явная и неявная типизация

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

// Явная типизация
List<string> names = new List<string>();

// Неявная типизация (тип выводится как List<string>)
var numbers = new List<int> { 1, 2, 3 };

// var нельзя использовать, если тип не может быть выведен
// var value; // Ошибка: требуется инициализатор

Номинативная типовая система

C# в первую очередь основан на номинативной типизации: совместимость типов определяется их явными объявлениями и иерархией наследования, а не структурой. Два класса с одинаковыми членами, но разными именами, считаются несовместимыми.

public class Point { public int X; public int Y; }
public class Coordinate { public int X; public int Y; }

Point p = new Point();
// Coordinate c = p; // Ошибка: несовместимые типы, несмотря на идентичную структуру

Поддержка структурной типизации

Несмотря на доминирование номинативной системы, C# включает элементы структурной типизации:

• Утиная типизация с ключевым словом dynamic (проверка типов переносится на этап выполнения).
• Совместимость типов в шаблонах (pattern matching) и с анонимными типами.
• Интерфейсы и делегаты частично реализуют структурную идею: классы, реализующие одинаковые интерфейсы, могут использоваться полиморфно, даже без общего предка.

// Анонимные типы: структурное равенство
var item1 = new { Name = "Apple", Price = 10 };
var item2 = new { Name = "Apple", Price = 10 };

// Компилятор считает их совместимыми, т.к. структура одинакова
item1 = item2;

Классификация типов в C#

• Значимые типы (value types): хранятся в стеке или внутри объектов. Включают:
  • Встроенные типы (int, double, bool, char и т.д.)
  • Пользовательские struct и enum
  • record struct (с C# 10)
• Ссылочные типы (reference types): хранятся в управляемой куче. Включают:
  • class, interface, delegate
  • Массивы
  • string
  • record class (или просто record)
• Указатели (pointer types): используются в небезопасном контексте (unsafe).

Выводы

C# обладает мощной, гибкой и развивающейся системой типов. Его ключевые черты:

• Статическая типизация с элементами динамической через dynamic.
• Безопасность за счёт строгих правил преобразований и проверок.
• Номинативная основа с растущей поддержкой структурных подходов (особенно в современных версиях с pattern matching и records).
• Полная поддержка ООП с единой корневой иерархией (System.Object).
• Богатые возможности обобщений (generics) с поддержкой ковариантности/контравариантности.

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