// コメントの後ろのスペースの有無について言及したコーディング規約はありますか？


PHP のコメントで//を使う場合、//の後ろにはスペース入れるものですか？入れないものですか？
主要なコーディング規約で言及されているものがあれば知りたいです。

[code]

    // コメント
    
[/code]

or

[code]

    //コメント
    
[/code]

PSR のページ見るとサンプルは前者で書かれていますが、特に言及されている箇所は見つけられなかったです。  
当たり前すぎるのか、特にルールはないのか。(言及されているけれど見つけられてないだけか)  
記事サイトなどは前者が多いですが、後者で書いている人もたまに見かけます。

言及されている規約がある場合は教えていただけますとありがたいです。  
よろしくお願いいたします。




PHPではありませんが、PythonのスタイルガイドPEP 8では、`#`とスペース1つで始めるべき、とあります。

  * [はじめに — pep8-ja 1.0 ドキュメント](http://pep8-ja.readthedocs.io/ja/latest/#id19)
  * [PEP 8 -- Style Guide for Python Code | Python.org](https://www.python.org/dev/peps/pep-0008/#comments)

言語仕様としては、コメント開始トークンの後のスペースはoptionalであり、requiredではありませんが、コメントの可読性を向上させるため、また「コードの一時的なコメントアウト」ではなく「説明としてのコメント」であることを明らかにするためにも、スペースを入れるように規定しているのだと思われます。




PHPではありませんが、PythonのスタイルガイドPEP 8では、`#`とスペース1つで始めるべき、とあります。

  * [はじめに — pep8-ja 1.0 ドキュメント](http://pep8-ja.readthedocs.io/ja/latest/#id19)
  * [PEP 8 -- Style Guide for Python Code | Python.org](https://www.python.org/dev/peps/pep-0008/#comments)

言語仕様としては、コメント開始トークンの後のスペースはoptionalであり、requiredではありませんが、コメントの可読性を向上させるため、また「コードの一時的なコメントアウト」ではなく「説明としてのコメント」であることを明らかにするためにも、スペースを入れるように規定しているのだと思われます。

