C/C++ 函数和链接性

        和变量一样，函数也有链接性，虽然可选择的范围比变量小。和 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;

}

 执行结果：