!is_dir($folder) && !mkdir($folder) && !is_dir($folder)の処理の謎

Question

https://github.com/kalessil/phpinspectionsea/blob/master/docs/probable-bugs.md#mkdir-race-condition
↑これを読んでて分からないことがあったので起票しました。

該当のソースコード

!is_dir($folder) && !mkdir($folder) && !is_dir($folder);

という書き方は

if (!is_dir($folder)) {
  mkdir($folder);
}

と同じ効果を持つそうなのですが、これはどういう理屈なのでしょうか。
PHPに詳しい方よろしくお願い致します。

##追記
!is_dir($folder) && !mkdir($folder)だけだと正常に処理されず、
一番最後にもう１個 !is_dir($folder)をつけることによって初めて処理されます。
ここの理由が知りたいです。

2019/06/14
!is_dir($folder) && !mkdir($folder)でも正常に処理されました！
嘘を言ってしまい、大変申し訳ございませんでした。
ということは最後の!is_dir($folder)は何かのおまじない…？

Comments

[m.ts10806]

!is_dir($folder) が２つありますが、これは。

[TheJPkingbeaver]

https://github.com/kalessil/phpinspectionsea/blob/master/docs/probable-bugs.md#mkdir-race-condition
参考にしたのはこれなんですけど、!is_dir($folder)は2つないと確かに動作しなかったです。皆さんが言われている通り、左から順に評価して、!mkdir($folder)までの処理は理解できるのですが、問題は最後になぜis_dir($folder)がないと動作しないのかが理解できなかったので質問させていただきました。

[m.ts10806]

「動作しなかった」というより実際に起きた現象（エラーが出たとか）を記載していただいた方が良いですね。今回に限らず「うまくいかない」とか「ダメでした」みたいな表現は「結局何が起きてますか？」という質問を引き出すだけでアドバイスにはつながりませんので。
https://teratail.com/help/question-tips#questionTips3-4-1

[TheJPkingbeaver]

ここのルールを熟知しておらず、大変失礼致しました。
さきほど当時の状況を再現しようとしたのですが、!is_dir($folder) && !mkdir($folder)でも普通にいけてしまったため、あの時発生したエラーは別の要因で発生したのかと思います。
たぶん最後の!(is_dir)は再確認か何か…？ちょっと自信がないです

Answer 1

andは左から処理していきfalseになった時点でそれ移行は処理しないということ

($a=0) && ($a=1);
var_dump($a);

($a=1) && ($a=2);
var_dump($a);

Answer 2

条件式がアンド結合されている場合は、左から評価していき、全てがtrueの場合に式全体がtrueとなります。
なので、左のis_dirがfalseの場合、次のmkdirの評価をします。
左のis_dirがtrueの場合は、その時点で式の評価がtrueにはなりえないので、以降の評価は行われません。

Answer 3

命名

code1

!is_dir($folder) && !mkdir($folder) && !is_dir($folder);

code2

if (!is_dir($folder)) {
  mkdir($folder);
}

まず私の知っている範囲から

code1 と code2 は等価ではありません。
試せば分かりますが、code1 には値があります。

リンク先の記述から

code1 はmkdir()の競合状態を回避するためのコードのようです。
このコードが実行されているプロセスとは別のプロセスがmkdir()を同時に実行した時、mkdir()途中の状態(?)にあるときに効果を発揮するとあります。

code1 はそのような状況に対してのワークアラウンドらしいです。
当然、code1 と code2 は同じ挙動ではなくなります。

Answer 4

!is_dir($folder) && !mkdir($folder) && !is_dir($folder);

$folderがディレクトリで無い場合に$folderディレクトリ作成を試みて失敗、でやはり$folderがディレクトリで無い場合と言う意味で下記と同等になりますね。

if (!is_dir($folder)) {
  if (!mkdir($folder)) {
    if (!is_dir($folder)) {
      
    }
  }
}

Comments

[TheJPkingbeaver]

回答ありがとうございます。
>やはり$folderがディレクトリで無い場合と言う意味で下記と同等になりますね。
これって再確認ってことですかね？あまり意味があるとも思えないのですが…

[hide0128]

そうですね。
$folderがディレクトリで無かったら作る。
作ったけど出来なかった。
再確認でディレクトリで無い。←これ要らないでしょうね。

[Tomak]

mkdir() 自体が実行されてその実行結果の話をしているから不思議に感じてしまうのかもしれませんね。下記のように置き換えるとわかりやすいかもしれません。

! $a && ! $b && ! $a