C++ 预定义属性[[noreturn]]

#include <iostream>

/*
预定义通用属性[[noreturn]]和[[carries_dependency]]
[[noreturn]]用于标识不会返回的函数(在被调用后完成后，后续的代码不会再被执行)

[[carries_dependency]]用在原子操作时，若是强指令顺序，可以不需要添加该属性，
在弱指令顺序时，若想按照强指令顺序执行需要加上内存栅栏，原子类型存在在函数参数、函数返回值
添加该属性，则就不需要添加内存栅栏来保持执行顺序了(用在弱指令平台又要保证执行顺序可以使用)

*/

[[noreturn]] void Func() {
    std::cout<<"Func():noreturn"<<std::endl;
    throw "noreturn";
}

void Test(){
    
    Func();
    
    std::cout<<"should not be execute here";
}
// 不返回函数除了抛出异常函数外还有终止应用程序语句的函数或无限循环语句函数
// abort总是导致程序运行停止，连自动变量的析构函数、atexit()时本该调用的函数
// 全都不调用就直接退出了
[[noreturn]] void abort() noexcept;
[[noreturn]] void InfinityLoop(){while(1){}}

// 不要对有可能出现返回值函数使用[[noreturn]]属性

[[noreturn]] void HasReturnValue(int i = 0){
    if (i>0) throw "i";
    else if (i<0) throw "i";
}

void Test1()
{
    HasReturnValue();
}
int main()
{
    Test();
    
    return 0;
}