Question

在c＃中，静态成员对于每个泛型类都是唯一的，如本例所示

using System;

//A generic class
public class GenTest<T>
{
  //A static variable - will be created for each type on refraction
  static CountedInstances OnePerType = new CountedInstances();

  //a data member
  private T mT;

  //simple constructor
  public GenTest(T pT)
  {
    mT = pT;
  }
}

//a class
public class CountedInstances
{
  //Static variable - this will be incremented once per instance
  public static int Counter;

  //simple constructor
  public CountedInstances()
  {
    //increase counter by one during object instantiation
    CountedInstances.Counter++;
    Console.WriteLine(Counter);
  }
}

public class staticTest {
  static void Main(string[] args) {
    //main code entry point
    //at the end of execution, CountedInstances{{Not a typo|.}}Counter = 2
    GenTest<int> g1 = new GenTest<int>(1);
    GenTest<int> g11 = new GenTest<int>(11);
    GenTest<int> g111 = new GenTest<int>(111);
    GenTest<double> g2 = new GenTest<double>(1.0);
  }
}

来自http://en.wikipedia.org/wiki/Generic_programming

c ++怎么样？我已经尝试检查自己，但转换为c ++似乎忽略了静态成员。

#include <iostream>
using namespace std;

class CountedInstances {
public:
  static int Counter;
  CountedInstances() {
    Counter++;
    cout << Counter << endl;
  }
};

int CountedInstances::Counter = 0;

template<class T> class GenTest {
  static CountedInstances OnePerType;
  T mT;
public:
  GenTest(T pT) {
    mT = pT;
  }
};

template<class T> CountedInstances GenTest<T>::OnePerType = CountedInstances();

int main() {
  GenTest<int> g1(1);
  GenTest<int> g11(11);
  GenTest<int> g111(111);
  GenTest<double> g2(1.0);
  cout << CountedInstances::Counter << endl;
  //CountedInstances c1;
  //CountedInstances c2;
}

在这个answer中我可以看到，在c ++静态成员对于每个专业化都是唯一的，但是，我的代码似乎是合法的，但静态成员OnePerType被忽略。

我认为每个GenTest<>计数器都会被打印出来，只有当我在注释中创建CountedInstances类型的对象时才会发生这种情况。那是为什么？

Answer 1

来自IBM C++ compilers reference（强调我的）：

如果编译器隐式实例化包含静态成员的类模板，那些静态成员不隐式实例化。仅当编译器需要静态成员的定义时，编译器才会实例化静态成员。

因此，为了强制编译器有效地实例化GenTest<int>::OnePerType和GenTest<double>::OnePerType，您必须以某种方式引用它们。例如，您可以在构造函数中添加(void)&OnePerType;（实例：http://ideone.com/CWNr7U）。

编辑：感谢chris.schuette这里引用了C ++标准（检查N3337），§14.7.1（强调我的）：


1（...）类模板特化的隐式实例化导致类成员函数，成员类的声明但不是定义或默认参数的隐式实例化，作用域成员枚举，静态数据成员和成员模板; （...）

8类模板的隐式实例化不会导致该类的任何静态数据成员   隐式实例化。

模板/泛型类中的非常量静态成员 - c ++ vs c＃

1 个答案: