什么是不归路？

[dcl.attr.noreturn]提供以下示例：

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

但我不明白这是什么意思[[noreturn]]，因为该函数的返回类型已经存在void。

那么，该noreturn属性的意义是什么？应该如何使用？

noreturn属性应该用于不返回到调用方的函数。这并不意味着void函数（确实会返回调用者-它们只是不返​​回值），而是函数完成后控制流不会返回到调用函数的函数（例如，退出应用程序的函数，永久循环或抛出异常，如您的示例所示）。

编译器可以使用它进行一些优化并生成更好的警告。例如，如果f具有noreturn属性，则编译器可能会g()在您编写时警告您代码已死f(); g();。同样，编译器会知道在调用后不会警告您关于缺少return语句的警告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）。将其视为“宇宙”集合；世界上所有值都没有通用的运算，因此对type值没有有效的运算void。换句话说，告诉您某物属于Universe集不会给您任何信息-您已经知道了。所以以下是声音：

(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和是的逻辑等效假。它根本没有值，并且该类型的表达式可以强制转换为任何类型（即为该类型的子类型）。这是空集。请注意，如果有人告诉您“表达式foo（）的值属于空集”，则它的信息量很高 -它告诉您该表达式将永远无法完成其正常执行；它会中止，抛出或挂起。与完全相反void。

因此以下内容没有任何意义（伪C ++，因为noreturn它不是一流的C ++类型）

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 ]]属性，该属性有助于指导编译器优化和警告。