Question

对于具有静态成员/对象的类的每个实例，通常一个类的静态成员/对象是相同的。无论如何，如果静态对象是模板类的一部分，还取决于模板参数？例如，像这样：

template<class T>
class A{
public:
  static myObject<T> obj;
}

如果我将A的一个对象转换为int而将另一个转换为float，我猜会有两个obj，每种类型一个？

如果我要创建A的多个对象作为int类型和多个float s，它仍然是两个obj个实例，因为我只使用两种不同的类型吗？

Answer 1

静态成员对于每个不同的模板初始化是不同的。这是因为每个模板初始化都是由编译器在第一次遇到模板的特定初始化时生成的不同类。

此代码显示静态成员变量不同的事实：

#include <iostream>

template <class T> class Foo {
  public:
    static int bar;
};

template <class T>
int Foo<T>::bar;

int main(int argc, char* argv[]) {
  Foo<int>::bar = 1;
  Foo<char>::bar = 2;

  std::cout << Foo<int>::bar  << "," << Foo<char>::bar;
}

结果是

1,2

Answer 2

A<int>和A<float>是两种完全不同的类型，您无法安全地在它们之间进行投射。 A<int>的两个实例将共享相同的静态myObject。

Answer 3

静态成员变量与类一样多，这同样适用于模板。模板类的每个单独实例化仅创建一个静态成员变量。这些模板化类的对象数量无关紧要。

Answer 4

在C ++模板中实际上是类的副本。我认为在您的示例中，每个模板实例将有一个静态实例。

C ++静态模板成员，每个模板类型一个实例？

4 个答案: