<?php $url = ''; /** @var non-empty-string|null $s */ function take_non_empty_string_or_null(?string $s): void { echo (string) $s; } function take_any_string(string $s): void { echo $s; } function take_an_int_or_null(?int $s): void { echo (int) $s; } /** * @param array{path: string} $arr */ function take_url(array $arr): void { foreach($arr as $v) { if (null !== $v) { take_any_string($v); } } } var_dump(parse_url($url)); // array{} take_non_empty_string_or_null(parse_url($url, PHP_URL_SCHEME)); // null|non-empty-string take_non_empty_string_or_null(parse_url($url, PHP_URL_USER)); // null|non-empty-string take_non_empty_string_or_null(parse_url($url, PHP_URL_PASS)); // null|non-empty-string take_non_empty_string_or_null(parse_url($url, PHP_URL_HOST)); // null|non-empty-string take_an_int_or_null(parse_url($url, PHP_URL_PORT)); // null|int take_any_string(parse_url($url, PHP_URL_PORT)); // string take_non_empty_string_or_null(parse_url($url, PHP_URL_PATH)); // null|non-empty-string take_non_empty_string_or_null(parse_url($url, PHP_URL_QUERY)); // null|non-empty-string take_non_empty_string_or_null(parse_url($url, PHP_URL_FRAGMENT)); // null|non-empty-string
You have javascript disabled. You will not be able to edit any code.