ポートコンポーネントを変更する

# Uri\Rfc3986\Uri::withPort

(PHP 8 >= 8.5.0)

Uri\Rfc3986\Uri::withPort — ポートコンポーネントを変更する

### 説明

public function Uri\Rfc3986\Uri::withPort(?int `$port`): static

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

### パラメータ

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

### 戻り値

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

### エラー / 例外

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

### 例

例1 Uri\Rfc3986\Uri::withPort() の基本的な例

    <?php
    $uri = new \Uri\Rfc3986\Uri("https://example.com:8080");
    $uri = $uri->withPort(443);

    echo $uri->getPort();
    ?>

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

    443

### 参考

- Uri\Rfc3986\Uri::getPort() - 正規化されたポートコンポーネントを取得する
- Uri\WhatWg\Url::withPort() - ポートコンポーネントを変更する

`↑` and `↓` to navigate • `Enter` to select • `Esc` to close • `/` to open