PHPの関数の返り値の型の宣言で実行は出来るのですが、赤いバッテンマークが出ています。これを解消するには？

Question

windows10、
Eclipse Platform Version: 2019-12 (4.14)を使っています。その中のXAMPPは
XAMPP Control Panel v3.2.4
PHP Version => 7.4.2を使っています。

「PHPの関数の返り値の型の宣言」のところにある
プログラムで「関数の返り値の型の宣言」を行うと
実行は出来て、正常動作するのですが、「function restaurant_check($meal,$tax,$tip):float」の
左の位置に赤いバッテンマークが出ています。
「：」にも波印がついています。これを解消するにはどうしたらいいでしょうか。
function restaurant_check()を使った関数は正常に動作して、そのファイルにはエラーは表示されていません。
よろしくお願いいたします。

構文エラー、unexpected ':',expecting'('

該当のソースコード

<?php
	// 返り値の型の宣言
	function restaurant_check($meal,$tax,$tip):float{
　　　　 
	    		$tax_amount = $meal*($tax/100);

			$tip_amount = $meal*($tip/100);

			$total_amount = $meal + $tax_amount + $tip_amount ;

			return $total_amount;
	}
 
	

<?php
	// 別ファイルの参照
	require  'restaurant-functions-float.php';

	// 25ドルの請求に加え8.25%の税金と20%のチップ
	$total_bill = restaurant_check(25,8.875,20);

	// 手持ちは30ドル
	$cash = 30;

	print "I need to pay with ".payment_method($cash,$total_bill);

	
?>

試したこと

Yahooで「phpの関数の 返り値の型の宣言」を検索して
同じような例題をやってみたのですが、結果は同じでした。

<?php function sum($a, $b): float { return $a + $b; } // 戻り値が float となることに注目 // C:\pleiades\xampp\htdocs\oreilly\chap5\5-25a.php:10: // double(3) var_dump(sum(1, 2)); ?>

Comments

[m.ts10806]

コードはマークダウンのcode機能を利用してご提示ください。
また、そのプロジェクトをEclipseで作成したときにPHPのバージョン指定は何にしましたか？
それによってEclipse側でのチェックが違ってきます

[退会済みユーザー]

*/ ←邪魔

[退会済みユーザー]

phpのバージョンを、phpinfo();で調べてね。

[m.ts10806]

型宣言の前に引数の初期値とかもっと覚えるべきことがあるんでは。

[m.ts10806]

「Eclipse」をタグに追加しておいてください。PHPの問題ではないです。

[m.ts10806]

失礼。PHP"だけの"ですね。
PHPタグも必要です。

Answer 1

戻り値の型宣言ができるようになったのは、PHP 7 以降です。

で、実行できるのに、Eclipse 上で

構文エラー、unexpected ':',expecting'('

が表示されるということは、Eclipse の構文解析に使用する php のバージョンが実際に実行時に使用されるものとあっていません。(5系の設定になってるんじゃないかなぁ)
私は Eclipse を使用しないので、設定方法に関してアドバイスできませんが、参考まで。

余談：
「$a = ""; $b = "";は黄色の三角印を消すために例題に追加しています。」等はダメです。
全然意味が変わってしまっています。

Comments

[退会済みユーザー]

はい、ありがとうございます。少しいじってみます。

[退会済みユーザー]

$a = null; $b = null;に変更したのですがこれでいいでしょうか。

Answer 2

まず、最新のxampp-windows-x64-7.4.2-0-VC15-installer.exeをダウンロードします。
Eclipseのxammpフォルダを削除する。
最新のxamppを解凍して、C:\pleiades\xamppにインストールする。
xammpの通常の設定をする。
php.iniファイルの修正をする。
ApacheのC:\pleiades\XAMMP\apache\conf\extra\httpd-xammp.conf
のphp5.6からphp7に変更する。

大体これでエラーは消えて実行できるようになりました。