カテゴリーアーカイブ PHP

著者:杉浦

PHPDocの内容を継承する@inheritdoc

Inheritance — phpDocumentor
　@inheritdocは継承元（implements元やextends元やtrait元）のPHPDocの説明を継承するタグです。@inheritdocを使うと次の様に継承元のPHPDocの説明文を受け継げます。
　
　元の振る舞いと継承後の振る舞いに大した違いが無い場合、同じ説明を記述することは面倒です。@inheritdocを使うことで何度も同じ記述を行わず済み、楽が出来ます。
　@inheritdocは継承元の説明をインラインに埋め込むコメントとして扱えます。冒頭の説明文の部分に関しては次の様にけっこう自由がききます。

著者:杉浦

PHPの引数順と最初の開発者のインタビュー

　PHPStormには次の画像の様な機能、呼び出し先の関数の引数名を表示するという機能が備わっています。

　ことPHPにおいてこの機能は非常に役立ってくれています。というのもPHPに備わっている関数の引数はその順番と役割が関数によって変わることがしばしばあるためです。例えば、array_filter,array_map,array_walkという関数があります。これらはコールバックを配列に適用する関数です。これらをPHPStorm上で呼び出すと次の様な画面が見えます。

　各引数の名前で察する通り、array_mapのみcallbackを第一引数で指定する必要があります。これはいささか極端な例ですが、同じように似た役割、挙動の関数において引数の順番と役割が異なるということが起こることがあります。このため生のPHPを記述するためにはたびたびリファレンスなりPHPDocなりの何かを参照する必要があります。
　この関数の引数の順番のようなPHPの整合性についてPHPの生みの親であるラスマス・ラードフ氏は次のように述べています。
PHPの生みの親，ラスマス・ラードフ氏インタビュー：レポート｜gihyo.jp … 技術評論社

私たちがPHPの整合性のなさを直さないと言ってよく非難する人がいますが，PHPはそもそもそれが問題になるようなものではないのです。PHPは結局，ライブラリやその他基盤となっているテクノロジーへのショートカットにすぎません。それなのに，どうして誰もがPHPレベルでの整合性を求めるのか，私には分かりません。整合性をとるのはフレームワークの役割です。フレームワークは問題を解決するための全体的なアプローチを定める場所ですから。PHPはその下のレベルにあって，ただ低レベルにあるライブラリとか関数とかへのアクセスを提供するだけの存在です。

　この発言の前にはPHPよりも下位層の関数と1対1で対応した何らかの関数をPHPは持っている、PHPは垂直的に整合性を持っている、という趣旨の発言があります。PHPは中間言語に近いもので更に上級言語のフレームワークを使えと言っているわけです。最近自分はLaravelばかり触っていますが、実際生のPHPに比べて格段に書きやすくシンプルにまとまっています。

著者:杉浦

trait中の関数を差分プログラミングをする

　traitはクラス中に現れる共通のプロパティ、メソッドをまとめて記述するための仕組みです。コード中におけるその扱いは継承に似ています。継承を行った場合、スコープ定義演算子をもちいることによってコードをコピペせずにちょっとだけ処理を付け足すことが出来ます。

class ChildHoge extends ParentHoge
{
  public function __construct()
  {
    //親のコードの処理前に付け足す処理の部分
    parent::__construct();
    //親のコードの処理後に付け足す処理の部分
  }
}

　このように便利なスコープ定義演算子ですが、traitを指すことはできません。traitでこれに似たことをしたい時、名前の変換を行うことによって実現ができます。元のコードを別名として扱い、traitを読み込んだクラスで元々の名前のメソッドを実装することによってクラス外のふるまいを変えることなくちょっと付け足しただけの差分プログラミングができます。

class ChildHoge
{
  use FugaTrait {__construct as traitConstruct;}
  
  public function __construct()
  {
    //トレイトのコードの処理前に付け足す処理の部分
    $this->traitConstruct();
    //トレイトのコードの処理後に付け足す処理の部分
  }
}

著者:杉浦

foreachとPHPDocとIDE

　IDEの補完機能は便利です。複雑なオブジェクトのプロパティ、メソッドを網羅し、入力をサポートしてくれます。
　
　これは変数の型を推論することと型の内容を把握することによって実現されています。ここでforeachを使った場合、次の様になる時があります。

