使用异常和泛型编程可以提升 c++ 函数的代码复用性。异常处理用于报告错误，泛型编程则支持函数和类以与数据类型无关的方式运行。例如，read_file() 函数可读取文件数据，若文件不存在，抛出 std::file_not_found 异常。泛型 validate_input() 函数验证输入范围，若无效，抛出 std::range_error 异常。实战中，泛型 read_data() 函数使用异常处理从文件中读取数据，若文件未找到，抛出 std::file_not_found 异常。
C++ 函数异常与泛型编程：提升代码复用性的利器
引言
异常处理是 C++ 中处理错误和不寻常情况的强有力机制。将其与泛型编程相结合，可以显著提高代码的可重用性和可靠性。本文将探讨如何通过使用异常和泛型编程来设计健壮而可扩展的函数。
异常处理基础
立即学习“C++免费学习笔记（深入）”；
异常是在运行时抛出的对象，用于通知函数遇到意想不到的情况。C++ 定义了一个 std::exception 类作为所有其他异常类的基类。要抛出异常，可以使用 throw 关键字，后面跟着异常对象。要处理异常，可以使用 try-catch 块。
使用异常进行错误处理
异常在错误处理中非常有用。通过抛出有关错误的异常，函数可以向调用者传递错误条件而不中断程序流程。例如，考虑一个 read_file() 函数，该函数试图打开文件并从中读取数据。如果文件不存在或无法打开，函数可以抛出一个 std::file_not_found 异常。
void read_file(const std::string& filename) {
std::ifstream file(filename);
if (!file.is_open()) {
throw std::file_not_found("File not found: " + filename);
}
// ...
}泛型编程基础
泛型编程是使用类型参数编写代码的技术。这允许函数和类以与数据类型无关的方式工作。C++ 使用模板来实现泛型编程。例如，一个 max() 函数可以比较任何类型的两个值并返回最大值。
templateT max(T a, T b) { return (a > b) ? a : b; }
将异常和泛型编程相结合
异常处理和泛型编程可以很好地结合在一起，以创建健壮的可重用函数。泛型函数可以处理不同类型的数据，而异常则允许函数在遇到错误时优雅地失败。
例如，考虑一个 validate_input() 函数，该函数验证用户输入是否在特定范围内。该函数可以泛型化以处理任何类型的数据，并且在输入无效时抛出异常。
templatevoid validate_input(T input, T min, T max) { if (input < min || input > max) { throw std::out_of_range("Input out of range: " + std::to_string(input)); } // ... }
实战案例
在以下代码片段中，我们将一个泛型 read_data() 函数与异常处理结合起来，从文件中读取任意类型的数据。该函数使用泛型输入流 std::ifstream 来读取文件，并且在打开文件时抛出一个异常。
templatestd::vector read_data(const std::string& filename) { std::ifstream file(filename); if (!file.is_open()) { throw std::file_not_found("File not found: " + filename); } std::vector data; T item; while (file >> item) { data.push_back(item); } return data; } int main() { try { std::vector data = read_data ("data.txt"); // ... } catch (const std::file_not_found& e) { std::cerr << "Error: " << e.what() << std::endl; } }
结论
C++ 中的异常处理和泛型编程是强大的工具，可以显著提高代码的可重用性和可靠性。通过将这两项技术相结合，可以编写健壮且可扩展的函数，以处理各种错误条件并有效地与任何类型的数据一起工作。
