Визначення змінної в частині умови оператора if?

Я був просто вражений тим, що це дозволено:

if( int* x = new int( 20 ) )
{
    std::cout << *x << "!\n";
    // delete x;
}
else
{
    std::cout << *x << "!!!\n";
    // delete x;
}
// std:cout << *x; // error - x is not defined in this scope

Отже, чи дозволено це стандартом, чи це просто розширення компілятора?

_{PS Оскільки з цього приводу було декілька коментарів, будь ласка, проігноруйте, що цей приклад є "поганим" або небезпечним. Я знаю що. Це лише перше, що мені спало на думку, як приклад.}

Це дозволено специфікацією, оскільки C ++ 98.

З розділу 6.4 "Заяви про відбір":

Ім'я, введене декларацією в умові (або введеною типом-специфікатором-seq, або декларатором умови), перебуває в області дії від моменту декларації до кінця підзакладів, контрольованих умовою.

Наступний приклад з того самого розділу:

if (int x = f()) {
    int x;    // ill-formed, redeclaration of x
}
else {
    int x;    // ill-formed, redeclaration of x
}

Насправді це не відповідь (але коментарі не дуже підходять для зразків коду), більше причин, чому це неймовірно зручно:

if (int* x = f()) {
    std::cout << *x << "\n";
}

Всякий раз, коли API повертає тип "option" (який також має булеве перетворення), цей тип конструкції може бути використаний таким чином, що змінна доступна лише в контексті, де розумно використовувати її значення. Це справді потужна ідіома.

Це стандарт, навіть у старій версії мови C ++ 98:

Визначення змінної в умовній частині while, ifі switchзаяви є стандартними. Відповідний пункт - 6.4 [stmt.select], параграф 1, який визначає синтаксис умови.

До речі, ваше використання є безглуздим: якщо newне вдається, це видає std::bad_allocвиняток.

Ось приклад, що демонструє нетипове використання змінної, оголошеної в умові if .

Тип змінної - int &це як конвертована булева, так і придатна для використання у тодішніх та інших гілках.

#include <string>
#include <map>
#include <vector>
using namespace std;

vector<string> names {"john", "john", "jack", "john", "jack"};
names.push_back("bill"); // without this push_back, my g++ generated exe fails :-(
map<string, int> ages;
int babies = 0;
for (const auto & name : names) {
    if (int & age = ages[name]) {
        cout << name << " is already " << age++ << " year-old" << endl;
    } else {
        cout << name << " was just born as baby #" << ++babies << endl;
        ++age;
    }
}

вихід є

john was just born as baby #1
john is already 1 year-old
jack was just born as baby #2
john is already 2 year-old
jack is already 1 year-old
bill was just born as baby #3

На жаль, змінна в умові може бути оголошена лише із синтаксисом декларації '='.

Це виключає інші, можливо, корисні випадки типів з явним конструктором.

Наприклад, наступний приклад використання std::ifstreamкомпіляції не буде ...

if (std::ifstream is ("c:/tmp/input1.txt")) { // won't compile!
    std::cout << "true: " << is.rdbuf();
} else {
    is.open("c:/tmp/input2.txt");
    std::cout << "false: " << is.rdbuf();
}

Відредаговано в січні 2019 року ... тепер ви можете наслідувати те, що, як я пояснив, неможливо зробити ...

Це працює для рухомих класів, таких як ifstream в C ++ 11, і навіть для непридатних для копіювання класів, починаючи з C ++ 17 з копією elision.

Відредаговано в травні 2019: використовуйте авто для полегшення багатослівності

{
    if (auto is = std::ifstream ("missing.txt")) { // ok now !
        std::cout << "true: " << is.rdbuf();
    } else {
        is.open("main.cpp");
        std::cout << "false: " << is.rdbuf();
    }
}
struct NoCpy {
    int i;
    int j;
    NoCpy(int ii = 0, int jj = 0) : i (ii), j (jj) {}
    NoCpy(NoCpy&) = delete;
    NoCpy(NoCpy&&) = delete;
    operator bool() const {return i == j;}
    friend std::ostream & operator << (std::ostream & os, const NoCpy & x) {
        return os << "(" << x.i << ", " << x.j << ")";
    }
};
{
    auto x = NoCpy(); // ok compiles
    // auto y = x; // does not compile
    if (auto nocpy = NoCpy (7, 8)) {
        std::cout << "true: " << nocpy << std::endl;
    } else {
        std::cout << "false: " << nocpy << std::endl;
    }
}