Spec-Zone.ru › Pony

NullablePointer[A: A]

[Source]

NullablePointer[A] используется для кодирования типа, который может быть нулевым. Его следует использовать только для структур, которые необходимо передавать и получать из C FFI.

Для необязательного типа, который не является структурой, следует использовать тип объединения, например (A | None).

struct ref NullablePointer[A: A]

Конструкторы

create

[Source]

Это повторно кодирует тип that из A в NullablePointer[A], что позволяет that присваивать полю или переменной типа NullablePointer[A]. Это не выделяет объект-обёртку: для that нет содержащего объекта.

new ref create(
  that: A)
: NullablePointer[A] ref^

Параметры

  • that: A

Возвращает

  • NullablePointer[A] ref^

none

[Source]

Возвращает указатель на NULL, типизированный как NullablePointer[A].

new ref none()
: NullablePointer[A] ref^

Возвращает

  • NullablePointer[A] ref^

Общедоступные функции

apply

[Source]

Это повторно кодирует тип this из NullablePointer[A] в A, что позволяет this присваивать полю или переменной типа A. Если this является указателем на NULL, генерируется ошибка.

fun box apply()
: this->A ?

Возвращает

  • this->A ?

is_none

[Source]

Возвращает true, если this является нулевым (т.е. apply вызовет ошибку).

fun box is_none()
: Bool val

Возвращает

  • Bool val

© 2016-2020, The Pony Developers
© 2014-2015, Causality Ltd.
Licensed under the BSD 2-Clause License.
https://stdlib.ponylang.io/builtin-NullablePointer

Spec-Zone.ru

Настройки Оффлайн Что нового Помощь О нас
Spec-Zone .ru
спецификации, руководства, описания, API