Это не включено.
Если он не включен, есть ли у вас какие-либо подсказки, почему он не был включен, когда был добавлен тип hinting?
blockquote>С текущей реализации массива, потребовалось бы проверить все элементы массива во время выполнения, потому что сам массив не содержит информации о типе.
Это уже было предложено для PHP 5.6, но отклонено: RFC «arrayof» - интересно не из-за проблем с производительностью, которые оказались ничтожными, а потому, что не было соглашения как именно это должно быть реализовано. Было также возражение, что оно является неполным без подсказок скалярного типа. Если вы заинтересованы во всем обсуждении, прочитайте его в архиве списка рассылки .
Подсказки типа массива IMHO обеспечили бы большую выгоду вместе с типизированными массивами, и мне бы хотелось, чтобы см. их реализовано.
Итак, возможно, пришло время для нового RFC и возобновить это обсуждение.
Частичное обходное решение:
вы можете ввести подсказку переменные аргументы и, таким образом, записать подпись как
function findUserByAge(int $age, User ...$users) : array
Использование:
findUserByAge(15, ...$userInput);
В этом вызове аргумент
$userInput
будет «распакован» в отдельные переменные, а в сам метод «упакован» обратно в массив$users
. Каждый элемент проверяется на типUser
.$userInput
также может быть итератором, он будет преобразован в массив.К сожалению, подобного типа для возвращаемых типов не существует, и вы можете использовать его только для последнего аргумента.
Вместо использования JTextArea.setText(String text)
используйте JTextArea.append(String text)
.
Добавляет данный текст в конец документа. Ничего не делает, если модель пуста или строка пуста или пуста.
Это добавит текст в конец вашего JTextArea
.
Другой вариант - использовать getText()
, чтобы получить текст из JTextArea
, затем манипулировать строкой (добавить или удалить или изменить строку), а затем использовать setText(String text)
для установки текста JTextArea
. быть новой строкой.
Если вы хотите создать новую строку или перенос в вашей TextArea, вы должны добавить \ n (новую строку) после текста.
TextArea t = new TextArea();
t.setText("insert text when you want a new line add \nThen more text....);
setBounds();
setFont();
add(t);
Это единственный способ, которым я смог это сделать, может быть, есть более простой способ, но я еще не открыл этого.
Вы используете jtextarea
. Способ добавления дополнительного текста
, чтобы добавить дополнительный текст?
JTextArea txtArea = new JTextArea("Hello, World\n", 20, 20);
txtArea.append("Goodbye Cruel World\n");