什么是C中的“静态”功能？

问题是关于普通的c函数，而不是注释中阐明的c ++ static方法。

我了解什么是static变量，但是什么是static函数？

而且为什么要声明一个函数，比如说void print_matrix ，比如说ac （WITHOUT ah ）并包含"ac" -我得到的是"print_matrix@@....) already defined in a.obj" ，但是如果我将其声明为static void print_matrix则可以编译吗？

更新只是为了澄清问题-正如许多人所指出的那样，我知道包含.c是不好的。 我只是这样做是为了临时清除main.c空间，直到我对如何将所有这些功能分组到正确的.h和.c文件中有了更好的了解。 只是一个临时的快速解决方案。

---

#1楼

以下是有关普通C函数的信息-在C ++类中，修饰语“静态”具有另一种含义。

如果只有一个文件，则此修饰符绝对没有区别。 区别在于具有多个文件的较大项目：

在C语言中，每个“模块”（sample.c和sample.h的组合）都是独立编译的，此后，每个已编译的目标文件（sample.o）都由链接器链接到一个可执行文件。

假设您有几个文件包含在主文件中，其中两个文件具有仅在内部为方便起见使用的函数，称为add(int a, b) -编译器可以轻松地为这两个模块创建目标文件，但是链接器将引发错误，因为它会找到两个具有相同名称的函数，并且不知道应使用哪个函数（即使没有任何链接，因为它们不在其他地方使用，而是在自己的文件中使用）。

这就是为什么要使此函数仅在内部使用的静态函数。 在这种情况下，编译器不会为链接程序创建典型的“您可以链接此内容”标志，以便链接程序看不到此功能，并且不会产生错误。

---

#2楼

最小的可运行多文件作用域示例

在这里，我说明了static如何影响多个文件中函数定义的范围。

交流电

#include <stdio.h>

/* Undefined behavior: already defined in main.
 * Binutils 2.24 gives an error and refuses to link.
 * https://stackoverflow.com/questions/27667277/why-does-borland-compile-with-multiple-definitions-of-same-object-in-different-c
 */
/*void f() { puts("a f"); }*/

/* OK: only declared, not defined. Will use the one in main. */
void f(void);

/* OK: only visible to this file. */
static void sf() { puts("a sf"); }

void a() {
    f();
    sf();
}

main.c

#include <stdio.h>

void a(void);        

void f() { puts("main f"); }

static void sf() { puts("main sf"); }

void m() {
    f();
    sf();
}

int main() {
    m();
    a();
    return 0;
}

GitHub上游 。

编译并运行：

gcc -c a.c -o a.o
gcc -c main.c -o main.o
gcc -o main main.o a.o
./main

输出：

main f
main sf
main f
a sf

解释

• 有两个独立的功能sf ，每个文件一个
• 有一个共享功能f

通常，范围越小越好，因此，如果可以，请始终将函数声明为static 。

在C编程中，文件通常用于表示“类”，而static函数则表示类的“私有”方法。

常见的C模式是将this结构作为第一个“方法”参数传递，这基本上是C ++在后台执行的操作。

标准怎么说

C99 N1256草案 6.7.1“存储类说明符”说， static是“存储类说明符”。

6.2.2 / 3“标识符的链接”表示static表示internal linkage ：

如果对象或函数的文件作用域标识符的声明包含静态的存储类说明符，则该标识符具有内部链接。

6.2.2 / 2说internal linkage行为类似于我们的示例：

在构成整个程序的一组翻译单元和库中，带有外部链接的特定标识符的每个声明表示相同的对象或功能。 在一个翻译单元中，带有内部链接的标识符的每个声明都表示相同的对象或功能。

其中“翻译单元”是经过预处理的源文件。

GCC如何为ELF（Linux）实施它？

与STB_LOCAL绑定。

如果我们编译：

int f() { return 0; }
static int sf() { return 0; }

并使用以下命令反汇编符号表：

readelf -s main.o

输出包含：

Num:    Value          Size Type    Bind   Vis      Ndx Name
  5: 000000000000000b    11 FUNC    LOCAL  DEFAULT    1 sf
  9: 0000000000000000    11 FUNC    GLOBAL DEFAULT    1 f

因此绑定是它们之间唯一的显着差异。 Value只是它们在.bss节中的偏移量，因此我们希望它会有所不同。

STB_LOCAL在ELF规范中记录在http://www.sco.com/developers/gabi/2003-12-17/ch4.symtab.html ：

STB_LOCAL本地符号在包含其定义的目标文件之外不可见。 多个文件中可能存在相同名称的本地符号，而不会互相干扰

这使其成为表示static的理想选择。

没有静态的函数是STB_GLOBAL ，并且规范说：

当链接编辑器组合了几个可重定位的目标文件时，它不允许名称相同的STB_GLOBAL符号的多个定义。

这与多个非静态定义上的链接错误一致。

