c – 模板的静态成员是全局唯一的吗？

看看现在可用的答案,我仍然不确定答案是什么.这是我的例子

// foo.h
template <class T> class foo
{
public:
    static T t;
};
template <class T> T foo<T>::t = 0;

// a.cpp
#include "foo.h"
foo<int> fa;

// b.cpp
#include "foo.h"
foo<int> fb;

// c.cpp
#include "foo.h"
foo<int> fc;

int main (int argc, char* argv[])
{
    fc.t = 5;
}

这是否意味着fa.t和fb.t也是5？如果语法不正确,请告诉我.

解决方法:

Does that mean fa.t and fb.t are also 5?

是的,静态数据成员由类的所有实例共享,并且由于fa,fb和fc都是同一类foo< int>的所有实例,因此它们共享静态数据成员.

对象类型是模板实例的事实与此事无关,也不是您的对象在不同的​​翻译单元中实例化的事实.正如C 11标准第9.4 / 5段规定：

Static data members of a class in namespace scope have external linkage (3.5). A local class shall not have
static data members.

换句话说,这个片段：

#include <iostream>

int main ()
{
    fc.t = 5;
    std::cout << fa.t;
}

将打印5输出到标准输出.这是一个live example.

标签：c,templates,static-members
来源： https://codeday.me/bug/20190901/1780345.html