和变量一样,函数也有链接性,虽然可选择的范围比变量小。和 C 语言一样,C++不允许在一个函数中定义另外一个函数,因此所有函数的存储持续性都自动为静态的,即在整个程序执行期间都一直存在。在默认情况下,函数的链接性为外部的,即可以在文件间共享。
实际上,可以在函数原型中使用关键字 extern 来指出函数是在另一个文作中定义的,不过这是可选的(要让程序在另一个文件中查找函数,该文件必须作为程序的组成部分被编译,或者是由链接程序搜索的库文件)。还可以使用关键字 static 将函数的链接性设置为内部的,使之只能在一个文件中使用。必须同时在原型和函数定义中使用该关键字:
static int private(double x);
...
static int private(double x]
{
}
这意味着该函数只在这个文件中可见,还意味着可以在其他文件中定义同名的的函数。和变量一样,在定义静态函数的文件中,静态函数将覆盖外部定义,因此即使在外部定义了同名的函数,该文件仍将使用静态函数。
单定义规则也适用于非内联函数,因此对于每个非内联函数,程序只能包含一个定义。对于链接性为外部的函数来说,这意味着在多文件程序中,只能有一个文件(该文件可能是库文件,而不是您提供的)包含该函数的定义,但使用该函数的每个文件都应包含其函数原型。
内联函数不受这项规则的约束,这允许程序员能够将内联函数的定义放在头文件中。这样,包含了头文件的每个文件都有内联函数的定义。然而,C++要求同一个函数的所有内联定义都必须相同。
C++在哪里查找函数?
假设在程序的某个文件中调用一个函数,C++将到哪里去寻找该函数的定义呢?如果该文件中的函数原型指出该函数是静态的,则编译器将只在该文件中查找函数定义;否则,编译器(包括链接程序)将在所有的程序文件中查找。如果找到两个定义,编译器将发出错误消息,因为每个外部函数只能有一个定义。如果在程序文件中没有找到,编译器将在库中搜索。这意味着如果定义了一个与库函数同名的函数,编译器将使用程序员定义的版本,而不是库函数(然而,C++保留了标准库函数的名称,即程序员不应使用它们)。有些编译器-链接程序要求显式地指出要搜索哪些库。
示例源码:
// Len2024_010101.cpp : 此文件包含 "main" 函数。程序执行将在此处开始并结束。
//
#include <iostream>
using namespace std;
template <typename T>
static void Swap(T & a, T & b)
{
T temp;
temp = a;
a = b;
b = temp;
}
template <typename T>
void Use(T& a, T& b)
{
Swap(a, b);
}
template <typename T>
static void Use_static(T& a, T& b)
{
Swap(a, b);
}
int main()
{
int i = 10;
int j = 20;
cout << "i, j = " << i << ", " << j << "\n";
cout << "调用 Use(...)\n";
Use(i, j);
cout << "Now i,j = " << i << ", " << j << "\n\n";
double x = 24.5;
double y = 81.7;
cout << "x, y = " << x <<", " << y << "\n";
cout << "调用 Use_Comon(...)\n";
Use_static(x, y);
cout << "Now x, y=" << x << ", " << y << "\n";
return 0;
}
执行结果: