为何多数C++ try-catch示例的抛出函数均为void类型？

Great question! I’ve wondered this too when digging through C++ exception examples, and there are a few key reasons for this pattern—most of them boil down to keeping examples focused and simple, with some subtle language-related considerations thrown in.

1. 聚焦异常机制，剥离无关细节 #

The core goal of these examples is to teach how try-catch blocks work, how exceptions are thrown/propagated, or how throw; rethrows the current exception. Adding a return type would introduce extra boilerplate that distracts from the main lesson:

• If the function returned an int, you’d have to add a return statement for the non-exception path, and possibly handle returns in the catch block too.
• Using void lets readers zero in entirely on the exception flow without worrying about return values, error codes, or valid return states.

2. 避免返回值与异常的冗余冲突 #

In C++, non-void functions have strict rules around returns—even when exceptions are involved:

• If an exception is thrown before the function ends, no return is needed (since the exception terminates execution).
• But if you catch the exception and handle it, you must return a valid value of the function’s type.

For example, if function returned int, the code would need extra clutter:

int function(int a) {
    try {
        subfunction(a);
        return 0; // 必须添加正常路径的返回值
    } catch(...) {
        // 要么重新抛出，要么返回一个合法值
        throw;
    }
}

This extra code adds nothing to the lesson about exceptions—it just makes the example longer and harder to follow. void eliminates this requirement entirely.

3. 和C++特殊机制的关联？ #

While there’s no direct tie to the "three special mechanisms" you mentioned, there’s a subtle link to exception safety:

• If a function returns a complex object, you have to ensure the object is properly constructed even if an exception is thrown. This introduces RAII or other advanced exception-safe practices, which are way beyond the scope of a basic try-catch example.
• void functions avoid all these resource-management concerns, keeping the example focused on the fundamentals of exception handling.

Also, note that throw; (rethrowing the current exception) works identically regardless of the function’s return type—but using void makes the example cleaner because you don’t have to explain why a return value isn’t needed after rethrowing.

内容的提问来源于stack exchange，提问作者Alexander Stohr