PHPでコマンドライン引数を自然数かどうか判別したい

Question

前提・実現したいこと

PHPで12以上の自然数を、コマンドライン引数から、$a = $arvg[1];と受け取り、1~$aの個々の数字に対して処理を実行する、というプログラムを作っています。
コマンドライン引数を判定し、自然数以外の場合処理を止めたいです。
よろしくお願いします。

発生している問題・エラーメッセージ

コマンドラインで12以上の、整数ではない数（20.5など）を入力しても処理が実行される

該当のソースコード

<?php

$a = $argv[1];

function showNum(int $a) {

  if ($a < 12) {
    echo '12以上の自然数を入力してください' . PHP_EOL;
    return;
  }
  
  if (is_int($a) === false) {
    echo '12以上の自然数を入力してください' . PHP_EOL;
    return;
  }

  for ($i = 1; $i <= $a; $i++) {
    if ($i % 12 === 0) {
      echo 'keypoint' . PHP_EOL;
    } elseif ($i % 3 === 0) {
      echo 'key' . PHP_EOL;
    } elseif ($i % 4 === 0) {
      echo 'point' . PHP_EOL;
    } else {
      echo $i . PHP_EOL;
    }
  }
}

showNum($a);

試したこと

if (is_int($a) == false) とする ⇒　変わらず小数点以下があっても実行される

補足情報（FW/ツールのバージョンなど）

PHP 7.4.6
VScode
windows10
コマンドプロンプトで実行

Comments

[takasima20]

原因は回答にある通りですが、流れ的に showNum() に渡す前にチェックを入れる感じがいいんじゃないかなあ。

Answer 1

function showNum(int $a)とすると、標準設定のPHPでは引数をintに変換してしまいます。

内部でintかどうかのチェックを行いたいのであれば、逆にintを型ヒントに書いてはいけません。

Comments

[maisumakun]

なお、コマンドラインから来るのは「文字列」ですので、タイプヒントを書かなかった場合is_intは必ずfalseになります。正規表現やstrcspnなど、別な方法でのチェックが必要になります。

[maisumakun]

strict_typesとして関数呼び出し時の自動変換を抑止することもできますが、この場合は文字列を渡そうとした時点でTypeErrorとなります。

チェック処理を関数内に含みたいのであれば、適切な選択肢とはなりません。

Answer 2

$a = $argv[1];
if((int)$a == $a){
  //int
}

質問文に書かれているようにforの上限で使うだけなら。