より良い真偽値の作り方

Question

function Test1() {
    $A = true;
    $B = 1;
    $C = 2;
    $D = 3;
    $E = 4;
    
    return (($A && ($B !== $C)) || (!$A && ($D !== $E)));
}

真偽値を返す関数を作っています。
上記のようなコードは可読性悪いでしょうか。
if分岐で分けたり、またさらに別の書き方をした方がいいでしょうか。
どんな感じで書くと良いでしょうか。

変数の値は固定になっていますがそこはスルーしてください。。

Comments

[m.ts10806]

仮の情報も度が過ぎると返って本来の目的を伝えきれません。
どのような情報がきて何を返したいのか、要件をもっと具体的に書いた方が良いです。

Answer 1

$A を判定する二箇所を一つにまとめたいので、私なら次のように書きます。

return $A
    ? ($B !== $C)
    : ($D !== $E);

PHP の三項演算子は優先順位が他の言語のものと違うので、カッコを使って優先順位を明確にした方が読みやすいかもしれません。

PHP: 三項演算子 - Manual

Answer 2

変数の値は固定になっていますがそこはスルーしてください。

サンプルがひどすぎません？
ほかにも多数スルーして若干のエスパーを追加して回答すると

<?php
function is_Test1(int $c, int $e): bool {
    $B = 1;
    // $D = 3;
    return $B !== $c;
}

var_export(is_Test1(1, 3));
var_export(is_Test1(3, 1));

命名と型を入れることで、可読性は上がると思います。

Comments

[m.ts10806]

PHP7っぽさ全開で私は好きです

Answer 3

式としては十分だと思います。あとは見やすさでしょうか。

return  $A && $B !== $C
    || !$A && $D !== $E;

無意味に括弧を入れると見にくくなります。

Comments

[退会済みユーザー]

質問のを含めて Aを2度評価してるから3項式のが見やすい気もするけどね

[otn]

複数の and の連鎖を or で繋いだような書き下し型だと、真理値表がイメージできるというメリットもあります。

[退会済みユーザー]

表構造思考か、木構造思考かだね・・

[otn]

どっちがいいかは、問題によりますね。

Answer 4

個人的な意見です。
可読性云々考えても同じ条件をifに入れるなら、
可読性自体あまり変わらないと思います。
つまり、そのままでいんじゃね？ってことです。
ただ、if使うにしろ、比較演算で直接論理値返すにしろ、コメントアウトで何と何をどう比較しているかは記載した方が、他の人にもわかりやすいものになるかと。
また、構文そのままでも、改行を入れるだけでも可読性はあげれるかと思います。

function Test1() {
    $A = true;
    $B = 1;
    $C = 2;
    $D = 3;
    $E = 4;

    return (
        ($A && ($B !== $C)) ||
        (!$A && ($D !== $E))
    );
}

（構文そのままだと、これ以上入れると、逆に可読性悪くなるかもしれない）

Comments

[m.ts10806]

いや、改行適宜入れるだけで可読性はずいぶん変わるんじゃないかなと。

[miyabi_pudding]

確かに、なるほどです。

Answer 5

時々見かけるやつ。

return [$D !== $E, $B !== $C][$A];

見慣れてないと意味不明だけど。

Comments

[退会済みユーザー]

bool を 0/1 として判断するなんて意味が不明（ぉぃ

[退会済みユーザー]

配列に記述するときに true が後ろ、false が前にくるんで直感と逆になって見にくいんですよね(そkじゃない)

Answer 6

単純に if で書いたほうがわかりやすくない？

 if($A)
 {
   if($B !== $C)
   {
     return true ;
   }
   else 
   {
     return false;
   }
 }
 else
 {
   if(($D !== $E))
   {
     return true ;
   }
   else 
   {
     return false;
   }
 }