Eclipse開発環境下、[～型を解決できません]と表示されます。

Question

前提・実現したいこと

開発環境：Eclipse　version.2020-12 (4.18.0)

PHP初学者です。
型を認識しません。stringも同様のエラーがでます。
Ecripseの問題かと思っていますが、再インストールするのがよろしいでしょうか？

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

[intを型に解決できません]

[構文エラー, unexpected '?']

該当のソースコード

<?php
function add(int $a, int $b, ?string $errorMessage): int{
    if($a <= 0 || $b <= 0) {
        $errorMessage  = '(エラー：正の整数を入力してください)';
    }

    $total = $a + $b;
    return $total;
}
?>

試したこと

Eclipse - PHP 開発環境 - トラブルシュート - エラーや警告を表示しないようにする
https://freebsd.sing.ne.jp/tool/07/06/99/01.html

を参考にビルドパスがきちんと参照されているかなどを確認しました。
（問題ありませんでした。）

そのほかのサイトを参考にしてみましたが、原因がよく分かりませんでした。

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

クリーン、リフレッシュ、Eclipseを再起動などをしましたが解決されませんでした。
ご助言よろしくお願いします。

Answer 1

構文エラーの方だけなら....
[構文エラー, unexpected '?']
←私なら、?stringの、?を消してみます

ビルドパスがあってるとすると、ちょっと型エラーはわからないですね。でも、Eclipseだとよくあるみたいですね。

(私はphpだとvscodeを使ってしまうので...)

Comments

[on73]

回答ありがとうございます。

？を削除すると
［ stringを型に変更できません］
というエラーがでますね·····。

開発環境を変更することも検討しようと思います、
ありがとうございました！

Answer 2

解決済みだと思いますが、
意図していることは多分こうなのでは・・

<?php

function add($a,$b){
   if($a <= 0 || $b <= 0) {
      $errorMessage  = '(エラー：正の整数を入力してください)';
   return $errorMessage;
   }
   return $a + $b;
}

print add(-3,5);

?>

Comments

[on73]

提示していただいたコードならこのままでも問題なく動きますね、ありがとうございます。

ですが、型を解決できないままで開発していくのは問題があると思うので開発環境を変えようと思っています。
回答ありがとうございました。