PHP PHP · 25 вопросов · ~70 мин · ⏱ Таймер 10:00 · Средний ·

Строгая типизация

Тип в сигнатуре ещё не гарантирует одинаковое поведение во всех файлах и точках вызова. Вопросы проверяют strict_types, nullable и union-типы, пересечения, свойства и места, где проверка должна происходить раньше исполнения.

Отвечено: 0 из 25

⏱ --:--

💡 Инструкция: Выберите один ответ из пяти. Учитывайте файл вызова, точную сигнатуру и фактический тип переданного значения. Время — 70 минут.

Вопрос 1 из 25

Где действует declare(strict_types=1)?

declare(strict_types=1);

require 'library.php';
$result = calculate('12');

В вызывающем файле для скалярных аргументов и возвратов Только в composer.json Только для внутренних функций PHP Только внутри класса, объявленного ниже Глобально во всём процессе

Вопрос 2 из 25

Примет ли функция параметр int, если из файла со strict_types=1 передать строку «4»?

declare(strict_types=1);
function twice(int $n): int { return $n*2; }
echo twice('3');

Будет выведено 6 declare проигнорируется Строка станет float TypeError Будет выведено "33"

Вопрос 3 из 25

Разрешает ли strict_types передачу int в параметр float?

declare(strict_types=1);
function half(float $value): float { return $value / 2; }
echo half(10);

Только для отрицательных чисел Только если int равен нулю Только через explicit cast внутри функции Да, int допускается как точное расширение до float Нет, всегда TypeError

Вопрос 4 из 25

Почему declare должно стоять в начале файла?

Иначе функция станет private Она отправляет HTTP-заголовок Она меняет права файла Она создаёт namespace Это директива компиляции до обычного кода

Вопрос 5 из 25

Что strict_types не делает?

Проверяет объявленный return Может привести к TypeError Не проверяет типы элементов обычного массива Проверяет тип параметра int Влияет на скалярное приведение

Вопрос 6 из 25

Что означает int|string?

function normalize(int|string $value): string
{
    return (string) $value;
}

Автоматическое преобразование в string Значение должно быть целым или строкой Массив из int и string Значение одновременно int и string Любое значение кроме null

Вопрос 7 из 25

Чем ?User эквивалентен?

function currentUser(): ?User
{
    return null;
}

object|null|string User|null User&null User|false mixed

Вопрос 8 из 25

Почему int|false иногда хуже отдельного результата-объекта?

Объекты нельзя тестировать int всегда преобразуется в bool false невозможно вернуть Union запрещён в return Нужно строго отличать false от допустимого 0

Вопрос 9 из 25

Какой тип и значение вернёт функция с объединённым типом int|string для строкового аргумента?

function kind(int|string $v): string {
 if (is_int($v)) return 'int';
 return 'string';
}
echo kind('7');

string mixed int TypeError bool

Вопрос 10 из 25

Допустим ли тип int|int?

Это отдельный 64-битный целый тип, составленный из двух int Запись означает массив целых чисел, аналогичный int[] Да, но только если повтор записан в docblock, а не в сигнатуре Нет, повторяющийся тип избыточен и отклоняется Допустимо при strict_types=0, где повторы объединяются во время вызова

Вопрос 11 из 25

Что означает Countable&Iterator?

function inspect(Countable&Iterator $items): int
{
    return count($items);
}

Один объект должен реализовывать оба интерфейса Создаются два параметра Результаты интерфейсов складываются Это псевдоним array Подходит объект любого одного интерфейса

Вопрос 12 из 25

Подойдёт ли ArrayIterator для Countable&Iterator?

$items = new ArrayIterator([1, 2, 3]);
echo inspect($items);

Только после приведения к array Только в return Да, он реализует оба требуемых контракта Нет, объект может иметь один интерфейс Нет, intersection принимает только пользовательские классы

Вопрос 13 из 25

Чем A&B отличается от A|B?

Пересечение требует оба контракта, объединение — хотя бы один Различий нет Пересечение относится к массивам, union к строкам | выполняет побитовое сложение в типе & создаёт ссылку

Вопрос 14 из 25

Почему пересечение полезно в декораторе коллекции?

