URLのpathはどこから?

URLのpathがホスト名の終わりの / を含むべきなのかがよくわかっていなかった。例えば https://example.com/foo というURLを考える場合...

• 含む場合
  • authority: https://example.com
  • path: /foo
• 含まない場合
  • authority: https://example.com/
  • path: foo

のどちらなのかということ。結論としては前者であってそうだった。

URI が authority 要素を含む場合、path 要素は空であるか、あるいはスラッシュ ("/") 文字をもって始まらなければならない。 Uniform Resource Identifier (URI): 一般的構文