Как получить значение параметра партии php?

Question

Я понимаю, что PHP возвращает массив с параметрами, предоставленными в командной строке.

Мне было интересно, есть ли функция для получения значения, присвоенного параметру или нет. Например:

php mybatch.php --xxx=3 

Такие функции f($argv,"xxx") вернутся 3. Или я должен реализовать это сам?

Answer 1

Функция getopt предлагает немного больше информации и возможностей при работе с параметрами командной строки: Вы хотите пройти длинный параметр, так что это будет делать:

<?php 
$opts = getopt(null, ['xxx:']); 

if (isset($opts['xxx'])) { 
    echo 'Parameter xxx: ' . $opts['xxx']; 
} 

Результат:

Parameter xxx: 3