Оно ускоряет foreach на уровне CPU Оно создаёт методы автоматически Оно заменяет конструктор Можно требовать и перебор, и известное количество Оно сериализует объект

Вопрос 15 из 25

Что произойдёт при передаче объекта только Countable?

function inspect(Countable&Iterator $items): int { return count($items); }
inspect(new class implements Countable { public function count(): int {return 0;} });

Метод получит null TypeError до входа в функцию Iterator будет вызван глобально Вторая возможность добавится автоматически Объект преобразуется в массив

Вопрос 16 из 25

В слабом режиме что обычно произойдёт со строкой "12" для параметра int?

function quantity(int $value): int { return $value; }
echo quantity('12');

Останется строкой внутри функции Станет bool true Она будет преобразована в целое 12 Станет null Всегда TypeError

Вопрос 17 из 25

Почему (int) $input не заменяет FILTER_VALIDATE_INT?

$raw = '12px';
$cast = (int) $raw;
$validated = filter_var($raw, FILTER_VALIDATE_INT);
var_dump($cast, $validated);

Cast превращает неверный ввод в 0 или отбрасывает часть строки FILTER_VALIDATE_INT возвращает только строки Cast всегда бросает исключение int не поддерживает отрицательные числа Фильтр меняет базу данных

Вопрос 18 из 25

Что произойдёт с return "5" при : int в строгом файле?

declare(strict_types=1);
function answer(): int { return '5'; }
answer();

Вернётся строка Return-типы не проверяются Вернётся 5 Вернётся false TypeError

Вопрос 19 из 25

Почему bool-параметр опасен для сырой строки "false" в слабом режиме?

Строка превращается в null Непустая строка преобразуется в true, несмотря на текст Строка всегда становится false PHP распознаёт английские слова bool не принимает строки даже слабом режиме

Вопрос 20 из 25

Как лучше обрабатывать числовой идентификатор из JSON?

Всегда привести любую строку к int Сравнить только через == Проверить тип и диапазон без случайного cast Использовать empty Сохранить mixed в доменную модель

Вопрос 21 из 25

Что даёт PHPStan или Psalm сверх runtime-типов?

/** @param list<User> $users */
function firstActive(array $users): ?User
{
    foreach ($users as $user) {
        if ($user->isActive()) return $user;
    }
    return null;
}

Автоматическое исправление всех ошибок Замена PHPUnit Шифрование исходников Ускорение SQL Анализ путей, коллекций, null и недостижимого кода

Вопрос 22 из 25

Как проверить строгий контракт функции?

declare(strict_types=1);
function double(int $value): int { return $value * 2; }

assert(double(4) === 8);
try {
    double('4');
    assert(false);
} catch (TypeError) {
    assert(true);
}

Случайно вызвать функцию без аргументов вместо целевого неверного типа Подавить TypeError оператором @ и проверить отсутствие вывода Сравнить текст функции с эталонным исходником, не выполняя вызов Проверить только корректный аргумент и успешный результат Проверить результат и ожидать TypeError для неверного типа

Вопрос 23 из 25

Почему переход старого проекта на strict_types лучше делать постепенно?

Сначала надо найти места, зависящие от неявных преобразований Он удаляет docblock Директива меняет синтаксис SQL Строгий режим требует нового сервера на каждый файл Composer запрещает массовое изменение

Вопрос 24 из 25

В журнале TypeError что важнее всего для причины?

Размер экрана пользователя, на котором проявился TypeError Фактический тип, ожидаемая сигнатура и точка вызова Только имя пользователя без входного значения и места вызова Произвольное сообщение без сигнатуры, фактического типа и трассировки Полный пароль и токены, переданные соседними аргументами

Вопрос 25 из 25

Docblock обещает list<User>, но метод возвращает смешанный array. Что делать?

Уточнить контракт, добавить проверки и статический анализ Считать комментарий достаточной runtime-проверкой Подавить предупреждения Преобразовать всё в string Удалить тип return array

Ответьте на все 25 вопросов, чтобы получить результат

🔗 Встроить тест на свой сайт (iframe) ▼

Скопируйте код и вставьте в любое место на вашем сайте:

Также доступна прямая ссылка на embed-страницу