1 added
1 removed
Original
2026-01-01
Modified
2026-02-26
1
<p>Вместе с объединением важной операцией в теории множеств является пересечение. Для разработчиков, которые привыкли к динамике JavaScript, эта операция может показаться менее значимой. Но без нее не обойтись, например, при описании типа слияния объектов.</p>
1
<p>Вместе с объединением важной операцией в теории множеств является пересечение. Для разработчиков, которые привыкли к динамике JavaScript, эта операция может показаться менее значимой. Но без нее не обойтись, например, при описании типа слияния объектов.</p>
2
<p>Пересечение указывается с помощью символа &, по обе стороны от которого располагаются типы. Определим тип объекта со статусом заказа, а затем более строгий тип с точной ценой:</p>
2
<p>Пересечение указывается с помощью символа &, по обе стороны от которого располагаются типы. Определим тип объекта со статусом заказа, а затем более строгий тип с точной ценой:</p>
3
-
<p>Из пересечения объектных типов с полями status<strong>И</strong>cost мы получили тип OneHundredOrder, который содержит оба этих поля. Тип - это множество значений. Когда мы задаем пересечение типов, мы получаем новый тип, который содержит значения, подходящие под ограничения обоих типов.</p>
3
+
<p>Из пересечения объектных типов с полями status<strong>И</strong>cost мы получили тип OneHundredOrder, который содержит оба этих поля. Тип - это множество значений. Когда мы задаем пересечение типов, мы получаем новый ти��, который содержит значения, подходящие под ограничения обоих типов.</p>
4
<p>Если мы объявим переменную const StringAndNumber: string & number, то ей нужно будет присвоить значение, которое одновременно принадлежит множествам string и number. То есть оно является одновременно и строкой, и числом. Такого значения не существует, поэтому StringAndNumber будет иметь тип never. never соответствует пустому множеству - тип, у которого нет ни одного значения.</p>
4
<p>Если мы объявим переменную const StringAndNumber: string & number, то ей нужно будет присвоить значение, которое одновременно принадлежит множествам string и number. То есть оно является одновременно и строкой, и числом. Такого значения не существует, поэтому StringAndNumber будет иметь тип never. never соответствует пустому множеству - тип, у которого нет ни одного значения.</p>