如果使用-O3加速优化，则sf符号将从符号表中完全删除：无论如何都不能从外部使用它。 TODO为什么在没有优化的情况下完全将静态函数保留在符号表上？ 它们可以用于任何用途吗？

也可以看看

• 变量相同： https : //stackoverflow.com/a/14339047/895245
• extern与static相反，默认情况下，函数已经是extern ： 如何使用extern在源文件之间共享变量？

C ++匿名名称空间

在C ++中，您可能希望使用匿名名称空间而不是静态名称空间，这可以达到类似的效果，但是会进一步隐藏类型定义： 未命名/匿名名称空间与静态函数

---

#3楼

静态函数的答案取决于语言：

1）在没有C之类的OOPS的语言中，这意味着该功能只能在定义其的文件中访问。

2）在具有OOPS的语言（如C ++）中，这意味着可以直接在类上调用该函数而无需创建它的实例。

---

#4楼

static函数是仅对同一文件（更确切地说是同一个翻译单元 ）中的其他函数可见的函数。

编辑 ：对于那些认为，问题的作者表示“类方法”的问题：由于该问题被标记为C他表示一个普通的旧C函数。 对于（C ++ / Java / ...）类方法， static表示可以在类本身上调用此方法，而无需该类的实例。

---

#5楼

静态函数是可以在类本身上调用的函数，与类的实例相反。

例如，非静态将是：

Person* tom = new Person();
tom->setName("Tom");

此方法对类的实例起作用，而不对类本身起作用。 但是，您可以有一个无需实例即可工作的静态方法。 有时在Factory模式下使用：

Person* tom = Person::createNewPerson();

---

#6楼

静态函数定义会将此符号标记为内部。 因此，从外部进行链接时将看不到它，而只能链接到同一编译单元（通常是同一文件）中的函数。

---

#7楼

第一：将.cpp文件包含在另一个文件中通常是一个坏主意-这会导致如下问题：-)正常的方法是创建单独的编译单元，并为包含的文件添加头文件。

其次：

C ++在这里有一些令人困惑的术语-直到在注释中指出我才知道。

a） static functions -继承自C，以及您在此处谈论的内容。 在任何课堂之外。 静态函数意味着它在当前编译单元之外不可见-因此，在您的情况下，a.obj具有副本，而其他代码具有独立副本。 （用代码的多个副本膨胀最终的可执行文件）。

b） static member function -什么是Object Orientation称为静态方法 。 住在班里。 您使用类而不是通过对象实例来调用它。

这两个不同的静态函数定义完全不同。 小心-这是小龙。

---

#8楼

C中的静态函数和C ++中的静态成员函数之间有很大的区别。 在C语言中，静态函数在其转换单元（即编译到的目标文件）外部不可见。 换句话说，将函数设为静态会限制其范围。 您可以将静态函数视为其* .c文件的“私有”文件（尽管这并非严格正确）。

在C ++中，“静态”也可以应用于类的成员函数和数据成员。 静态数据成员也称为“类变量”，而非静态数据成员是“实例变量”。 这是Smalltalk术语。 这意味着一个类的所有对象仅共享一个静态数据成员的副本，而每个对象都有其自己的非静态数据成员的副本。 因此，静态数据成员实质上是一个全局变量，即一个类的成员。

非静态成员函数可以访问该类的所有数据成员：静态和非静态。 静态成员函数只能对静态数据成员进行操作。

考虑这种情况的一种方法是，在C ++中，静态数据成员和静态成员函数不属于任何对象，而是属于整个类。

---

#9楼

对于C ++中的函数，关键字static有两种用法。

首先是将功能标记为具有内部链接，因此无法在其他翻译单元中引用它。 C ++不赞成使用此用法。 对于这种用法，首选未命名的名称空间。

// inside some .cpp file:

static void foo();    // old "C" way of having internal linkage

// C++ way:
namespace
{
   void this_function_has_internal_linkage()
   {
      // ...
   }
}

第二种用法是在类的上下文中。 如果一个类具有静态成员函数，则意味着该函数是该类的成员（并且具有对其他成员的通常访问权限），但是不需要通过特定的对象调用它。 换句话说，在该函数内部，没有“ this”指针。

---

#10楼

次要要点：静态函数对翻译单元可见，在大多数实际情况下，静态函数是在其中定义函数的文件。您遇到的错误通常称为违反“一个定义规则”。

该标准可能说：

“每个程序都应准确地包含该程序中使用的每个非内联函数或对象的一个​​定义；无需诊断。”

这是查看静态函数的C方法。 但是在C ++中不推荐使用此方法。

另外，在C ++中，可以将成员函数声明为静态。 这些主要是元功能，即它们不描述/修改特定对象的行为/状态，而是作用于整个类本身。 同样，这意味着您无需创建对象即可调用静态成员函数。 此外，这还意味着，您只能从此类函数中访问静态成员变量。

我将在Parrot的示例中添加Singleton模式，该模式基于这种静态成员函数来在程序的整个生命周期中获取/使用单个对象。