　静止画のためわかりにくいですが、予測が出来なくなっています。これは推論が不能になったため起こっています。型推論の主な道筋はそれを導くために用いられた関数、演算子などによる型の連想です。ここで起こっていることはarrayの中に入っている値の型が推論できない、ということです。これを解決するためにPHPDocによる型の説明を用いることが出来ます。

/** @var Members $member */

　このPHPDocコメントを書くことによって$memberはMembers型であるとIDEに示すことができ、IDEは型による補完機能を動かしてくれました。

著者:杉浦

phpの三項演算子の一種エルビス演算子

PHP: 比較演算子 – Manual

PHP 5.3 以降では、三項演算子のまんなかの部分をなくすこともできるようになりました。 式 expr1 ?: expr3 の結果は、expr1 が TRUE と同等の場合は expr1、 それ以外の場合は expr3 となります。

　phpの三項演算子は真ん中の部分を省略して記述することが出来ます。この記述?:はエルビス・プレスリーの顔文字にならってエルビス演算子と通称されています。google画像検索などではエルビス・プレスリーの写真に?:を当てはめた画像が大量にヒットします。エルビス演算子による記述を用いたコードは次の様になります。

$c = $a ? $a : $b;
$c = $a ?: $b;

　{}もelseも必要にならないが条件分岐が欲しいときはよくあります。特定の条件――次の例では投稿された記事の編集権限の有無――によって早期returnを促すガード節はエルビス演算子を用いることによって簡単に記述できます。

auth()->user()->hasAccess($edit_post) ?: abort('403');

　null合体演算子??は$hoge ?? $fugaでisset($hoge) ? $hoge : $fugaという式を表していたのに対し、エルビス演算子は緩やかな比較を用いたTRUEであるか否かの式を表します。$hoge ?: $fugaならば $hoge == true ? $hoge : $fugaといった具合です。これにより次の画像の様な違いが現れます。

著者:杉浦

PHPのNull合体演算子

　PHPはユーザの投げてきた値、DBから取得した値といった、存在するかも怪しい値を扱うことが多いです。この問題への対策の定番は条件文とissetです。issetは変数がセットされていること、そして NULL でないことを検査する関数です。
PHP: isset – Manual
PHP: PHP 型の比較表 – Manual
条件文とissetを用いて真面目に素朴な書き方をするならば次の様になります。

if(isset($_GET['user'])){
    $user = $_GET['user'];
} else {
    $user = 'nobody';
}

　5行になりました。この処理と同じ処理を何度も記述する場合、ソースコードは巻物の様に長くなります。条件文がシンプル、行う処理もシンプル、であるならば三項演算子がきれいに記述をしてくれます。三項演算子を用いた例は次になります。

$user = isset($_GET['user']) ? $_GET['user'] : 'nobody';

　1行に収まりずいぶんましになりました。しかしながら、ある値が存在するならばその値を扱うという処理は定番であり、三項演算子を用いた場合、二重にある値――例ならば$_GET[‘user’]の繰り返し――が冗長です。Null合体演算子はこれを解決します。Null合体演算子による記述は次です。

$user = $_GET['user'] ?? 'nobody';

PHP: 比較演算子 – Manual
　もうこれ以上ないくらいシンプルな記述になりました。最初のif文と同じ働きをしますが行数は1行、横の長さも大して変わりません。長大な参照名がついてしまっていても変数を増やさず二行で書けます。

$user_point_total = User::findOrFail($_POST['primary_key'])->userPointTotal->point_total
   ?? UserPointTotal::$default_points;

著者:杉浦

php-cs-fixerの設定まとめページphp-cs-fixer-configuratorの紹介

　php-cs-fixer-configuratorはphp-cs-fixerの設定をまとめているページです。php-cs-fixerはphpのコードを設定に従って修正してくれるアプリケーションなのですが、大本の設定マニュアルは羅列という言葉が似あうもので読むのが億劫です。php-cs-fixer-configuratorはphp-cs-fixerの設定を読みやすい形でまとめているページです。
　使い方はいたって簡単、次の画像からぱっと見でわかる様に検索して目的のルールを探すだけです。

　各ルールの詳細な説明もあります。次の画像らはblank_line_after_namespaceの説明です。これは名前空間の宣言の後には一行だけ空白行が入る、というルールです。This fixer is not configurableは設定不能というよりも設定不要と読んだ方がいいでしょう。ルールの有効無効だけが選択できます。
　


　プリセットに何が含まれているかを確認することも容易です。