PHPで任意の文字列の数値への型の相互変換が0に定義されている理由はなんだと思いますか？

PHPにおいて、任意の文字列の数値への型変換は０となっていますが、どうにも気持ち悪い定義だと思いました。
というのも、数値と文字列のブール値への型変換は、
数値1はtrue、数値0はfalseであり、
空でない任意の（数字でない)文字列はtrue、空の文字列''はfalse、
という対応なっているからです。

ならば、文字列の数値への型変換は、
空でない任意の文字列を1に、
空の文字列''を0に、
それぞれ対応させるべきだと思います。

どう思いますか？
ご回答お待ちしております。

…と、
書いていて気づきましたが、そういえば、特に文字列のゼロ'0'のことを考えると、
「文字列ゼロ'0'と数値ゼロ0の対応は崩したくない」

「そのためには、任意の文字列の数値1への対応、という対称性は犠牲にするしかない」

という意図が篭っているのではないか、と思いました。

【追記】
maisumakun様のご指摘を受けて

確かにそうでした。
しかし、以下のマニュアルの==演算子の緩い型変換比較表
https://www.php.net/manual/ja/types.comparisons.php
においては、
例えば文字列'php'は数値0との比較でtrueを返し、数値1との比較でfalseを返す、とあります。

型変換という概念と、==での型の相互変換という概念は、全く異なるもの、ということでしょうか。

行動規範の内容に同意します

回答2件

ベストアンサー

PHPにおいて、任意の文字列の数値への型変換は０となっていますが

なっていません。たとえば(int)'500万円'は500です。

投稿2019/03/26 05:13

maisumakun

総合スコア145183

maisumakun

2019/03/26 05:16

そもそもPHPは、「プログラミング言語を作るつもりなどなかった」ところから進化してきたという、稀に見る言語です。複雑怪奇な歴史の名残で、わけのわからない箇所はあちこちにあります。

WeilSpinor

2019/03/26 05:22 編集

確かにそうでした。しかし、以下のマニュアルの==演算子の緩い型変換比較表 https://www.php.net/manual/ja/types.comparisons.php においては、例えば文字列'php'は数値0との比較でtrueを返し、数値1との比較でfalseを返す、とあります。これは、そもそも、『型変換』という概念と、『==での型の相互変換』という概念は、全く異なるもの、ということでしょうか。私はごっちゃにしていたのですが…

maisumakun

2019/03/26 05:23

いえ、同じものです。'php'を数値と==で比較しようとした場合、'php'が数値に変換されて0になり、それを比較する、ということで間違いありません。同様に、'500万円' == 500は左辺が数値の500に変換され、trueとなります。

maisumakun

2019/03/26 05:24

この文字列→数値の変換の仕様は、Perlとも共通しますので、「$で始まる変数」「.による文字列連結」や「->によるメンバ参照」など、Perlの影響を受けた箇所も多いPHPがPerlから受け継いだものの1つなのかもしれません。

KazuhiroHatano

2019/03/26 05:34

似たような質問をしたことがあるので参考にどうぞ https://teratail.com/questions/100774 raccyさんの回答がおおよそ答えになるかもしれません

WeilSpinor

2019/03/26 05:41

ご回答ありがとうございます。 "任意の"文字列が、というのに語弊がありましたね。私が例にあげた文字列が限定的すぎました。文字列"810"は810に、文字列"810先輩"は810に、文字列"野獣先輩"は0に、それぞれ変換する、という感じで覚えようと思います。 KazuhiroHatano様リンクありがとうございます。ぜひ確認させていただきます

WeilSpinor

2019/03/26 05:48

歴史などが関係しているんですね。

行動規範の内容に同意します