目录
函数作为程序的基本组成单元，在 C 和 C++ 中既有相似之处，也存在诸多不同。深入理解这些差异，对于高效地编写 C++ 程序，以及从 C 语言过渡到 C++ 编程都具有重要意义。
一、函数定义与声明
1.1 函数原型与编译检查
C语言要求函数在使用前必须声明，但允许隐式声明：
/* C语言合法但危险 */
int main() {
printf("Hello"); // 隐式声明为int printf()
return 0;
}C++严格执行函数原型检查：
// C++必须显式声明
#include <cstdio>
int main() {
std::printf("Hello"); // 需要包含头文件
return 0;
}1.2 函数重载
在 C 语言中，函数名是唯一标识一个函数的关键。如果定义了两个同名函数，编译器会报错，因为它无法区分这两个函数。例如：
// C语言中不允许函数重载
int add(int a, int b) {
return a + b;
}
// 以下代码在C语言中会导致编译错误
// int add(int a, int b, int c) {
// return a + b + c;
// }C++ 则支持函数重载，即可以定义多个同名函数，但它们的参数列表（参数个数、类型或顺序）必须不同。编译器会根据调用函数时提供的参数来选择合适的函数版本。例如：
// C++中的函数重载
int add(int a, int b) {
return a + b;
}
int add(int a, int b, int c) {
return a + b + c;
}
double add(double a, double b) {
return a + b;
}通过函数重载，C++ 可以为不同类型或不同数量参数的操作提供统一的函数接口，增强了代码的可读性和可维护性。比如在一个图形绘制库中，可以定义多个draw函数，分别用于绘制不同类型的图形，如draw(Circle circle)、draw(Rectangle rectangle)等。
1.3 默认参数
C 语言不支持默认参数。在函数调用时，必须为每个参数提供值。例如：
// C语言函数定义，无默认参数
void printInfo(char* name, int age, char* city) {
printf("Name: %s, Age: %d, City: %s\n", name, age, city);
}调用时必须提供所有参数：
char name[] = "John";
int age = 30;
char city[] = "New York";
printInfo(name, age, city);C++ 允许为函数参数设置默认值。如果在调用函数时没有为这些参数提供值，编译器会自动使用默认值。例如：
// C++函数定义，带有默认参数
void printInfo(char* name, int age = 18, char* city = "Unknown") {
std::cout << "Name: " << name << ", Age: " << age << ", City: " << city << std::endl;
}调用时可以省略部分参数：
char name[] = "Alice";
printInfo(name); // 使用默认的age和city
printInfo(name, 25); // 使用默认的city默认参数使得函数调用更加灵活，减少了不必要的重载函数数量。例如在一个文件读取函数中，可以为文件名、打开模式等参数设置默认值，方便用户在大多数常见情况下的调用。
1.4 函数声明位置与链接规范
在 C 语言中，函数声明通常放在源文件的开头，或者在调用函数之前声明。函数声明的作用是向编译器告知函数的名称、参数类型和返回类型，以便编译器在编译调用函数的代码时进行类型检查。例如：
// C语言函数声明
int add(int a, int b);
int main() {
int result = add(3, 5);
return 0;
}
int add(int a, int b) {
return a + b;
}C 语言函数遵循外部链接规范，即在不同的源文件中，如果定义了同名函数，链接器会报错，因为它无法确定应该使用哪个函数。
在 C++ 中，函数声明同样重要，并且可以放在头文件中，以便多个源文件共享函数声明。此外，C++ 引入了内联函数和模板函数等概念，它们的声明和定义有一些特殊规则。
内联函数在声明时使用inline关键字，其目的是为了提高函数调用的效率，减少函数调用的开销。编译器会尝试将内联函数的代码直接嵌入到调用处，而不是进行常规的函数调用。例如：
// C++内联函数声明与定义
inline int square(int num) {
return num * num;
}模板函数的声明和定义通常放在头文件中，因为模板函数在编译时会根据实际使用的类型进行实例化。例如：
// C++模板函数声明与定义
template <typename T>
T max(T a, T b) {
return a > b? a : b;
}C++ 函数的链接规范更加复杂，除了外部链接，还支持内部链接（使用static关键字修饰函数）和extern "C"链接规范，用于与 C 语言代码进行混合编程。例如：
// 使用extern "C"与C语言代码混合编程
extern "C" {
int cFunction(int a, int b);
}这在一些需要与 C 语言库进行交互的项目中非常有用，可以确保 C++ 代码能够正确调用 C 语言函数。
二、函数参数传递
2.1 值传递
在 C 和 C++ 中，值传递都是将实参的值复制一份传递给形参。在函数内部对形参的修改不会影响实参的值。例如：
// C语言值传递示例
void swap(int a, int b) {
int temp = a;
a = b;
b = temp;
}// C++值传递示例
void swap(int a, int b) {
int temp = a;
a = b;
b = temp;
}在上述例子中，调用swap函数后，实参的值并不会改变。这是因为值传递过程中，函数内部操作的是实参的副本，而不是实参本身。
2.2 指针传递
C 和 C++ 都支持指针传递，通过传递指针，函数可以直接操作实参所指向的内存空间。例如：
// C语言指针传递示例
void swap(int* a, int* b) {
int temp = *a;
*a = *b;
*b = temp;
}// C++指针传递示例
void swap(int* a, int* b) {
int temp = *a;
*a = *b;
*b = temp;
}在 C++ 中，指针传递与 C 语言基本相同，但 C++ 更强调类型安全，对于指针的使用有更严格的类型检查。例如，在 C++ 中不能将一个指向int的指针直接赋值给一个指向double的指针，而在 C 语言中可能会发生隐式类型转换（虽然这可能会导致运行时错误）。
2.3 引用传递
C 语言没有引用类型，而 C++ 引入了引用。引用是对象的别名，通过引用传递参数，函数可以直接操作实参，就像操作实参本身一样。例如：
// C++引用传递示例
void swap(int& a, int& b) {
int temp = a;
a = b;
b = temp;
}引用传递在 C++ 中非常常用，特别是在传递大型对象时，可以避免值传递带来的对象拷贝开销。例如，传递一个包含大量数据的结构体或类对象时，使用引用传递可以显著提高性能。同时，引用传递也使得代码更加简洁和直观，因为不需要像指针传递那样使用*和&运算符来解引用和取地址。
三、函数返回值
3.1 基本类型返回值
在 C 和 C++ 中，函数返回基本类型（如int、float、char等）的方式基本相同。函数定义时指定返回类型，在函数体中使用return语句返回相应类型的值。例如：
// C语言返回基本类型示例
int add(int a, int b) {
return a + b;
}
// C++返回基本类型示例
int add(int a, int b) {
return a + b;
}3.2 数组返回值
在 C 语言中，函数不能直接返回数组，但可以返回指向数组的指针。由于数组在函数参数传递和返回时会退化为指针，所以需要注意内存管理问题。例如：
// C语言返回指向数组的指针示例
int* createArray(int size) {
int* arr = (int*)malloc(size * sizeof(int));
for (int i = 0; i < size; i++) {
arr[i] = i;
}
return arr;
}调用者需要负责释放返回的数组内存，否则会导致内存泄漏。
在 C++ 中，虽然也不能直接返回数组，但可以使用std::vector或其他容器来代替数组，避免了手动内存管理的麻烦。例如：
// C++使用std::vector返回数组-like数据示例
#include <vector>
std::vector<int> createArray(int size) {
std::vector<int> arr(size);
for (int i = 0; i < size; i++) {
arr[i] = i;
}
return arr;
}std::vector会自动管理内存，在对象生命周期结束时自动释放内存，大大提高了代码的安全性和可维护性。
3.3 类对象返回值
C 语言没有类的概念，而 C++ 中函数可以返回类对象。在返回类对象时，C++ 会调用对象的拷贝构造函数（如果没有进行优化，如返回值优化 - RVO）。例如：
// C++返回类对象示例
class Point {
public:
int x;
int y;
Point(int a, int b) : x(a), y(b) {}
Point(const Point& other) : x(other.x), y(other.y) {
std::cout << "Copy constructor called" << std::cout;
}
};
Point createPoint() {
return Point(1, 2);
}createPoint函数返回一个Point对象。如果编译器支持返回值优化，那么在返回对象时不会真正调用拷贝构造函数，而是直接在调用者的栈空间中构造对象，提高了效率。
四、函数与面向对象编程（C++ 特有的概念）
4.1 成员函数
C++ 中的类可以包含成员函数，成员函数可以访问类的私有和保护成员。成员函数的定义可以在类定义内部（此时函数自动成为内联函数），也可以在类定义外部。例如：
// C++类的成员函数示例
class Circle {
private:
double radius;
public:
Circle(double r) : radius(r) {}
double getArea() {
return 3.14 * radius * radius;
}
};getArea是Circle类的成员函数，它可以直接访问radius私有成员。成员函数使得数据和操作数据的方法紧密结合，体现了面向对象编程的封装性。
4.2 构造函数与析构函数
构造函数是一种特殊的成员函数，用于在创建对象时初始化对象的成员变量。析构函数则在对象销毁时执行清理工作，如释放对象占用的动态内存。C 语言没有构造函数和析构函数的概念。例如：
// C++构造函数与析构函数示例
class Resource {
private:
int* data;
public:
Resource(int size) {
data = new int[size];
for (int i = 0; i < size; i++) {
data[i] = i;
}
}
~Resource() {
delete[] data;
}
};Resource类的构造函数分配了一块动态内存，析构函数在对象销毁时释放这块内存，确保了内存的正确管理，防止内存泄漏。
4.3 虚函数与多态
C++ 通过虚函数实现多态性。当一个函数被声明为虚函数时，在派生类中可以重写该函数，并且在通过基类指针或引用调用该函数时，会根据对象的实际类型来调用相应的函数版本。例如：
// C++虚函数与多态示例
class Shape {
public:
virtual void draw() {
std::cout << "Drawing a shape" << std::endl;
}
};
class Circle : public Shape {
public:
void draw() override {
std::cout << "Drawing a circle" << std::endl;
}
};
class Rectangle : public Shape {
public:
void draw() override {
std::cout << "Drawing a rectangle" << std::endl;
}
};
void drawShape(Shape& shape) {
shape.draw();
}drawShape函数接受一个Shape类的引用，通过这个引用调用draw函数时，会根据实际传入的对象类型（Circle或Rectangle）来调用相应的draw函数版本，实现了多态性。在设计灵活、可扩展的软件系统中非常重要，例如在图形绘制系统中，可以通过基类指针或引用操作不同类型的图形对象，而不需要为每种图形类型编写大量重复的代码。
五、函数模板（C++ 特有的概念）
5.1 函数模板基础
C++ 的函数模板允许编写通用的函数，这些函数可以处理不同类型的数据，而不需要为每种类型都编写一个单独的函数。函数模板的定义使用template关键字，后跟一个模板参数列表。例如：
// C++函数模板示例
template <typename T>
T max(T a, T b) {
return a > b? a : b;
}max函数模板可以比较任意类型的两个值，只要该类型支持>运算符。在调用函数模板时，编译器会根据实际传入的参数类型来实例化函数。例如：
int intResult = max(3, 5);
double doubleResult = max(3.5, 5.5);编译器会根据传入的int和double类型分别实例化max函数，生成对应的函数版本。
5.2 模板特化
有时候，对于某些特定类型，函数模板的通用实现可能并不适用，这时可以使用模板特化。模板特化是为特定类型提供专门的函数模板实现。例如：
// C++函数模板特化示例
template <>
bool max<bool>(bool a, bool b) {
return a && b;
}为bool类型特化了max函数模板，实现了与通用版本不同的逻辑。模板特化使得函数模板在保持通用性的同时，能够针对特定类型进行优化和定制。
5.3 模板参数推导
C++ 编译器可以根据函数调用时提供的参数类型自动推导模板参数。例如：
// C++模板参数推导示例
template <typename T>
T add(T a, T b) {
return a + b;
}
int result = add(2, 3); // 编译器自动推导T为int
double dResult = add(2.5, 3.5); // 编译器自动推导T为double模板参数推导大大简化了函数模板的使用，使得代码更加简洁和易读。
六、总结
通过对 C++ 和 C 语言在函数方面不同点的详细总结梳理，可以看出 C++ 在函数功能上对 C 语言进行了多方面的扩展和增强。函数重载、默认参数、引用传递、类对象返回值、面向对象编程中的成员函数、构造函数、析构函数、虚函数以及函数模板等特性，使得 C++ 在编程表达能力、代码可读性、可维护性和可扩展性方面都有了显著提升。在实际编程中，根据具体的需求选择合适的函数特性，能够充分发挥 C++ 语言的优势，提高编程效率和代码质量。无论是进行系统开发、应用程序开发还是算法实现，深入理解 C++ 函数的这些特性都是至关重要的。
七、参考资料
- 《C++ Primer（第 5 版）》这本书是 C++ 领域的经典之作，对 C++ 的基础语法和高级特性都有深入讲解。
- 《Effective C++（第 3 版）》书中包含了很多 C++ 编程的实用建议和最佳实践。
- 《C++ Templates: The Complete Guide（第 2 版）》该书聚焦于 C++ 模板编程，而
using声明在模板编程中有着重要应用，如定义模板类型别名等。 - C++ 官方标准文档：C++ 标准文档是最权威的参考资料，可以查阅最新的 C++ 标准（如 C++11、C++14、C++17、C++20 等）文档。例如，ISO/IEC 14882:2020 是 C++20 标准的文档，可从相关渠道获取其详细内容。
- cppreference.com：这是一个非常全面的 C++ 在线参考网站，提供了详细的 C++ 语言和标准库文档。
- LearnCpp.com：该网站提供了系统的 C++ 教程，配有丰富的示例代码和清晰的解释，适合初学者学习和理解相关知识。
扫一扫
985
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
