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

Question

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

// 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？如果语法不正确,请告诉我.

Answer 1

这是否意味着fa.t和fb.t也是5？

是的,一个static数据成员由该类的所有实例共享的,并且因为fa,fb和fc是相同的类的所有实例foo<int>,它们共享static数据成员.

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

命名空间范围内的类的静态数据成员具有外部链接(3.5).本地类不应具有静态数据成员.

换句话说,这个片段:

#include <iostream>

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

将打印5到标准输出.这是一个实例.