PHP, なぜ(true === 1)はtrueなのか

Question

###前提・実現したいこと
学生で、PHPを使用した実習を行いました。
別の授業でC言語を学習しています。

###該当のソースコード
このコードではtrueと1は等しくなります。

#include <stdio.h>
#include <stdbool.h>

int main(void){
    if (true == 1) {
        printf("%s", "true == 1");
    }
    
    return 0;
}

しかし、こちらのコードだとnot true === 1が出力されます。
これはいったいなぜですか？

<?php
if (true === 1) {
    echo("true === 1");
} else {
    echo("not true === 1");
}
?>

拙い質問かと思いますが、お願いします。
###補足情報(言語/FW/ツール等のバージョンなど)
PHP 7.0.15-0
OS: ubuntu

Comments

[退会済みユーザー]

タイトル、現象と逆が書いてあって、非常にわかりにくいです。修正してもらえないでしょうか。(true === 1)は false です。

Answer 1

PHP, なぜ(true === 1)はtrueなのか

そんなバカなと思って試したらやっぱりfalseじゃないか！
質問文が誤りだから修正をお願い。

$ php -a
Interactive shell

php > $hoge = (true === 1);
php > var_dump($hoge);
bool(false)

何故こうなるかについてはPHPの公式サイト内のPHP 型の比較表 ¶を参照。
==を利用したゆるやかな比較では、true == 1の結果はtrueになると明記されてる。

Answer 2

厳密等価演算子は型変換を行わず2つの式の値が等しいか評価します。つまり、両オペランドの値と型が等しいときにのみtrueを返します。今回の場合、trueは論理型、1は整数型なので、評価結果はfalseとなります。等価演算子を使うことで質問者さんの想像するような結果が得られますが、この場合文字列型の1との比較でもtrueを返すようになります。

<?php
var_dump(true === 1); // bool(false)
var_dump(true == 1); // bool(true)
var_dump(true == "1"); // bool(true)

Answer 3

PHPの比較演算子は2種類あります。
まず緩やかな比較演算子は==で、これはtrue == 1がtrueとなります。
しかし、今回利用しているのは===の厳密比較演算子です。この厳密比較演算子は型が同じかどうかまでチェックするので、trueはbool型、1はintegerであるので不一致となります。

基本的には厳密比較演算子を利用するのが定石なので、もしこの場合は変換して使うなどするようにしたほうが良いです。

比較演算子によって、trueかfalseのどちらになるのかを表にしたものがPHPのドキュメントに載っています。
http://php.net/manual/ja/types.comparisons.php