Чи прив'язані статичні члени загального класу до конкретного екземпляра?

Це більше документація, ніж справжнє питання. Здається, це ще не розглядалося на SO (якщо я цього не пропустив), тому тут йдеться:

Уявіть собі загальний клас, який містить статичний член:

class Foo<T> {
    public static int member;
}

Чи існує новий екземпляр члена для кожного конкретного класу, чи існує лише один екземпляр для всіх класів типу Foo?

Це легко можна перевірити за допомогою коду:

Foo<int>.member = 1;
Foo<string>.member = 2;
Console.WriteLine (Foo<int>.member);

Який результат і де ця поведінка задокументована?

staticПоле розподіляється у всіх випадках одного і того ж типу . Foo<int>і Foo<string>бувають двох різних типів. Це можна довести за допомогою наступного рядка коду:

// this prints "False"
Console.WriteLine(typeof(Foo<int>) == typeof(Foo<string>));

Що стосується того, де це задокументовано, у розділі 1.6.5 Поля специфікації мови C # (для C # 3) наведено наступне :

Статичне поле ідентифікує рівно одне місце зберігання. Незалежно від того, скільки екземплярів класу створено, існує лише одна копія статичного поля.

Як зазначалося раніше; Foo<int>і Foo<string>не є одним класом; це два різні класи, побудовані з одного загального класу. Як це відбувається, описано у розділі 4.4 вищезазначеного документа:

Загальна декларація типу сама по собі позначає незв’язаний загальний тип, який використовується як “план” для формування безлічі різних типів, шляхом застосування аргументів типу.

Проблема тут насправді полягає в тому, що "загальні класи" взагалі не є класами.

Загальні визначення класів - це лише шаблони для класів, і поки не вказані параметри їх типу, це лише шматок тексту (або жменька байтів).

Під час виконання можна вказати параметр типу для шаблону, тим самим ожививши його, і створивши клас, повністю визначеного типу. Ось чому статичні властивості не є загально шаблонними, і тому ви не можете здійснювати трансляцію між List<string>і List<int>.

Ці відносини як би відображають відносини клас-об'єкт. Подібно до того, як класи не існують *, поки ви не створите з них об'єкт, загальні класи не існують, поки ви не зробите клас на основі шаблону.

PS Це цілком можливо заявити

class Foo<T> {
    public static T Member;
}

З цього стає очевидно, що статичні члени не можуть бути спільними, оскільки T різний для різних спеціалізацій.

Вони не діляться. Не впевнений, де це задокументовано, але попередження про аналіз CA1000 ( не оголошувати статичні члени загальних типів ) застерігає від цього лише через ризик ускладнення коду.

Реалізація дженериків на C # ближче до C ++. В обох цих мовах MyClass<Foo>і MyClass<Bar>не поділяють статичні члени , а в Java вони роблять. У C # і C ++ MyClass<Foo>внутрішньо створює абсолютно новий тип під час компіляції, ніби загальні засоби - це свого роду макроси. Зазвичай ви можете побачити їх згенеровані імена у трасі стека, як MyClass'1і MyClass'2. Ось чому вони не діляться статичними змінними. У Java загальні засоби реалізуються за допомогою більш простого методу генерування коду компілятором з використанням не загальних типів та додавання типових символів. Отже, MyClass<Foo>і MyClass<Bar>не генеруйте два абсолютно нових класи в Java, натомість вони обидва є одним класом MyClassвнизу, і тому вони мають спільні статичні змінні.

Вони насправді не діляться. Оскільки член взагалі не належить до екземпляра. Статичний член класу належить самому класу. Отже, якщо у вас MyClass.Number, він однаковий для всіх об’єктів MyClass.Number, оскільки це навіть не залежить від об’єкта. Ви навіть можете зателефонувати або змінити MyClass.Number без будь-якого об'єкта.

Але оскільки Foo <int> не є тим самим класом, що Foo <string>, ці два числа не є спільними.

Приклад, щоб показати це:

TestClass<string>.Number = 5;
TestClass<int>.Number = 3;

Console.WriteLine(TestClass<string>.Number);  //prints 5
Console.WriteLine(TestClass<int>.Number);     //prints 3

ІМО, вам потрібно протестувати це, але я думаю, що

Foo<int>.member = 1;
Foo<string>.member = 2;
Console.WriteLine (Foo<int>.member);

виведе, 1тому що я думаю, що під час компіляції компілятор створює 1 клас для кожного загального класу, який ви використовуєте (у вашому прикладі: Foo<int>і Foo<string>).

Але я не впевнений на 100% =).

Примітка: Я вважаю, що використання такого роду статичних атрибутів не є хорошим дизайном і не є хорошою практикою.