Типы данных Сценария JavaFX

Типы данных Сценария JavaFX
Предыдущий	Глава 2. Типы и Значения	Следующий

Типы данных Сценария JavaFX, после этого названные типами JavaFX, описывают виды значений, которые может иметь выражение JavaFX. У каждой переменной JavaFX, функции, и выражения есть тип, чаще всего определенный от контекста. Переменные JavaFX могут явно объявить свой тип; функция может явно объявить типы своих параметров и тип ее возвращаемого значения. Типы JavaFX (за исключением Пустоты) состоят из спецификатора элемента и количества элементов. Спецификатор элемента определяет то, что содержит тип, и количество элементов определяет, сколько из них может быть сохранено.

Спецификатор элемента

Спецификаторы элемента являются классами или функциональными подписями. Классы включают и классы JavaFX и классы Java. Они - некоторые представления в качестве примера спецификаторов элемента, которые являются классами:

MyClass
java.util.Map
Duration
javafx.animation.Timeline
Integer

Функциональная подпись состоит из типов параметра и типа возврата - функциональные подписи являются неназванными и не связываются к определенным функциям, которые могли бы реализовать подпись. Они - некоторые представления в качестве примера спецификаторов элемента, которые являются функциональными подписями:

function(:Number):Boolean
function(:Integer,:Integer):SplotchedBall
function():Integer

См. Функциональные Типы для получения дополнительной информации.

Все спецификаторы элемента являются подтипами java.lang. Объект.

[В формальных системах типов спецификатор элемента вызвали бы типом основы]

Количество элементов

Количество элементов типа определяет, сколько элементов может быть сохранено в типе JavaFX. Эти три количества элементов являются дополнительными, требуются, и последовательность.

Количество элементов: Дополнительный (0 или 1)

Дополнительное количество элементов означает, что может быть один элемент или никакие элементы. Это - количество элементов, связанное с большинством типов, в настоящий момент включая все определяемые пользователем классы. Если Вы определяете class Foo, то у "Foo" типа JavaFX есть class Foo как его спецификатор элемента и дополнительный как его количество элементов. Например:

var x : Foo;

Говорит, что x может содержать экземпляр Foo (один элемент) или может содержать нуль, несуществующее значение (никакие элементы).

Количество элементов: Требуемый (1)

Необходимое количество элементов означает, что должен быть один элемент. Это - количество элементов, связанное со встроенной Строкой типов, Целым числом, Числом, Булевым, и Продолжительность. Например:

var k : Integer;

Говорит, что k содержит одно Целое число.

Несуществующее значение, нуль, не является разрешенным значением для типов с необходимым количеством элементов. Попытки присвоить нуль типу с необходимым количеством элементов будут преобразованы в значение по умолчанию (см. раздел Значений по умолчанию). Попытки преобразовать нуль в тип с необходимым количеством элементов будут преобразованы в значение по умолчанию.

Количество элементов: Последовательность (0-n)

Количество элементов последовательности означает, что может быть любое число элементов, включая нуль. Это - количество элементов, связанное с явно объявленными последовательностями. Например:

var seq : Integer[];

Говорит, что seq может содержать любое число Целых чисел.