構造化束縛

C++17 以前：

std::tuple<int, double, std::string> f() {
  return std::make_tuple(42, 3.14, "hello");
}

int main() {
  int i;
  double d;
  std::string s;

  std::tie(i, d, s) = f();
}

構造化束縛

C++17：

std::tuple<int, double, std::string> f() {
  return std::make_tuple(42, 3.14, "hello");
}

int main() {
  auto [i, d, s] = f();
}

構造化束縛

C++17 以前：

int main() {
  std::map<std::string, int> m = {
    {"a", 1},
    {"b", 2}
  };
  for (auto& p : m) {
    p.second *= 2;
  }
  for (const auto& p : m) {
    std::cout << p.first << ": " << p.second << std::endl;
  }
}

構造化束縛

C++17：

int main() {
  std::map<std::string, int> m = {
    {"a", 1},
    {"b", 2}
  };
  for (auto& [key, value] : m) {
    value *= 2;
  }
  for (const auto& [key, value] : m) {
    std::cout << key << ": " << value << std::endl;
  }
}

構造化束縛

• tuple だけでなく様々なクラスで使用可能
• ネストすることは不可能
• 不要変数を指定することは不可能

初期化文付き条件文

• 変数のスコープは if や switch の中だけになる
• else の中でも使用可能
• if や switch を抜けると変数は破棄される

クラステンプレートの型推論

• 推論できるのはコンストラクタを与えられた場合のみ
• 自作クラスでも型推論可能（推定ガイドという機能を使う）

ネストされた名前空間

C++17：

namespace A::B::C {
  // A::B::C に属するものをここに書く
}

その他（説明省略）

• 文字列なし static_assert
• inline 変数
• [[fallthrough]] 属性
• [[nodiscard]] 属性
• [[maybe_unused]] 属性
• 可変長 using 宣言
• バイトを表現する型 std::byte

std::optional

std::optional<std::string> my_getline(std::istream& is) {
  std::string line;
  if (std::getline(is, line)) {
    return std::move(line);
  }
  return std::nullopt;
}

int main() {
  const auto line = my_getline(std::cin);
  if (line) {
    std::cout << *line << std::endl;
  } else {
    std::cout << "行を取得できませんでした。\n";
  }
}

std::optional

• デフォルト構築した場合と std::nullopt から変換した場合は空になる
• そうでない場合は与えられた値をコピーして格納する
• アクセスはポインタに似た構文を使う
• std::in_place_type を使うことでオブジェクトを直接構築可能
• std::make_optional なんてのもある

std::any

std::any x;
x = 42;
std::cout << std::any_cast<int>(x) << std::endl;
x = "hoge"s;
std::cout << std::any_cast<std::string>(x) << std::endl;

std::any

• コピー可能な型ならなんでも格納可能
• 値を取り出す時には std::any_cast で型を具体的に指定する必要あり
• 格納されうる型が限定されてる場合は後述の std::variant を使うほうがいい

std::variant

std::variant<int, std::string> v;
v = 42;
std::cout << std::get<int>(v) << std::endl;
v = "hoge"s;
std::cout << std::get<std::string>(v) << std::endl;

std::variant

• std::any と比較して、格納されうる型が決まっているので効率がいい
• 中にどの型の値が入っているかも問い合わせ可能
• std::visit という便利機能がある

std::string_view

std::size_t count_a(std::string_view str) {
  std::size_t count = 0;
  for (char x : str) {
    if (x == 'a') {
      ++count;
    }
  }
  return count;
}

count_a("abcdefg"); // OK
std::string s = "aaa";
count_a(s); // OK

std::string_view

• find や remove_prefix 等の様々な便利機能あり
• あくまで文字列への「参照」であることに注意

並列アルゴリズム

std::vector v = {1, 2, 3, 4, 5};
std::atomic<int> sum{0};

std::for_each(std::execution::par, v.begin(), v.end(), [&] (int x) {
  sum += x;
})

並列アルゴリズム

• ちゃんと動作させるには条件が結構キツいので、半端な知識で使用しないこと！

ファイルシステム

（例）カレントディレクトリのファイル一覧を表示：

using namespace std::filesystem;
path dir = current_path();
for (const auto& p : directory_iterator(dir)) {
  std::cout << p << std::endl;
}

ファイルシステム

• ファイルの削除やシンボリックリンクなど、様々な機能がある
• 文字コード周りが結構面倒なので調べて使うこと

Magic: The Gathering のススメ

• 世界初の TCG （トレーディングカードゲーム）
• 豊富なカード、濃厚な世界観
• プレイヤーはプレインズウォーカー（様々な次元を渡り歩く魔法使い）となり、他のプレインズウォーカーと対決する
• （基本的には）相手の20点のライフを先にゼロにした方が勝ち