C++多继承场景下，如何从第一个基类安全获取第二个基类？

我编写程序时需要在同一代码块中处理多种错误。客户端返回的错误类均继承自两个已知基类，仅类名存在差异，需分别处理状态码为4xx和5xx的错误。我计划捕获其中一个基类后获取另一个基类，请问实现这一操作的最安全方式是什么？

// begin of external library
class ExceptionWithStatusCode : public std::exception {
    int status_code;
};

struct Details {};
class ErrorResponseModel {
    Details details;
};

class Response400 : public ExceptionWithStatusCode, ErrorResponseModel {};
class Response401 : public ExceptionWithStatusCode, ErrorResponseModel {};
class Response500 : public ExceptionWithStatusCode, ErrorResponseModel {};
class Response501 : public ExceptionWithStatusCode, ErrorResponseModel {};
// end of external library

int main()
{
    try {
        do_request();
    } catch (const ExceptionWithStatusCode& ex) {
        if (ex.status_code < 500) {
            // handle 4xx using ErrorResponseModel::details
        } else {
            // handle 5xx using ErrorResponseModel::details
        }
    }
    
    return 0;
}

最安全的实现方案：使用dynamic_cast #

由于所有错误类都同时继承了ExceptionWithStatusCode和ErrorResponseModel，在捕获ExceptionWithStatusCode的引用后，通过dynamic_cast可以在运行时安全检查转换合法性，避免非法类型转换导致的未定义行为。

修改后的代码示例：

// begin of external library
class ExceptionWithStatusCode : public std::exception {
public: // 需公开成员或提供getter，否则外部无法访问status_code
    int status_code;
};

struct Details {};
class ErrorResponseModel {
public: // 需公开成员或提供getter，否则外部无法访问details
    Details details;
};

class Response400 : public ExceptionWithStatusCode, ErrorResponseModel {};
class Response401 : public ExceptionWithStatusCode, ErrorResponseModel {};
class Response500 : public ExceptionWithStatusCode, ErrorResponseModel {};
class Response501 : public ExceptionWithStatusCode, ErrorResponseModel {};
// end of external library

void do_request() {
    // 模拟抛出异常
    throw Response400{};
}

int main()
{
    try {
        do_request();
    } catch (const ExceptionWithStatusCode& ex) {
        // 安全转换到ErrorResponseModel
        const auto* error_model = dynamic_cast<const ErrorResponseModel*>(&ex);
        
        if (error_model) { // 转换成功才进行后续处理
            if (ex.status_code < 500) {
                // 处理4xx错误，使用error_model->details
            } else {
                // 处理5xx错误，使用error_model->details
            }
        }
    }
    
    return 0;
}

关键说明 #

• 为何不使用static_cast？
  static_cast是编译时转换，不会验证实际类型是否合法。如果后续库中新增仅继承ExceptionWithStatusCode的异常类，static_cast会直接强制转换，导致未定义行为；而dynamic_cast会返回nullptr，让你可以安全处理这种边界情况。
• 关于成员访问权限
  原代码中status_code和details均为私有成员，实际使用时需将其改为公有，或添加对应的getter方法（如int get_status_code() const、const Details& get_details() const），否则无法在外部访问这些成员。

内容的提问来源于stack exchange，提问作者Trifochkin Semyon