std::filesystem::path::operator/=(C++17)

path& operator/=(const path& p);        // (1)

template <class Source>
path& operator/=(const Source& source); // (2)

#include <iostream>
#include <filesystem>

namespace fs = std::filesystem;

int main()
{
  // 通常のユースケース
  // 後ろにディレクトリを加算する
  {
    fs::path p = "foo";
    p /= "bar";
    std::cout << "a : " << p << std::endl;
  }

  // 左辺の末尾にディレクトリ区切り文字が付いていてもよい
  {
    fs::path p = "C:/foo/";
    p /= "bar";
    std::cout << "b : " << p << std::endl;
  }

  // 右辺が空のパスだった場合、ディレクトリ区切り文字だけ追加される
  {
    fs::path p = "foo";
    p /= "";
    std::cout << "c : " << p << std::endl;
  }

  // 左辺がルート名を持っていて、ルートディレクトリを持たず、
  // 右辺が空の場合、ディレクトリ区切り文字は追加されない
  {
    fs::path p = "C:";
    p /= "";
    std::cout << "d : " << p << std::endl;
  }

  // 右辺にルート名を持つルートディレクトリを含むパスを指定した場合、
  // 右辺を代入する動作となる
  {
    fs::path p = "foo";
    p /= "C:/bar";
    std::cout << "e : " << p << std::endl;
  }

  // 右辺にルート名を持たないルートディレクトリを含むパスを指定した場合、
  // 左辺のルート名以外が右辺で上書きされる
  {
    fs::path p = "C:foo";
    p /= "/bar";
    std::cout << "f : " << p << std::endl;
  }

  // 左辺と右辺が同じルート名を持つ相対パスの場合、
  // 左辺のパスに、右辺のルート名を除く相対パス部分が加算される
  {
    fs::path p = "C:foo";
    p /= "C:bar";
    std::cout << "g : " << p << std::endl;
  }

  // 左辺と右辺が違うルート名を持つパスの場合、
  // 右辺を代入する動作となる
  {
    fs::path p = "C:foo";
    p /= "D:bar";
    std::cout << "h : " << p << std::endl;
  }
}