PHP マニュアル: ポートコンポーネントを変更する

説明

public static Uri\WhatWg\Url::withPort(intnull $port)

新しい URL を作成し、そのポートコンポーネントを変更します。

パラメータ

port: 新しいポートコンポーネント。

戻り値

変更された Uri\WhatWg\Url インスタンス。

エラー / 例外

結果の URL が不正な場合、Uri\WhatWg\InvalidUrlException がスローされます。

例

例1 Uri\WhatWg\Url::withPort の基本的な例

<?php
$url = new \Uri\WhatWg\Url("https://example.com:8080");

// 443 は https のデフォルトポートなので、保持されません。
$url = $url->withPort(443);
var_dump($url->getPort());

$url = $url->withPort(8443);
var_dump($url->getPort());
?>

上の例の出力は以下となります。

NULL
int(8443)

参考

Uri\WhatWg\Url::getPort
Uri\Rfc3986\Uri::withPort