• Class / Function / Type

      std::
    • Header file

      <>
    • Other / All

    最終更新日時(UTC):
    が更新

    履歴 編集

    if文とswitch文の条件式と初期化を分離 [P0305R1]

    このページはC++17に採用された言語機能の変更を解説しています。

    のちのC++規格でさらに変更される場合があるため関連項目を参照してください。

    概要

    従来for文しか使用できなかった初期化をif文とswitch文でも使えるようになった。

    for文は下記のように初期化と条件式を同時に書くことができる。 初期化で宣言した変数はfor文のスコープのみで有効でありfor文の外では参照できない特徴がある。

    for (auto i = 0; i < n; i++) {
      //i はこのスコープ内で有効
      
    }
    //この時点で i は無効
    

    C++17ではif文とswitch文においても、for文との一貫性を持った初期化を記述できるようになった。

    if (status_code c = bar(); c != SUCCESS) {
      //ステータスコード c が成功ではなかったら、何かして、処理を終了する
      
      return c;
    } else {
      //ステータスコード c が成功だったら、何かして、処理を続行する
      
    }
    //この時点で c は無効
    
    switch (Foo gadget{args}; auto s = gadget.status()) {
    case OK:
      //正常
      gadget.zip();
      break;
    case Warn:
      //異常だが、続行
      gadget.log();
      break;
    case Bad:
      //異常なので、中断
      throw BadFoo(s.message());
    }
    //この時点で gadget, s は無効
    

    仕様

    詳細な文法は下記の通り。

    init-statement:
      expression-statement
      simple-declaration
    
    selection statement:
      if ( init-statement opt condition ) statement
      if ( init-statement opt condition ) statement else statement
      switch ( init-statement opt condition ) statement
    

    初期化init-statementは省略可能なため、従来のif文やswitch文の書き方も文法違反にはならない。

    この機能と、等しい意味を持つ従来記法は下記の通りである。

    初期化付きif文。

    //新しい
    if ( init-statement condition ) statement
    
    //従来
    {
      init-statement
      if ( condition ) statement
    }
    

    初期化付きif-else文。

    //新しい
    if ( init-statement condition ) statement else statement
    
    //従来
    {
      init-statement
      if ( condition ) statement else statement
    }
    

    初期化付きswitch文。

    //新しい
    switch ( init-statement condition ) statement
    
    //従来
    {
      init-statement
      switch ( condition ) statement
    }
    

    異常があれば関数を脱出する1行のif文がより短く記述できる。

    status_code foo() {
      int n = get_value();
    
      if (status_code c = bar(n); c != status_code::SUCCESS) { return c; }
      if (status_code c = do_more_stuff(); c != status_code::SUCCESS) { return c; }
    
      return status_code::SUCCESS;
    }
    

    また、ロックを取得してからリストにアクセスする場合なども短く記述できる。

    if (std::lock_guard<std::mutex> lock(mx); shared_flag) { unsafe_ping(); shared_flag = false; }
    

    出力

    この機能が必要になった背景・経緯

    変数の宣言あるいは初期化を行い、if文やswitch文のスコープ内だけで変数を使用するケースは多数あるにも関わらず、 if文やswitch文で行える宣言は限定的だった。 具体的には、単一かつ配列ではない変数しか宣言できず、その変数の初期値が条件になってしまうので、変数を宣言したうえで別の式を条件にすることはできなかった。

    // ポインターを受け取ってnullチェックをするパターンは、C++14まででもよく見かけた。
    // しかし、この条件を反転(nullptrのとき真)することさえ不可能であった。
    if (auto* p = get_some_object()) { ... } // pがnullptrでなければ真
    

    C++14まででも初期化付きの条件分岐と同様の意味を持つ記述は不可能ではないが、外側にスコープを追加する必要があり冗長な記述になっていた:

    status_code foo() {
      int n = get_value();
    
      {
        status_code c = bar(n);
        if (c != status_code::SUCCESS) { return c; }
      }
      {
        status_code c = do_more_stuff();
        if (c != status_code::SUCCESS) { return c; }
      }
    
      return status_code::SUCCESS;
    }
    

    見方を変えるとfor文で可能な初期化が、なぜかif文やswitch文ではできない、文法に一貫性がない問題と見ることもできる。

    検討されたほかの選択肢

    従来の機能を使う

    仕様で説明したようにこの機能を使わなくても、従来の機能を使って{ init; if (cond) E; }と書けば同じ効果を得られる。 しかし従来の記述が冗長である問題は解決しない。

    従来の記述を面倒に思い、時にプログラマは外側のスコープを省略して書いてしまう:

    //{ このカッコを省略してしまった
    auto it = m.find(10);
    if (it != m.end()) { return it->size(); }
    //} このカッコを省略してしまった
    
    // "it" は不要なのにここでも使えてしまう、すなわちリークしてしまう
    

    大抵はカッコを省略しても同じ効果を得られるし、変数がリークしても問題にならないが、オブジェクトの生存期間が大事な場合もある。 例えばミューテックスのロックがリークすると予測しづらいバグが発生しやすい。

    新しい記法を使えば、初期化に使用した変数のスコープはif文または switch文の内部に限定されるため、 変数の名前をつけるときに外側のスコープを意識して長い名前をつける必要がない利点もある。

    ライブラリを使う

    従来記法で同じ意味の記述が可能である以上、ライブラリによる実現は不可能ではないと思われる。 しかしコードが見づらくなる問題があるだろう。

    他言語の記法を取り入れる

    従来と異なる記法、例えば with (init) if (cond) E; のような記法を取り入れる方法も考えられる。 新しいキーワードの導入により過去のC++コードとの互換性に問題が生じる可能性があるし、 新しい概念を教えたり広めたりするコストが掛かる。さらにfor文と文法の一貫性を取れる機会が失われてしまう問題がある。

    関連項目

    参照