У чому сенс норетурну?

[dcl.attr.noreturn] надає такий приклад:

[[ noreturn ]] void f() {
    throw "error";
    // OK
}

але я не розумію, в чому сенс [[noreturn]], тому що тип повернення функції вже є void.

Отже, в чому сенс noreturnатрибута? Як це слід використовувати?

Атрибут noreturn повинен використовуватися для функцій, які не повертаються до абонента. Це не означає недійсні функції (які повертаються до абонента - вони просто не повертають значення), а функції, де потік управління не повернеться до функції виклику після завершення функції (наприклад, функції, які виходять із програми, циклічно назавжди або кидайте винятки, як у вашому прикладі).

Це можуть використовувати компілятори, щоб зробити деякі оптимізації та генерувати кращі попередження. Наприклад, якщо fмає атрибут noreturn, компілятор може попередити вас про g()мертвий код під час написання f(); g();. Точно так же компілятор буде знати , щоб не попередити вас про пропущений повернення заяв після дзвінків f().

noreturnне повідомляє компілятору, що функція не повертає жодного значення. Він повідомляє компілятору, що потік управління не повернеться до абонента . Це дозволяє компілятору здійснювати різноманітні оптимізації - йому не потрібно зберігати та відновлювати будь-який мінливий стан навколо виклику, він може мертвим кодом усунути будь-який код, який інакше слід за викликом тощо.

Це означає, що функція не буде завершена. Керуючий потік ніколи не звернеться до заяви після виклику f():

void g() {
   f();
   // unreachable:
   std::cout << "No! That's impossible" << std::endl;
}

Інформація може використовуватися компілятором / оптимізатором різними способами. Компілятор може додати попередження про те, що наведений вище код недоступний, і він може змінювати фактичний код g()по-різному, наприклад, підтримуючи продовження.

Попередні відповіді правильно пояснювали, що таке норетурн, але не чому він існує. Я не думаю, що коментарі "оптимізації" є основною метою: Функції, які не повертаються, є рідкісними і зазвичай не потребують оптимізації. Швидше, я думаю, що головним причиною норетурну є уникнення помилково-позитивних попереджень. Наприклад, врахуйте цей код:

int f(bool b){
    if (b) {
        return 7;
    } else {
        abort();
    }
 }

Якби abort () не був позначений "noreturn", компілятор, можливо, попередив би про те, що цей код має шлях, де f не повертає ціле число, як очікувалося. Але оскільки позначено abort () немає повернення, він знає, що код правильний.

Теоретично кажучи, voidце те, що називається іншими мовамиunit або top. Його логічний еквівалент - True . Будь-яке значення може бути законно передано void(кожен тип є підтипом void). Подумайте про це як про "Всесвіт"; немає жодних операцій, спільних для всіх значень у світі, тому немає дійсних операцій зі значенням типу void. По-іншому, кажучи вам, що щось належить до набору Всесвіту, ви не має жодної інформації - ви це вже знаєте. Отже, звук наступний:

(void)5;
(void)foo(17); // whatever foo(17) does

Але призначення нижче:

void raise();
void f(int y) {
    int x = y!=0 ? 100/y : raise(); // raise() returns void, so what should x be?
    cout << x << endl;
}

[[noreturn]]з іншого боку, називається іноді empty , Nothing, Bottomабо Botі є логічним еквівалентом False . Він взагалі не має значень, і вираз цього типу може бути передано (тобто є підтипом) будь-якого типу. Це порожній набір. Зауважте, що якщо хтось скаже вам, що "значення виразу foo () належить порожньому набору", воно є дуже інформативним - воно говорить вам про те, що цей вираз ніколи не завершить його нормальне виконання; вона перерве, кине або повісить. Це якраз навпаки void.

Отже, наступне не має сенсу (псевдо-С ++, оскільки noreturnне є першокласним типом С ++)

void foo();
(noreturn)5; // obviously a lie; the expression 5 does "return"
(noreturn)foo(); // foo() returns void, and therefore returns

Але завдання нижче є цілком законним, оскільки throwкомпілятор розуміє, що він не повертається:

void f(int y) {
    int x = y!=0 ? 100/y : throw exception();
    cout << x << endl;
}

У ідеальному світі ви можете використати noreturnяк повернене значення для функції, raise()наведеної вище:

noreturn raise() { throw exception(); }
...
int x = y!=0 ? 100/y : raise();

На жаль, C ++ цього не дозволяє, можливо, з практичних причин. Натомість це дає вам можливість використовувати [[ noreturn ]]атрибут, який допомагає керувати оптимізаціями та попередженнями компілятора.