Доступность класса и структуры

Классы или структуры, объявленные непосредственно в пространстве имен (другими словами, не вложенные в другие классы или структуры) могут быть открытыми или внутренними. Если модификатор доступа не указан, по умолчанию используется внутренний тип. Вложенные классы и структуры могут также быть объявлены закрытыми. Закрытые вложенные типы не доступны из содержащего типа.

Производные классы могут обладать лучшей доступностью, чем их базовые типы. Другими словами, открытый класс B, являющийся производным от внутреннего класса A, не может использоваться. Его использование может быть приравнено к переводу класса A в открытый тип, поскольку все защищенные или внутренние члены A доступны из производного класса.

При помощи InternalsVisibleToAttribute можно сделать возможным доступ других определенных сборок к внутренним типам.

 

// public class: public class Tricycle { // protected method: protected void Pedal() { }   // private field: private int m_wheels = 3;   // protected internal property: protected internal int Wheels { get { return m_wheels; } } }

Note:

The protectedinternal accessibility means protected OR internal, not protected AND internal. In other words, a protectedinternal member is accessible from any class in the same assembly, including derived classes. To limit accessibility to only derived classes in the same assembly, declare the class itself internal, and declare its members as protected.

Other Types

Interfaces, just like classes, can be declared as public or internal types. Unlike classes, interfaces default to internal access. Interface members are always public, and no access modifiers can be applied.

Namespaces and enumeration members are always public, and no access modifiers can be applied.

By default, delegates have internal access.

Any types declared in a namespace or at the top level of a compilation unit (for example, not within a namespace, class, or struct) are internal by default, but can be made public.

 

Доступность члена класса и структуры

Члены класса (включая вложенные классы и структуры) можно объявить с любым из пяти типов доступа. Члены структуры нельзя объявлять защищенными, так как структуры не поддерживают наследование.

Доступность члена никогда не может быть выше доступности его содержащего типа. Например, объявленный во внутреннем типе открытый метод обладает только внутренней доступностью.

Если член класса или структуры является свойством, полем, методом, событием или делегатом, и такой член является типом или имеет тип в качестве параметра или возвращаемого значения, член не может обладать большей доступностью, чем тип. Например, метод M, возвращающий класс C не может быть открытым, если C также не является открытым. Подобным образом, свойство типа A не может быть защищенным, если A объявлен закрытым.

Определенные пользователям операторы также должны быть объявлены как открытые.

Деструкторы не могут иметь модификаторов доступности.

Чтобы задать уровень доступа для члена класса или структуры, добавьте соответствующее ключевое слово к объявлению члена. Далее представлено несколько примеров.

Примечание.

Доступность protected internal означает "защищенный OR внутренний", а не "защищенный AND внутренний". Другими словами, член protected internal доступен из любого класса в одной сборке, включая производные классы. Чтобы ограничить доступность только производными классами в одной и той же сборке, сам класс необходимо объявить внутренним, а его члены – защищенными.

Другие типы

Интерфейсы, объявленные непосредственно в пространстве имен, можно объявить как открытые или внутренние, и подобно классам и структурам, интерфейсам по умолчанию присваивается внутренний доступ. Члены интерфейса всегда являются открытыми, поскольку целью интерфейса является предоставление возможности доступа к классу или структуре другим типам. Модификаторы доступа нельзя применить к членам интерфейса.

Члены перечисления всегда являются открытыми, и модификаторы доступа не применяются.

По умолчанию делегаты всегда имеют внутренний доступ.

Partial Classes and Methods

It is possible to split the definition of a class or a struct, an interface or a method over two or more source files. Each source file contains a section of the type or method definition, and all parts are combined when the application is compiled.

Partial Classes

There are several situations when splitting a class definition is desirable:

· When working on large projects, spreading a class over separate files enables multiple programmers to work on it at the same time.

· When working with automatically generated source, code can be added to the class without having to recreate the source file. Visual Studio uses this approach when it creates Windows Forms, Web service wrapper code, and so on. You can create code that uses these classes without having to modify the file created by Visual Studio.

· To split a class definition, use the partial keyword modifier, as shown here:

public partial class Employee { public void DoWork() { } }   public partial class Employee { public void GoToLunch() { } }

The partial keyword indicates that other parts of the class, struct, or interface can be defined in the namespace. All the parts must use the partial keyword. All the parts must be available at compile time to form the final type. All the parts must have the same accessibility, such as public, private, and so on.

 

Разделяемые классы и методы

Имеется возможность разделить определение класса или структуры, интерфейса или метода между двумя или более исходными файлами. Каждый исходный файл содержит определение типа или метода, и все части объединяются при компиляции приложения.

Разделяемый класс

Существует несколько ситуаций, при которых желательно разделение определения класса:

· При работе над большими проектами распределение класса между различными файлами позволяет нескольким программистам работать с ним одновременно.

· При работе с использованием автоматически создаваемого источника код можно добавлять в класс без повторного создания файла источника. Система Visual Studio использует этот подход при создании форм Windows Forms, программы оболочки веб-службы и т.д. Можно создать программу, использующую эти классы, без необходимости изменения файла, созданного системой Visual Studio.

· Чтобы разделить определение класса, используйте модификатор ключевого слова partial, как показано ниже:

ß---

 

 

Ключевое слово partial указывает на то, что другие части класса, структуры или интерфейса могут быть определены в пространстве имен. Все части должны использовать ключевое слово partial. Для формирования окончательного типа все части должны быть доступны во время компиляции. Все части должны иметь одинаковые специальные возможности, например public, private и т.д.

 

If any part is declared abstract, then the whole type is considered abstract. If any part is declared sealed, then the whole type is considered sealed. If any part declares a base type, then the whole type inherits that class.

All the parts that specify a base class must agree, but parts that omit a base class still inherit the base type. Parts can specify different base interfaces, and the final type implements all the interfaces listed by all the partial declarations. Any class, struct, or interface members declared in a partial definition are available to all the other parts. The final type is the combination of all the parts at compile time.

Note:

The partial modifier is not available on delegate or enumeration declarations.

The following example shows that nested types can be partial, even if the type they are nested within is not partial itself.

class Container { partial class Nested { void Test() { } } partial class Nested { void Test2() { } } }

At compile time, attributes of partial-type definitions are merged. For example, consider the following declarations:

[System.SerializableAttribute] partial class Moon { }   [System.ObsoleteAttribute] partial class Moon { }

They are equivalent to the following declarations:

[System.SerializableAttribute] [System.ObsoleteAttribute] class Moon { }

Все части, указывающие базовый класс, должны быть согласованы друг с другом, а части, не использующие базовый класс, все равно наследуют базовый тип. Части могут указывать различные базовые интерфейсы, и окончательный тип будет реализовывать все интерфейсы, перечисленные во всех разделяемых объявлениях. Любые члены класса, структуры или интерфейса, объявленные в разделяемом объявлении, доступны для всех остальных частей. Окончательный тип представляет собой комбинацию всех частей, выполненную во время компиляции.

Примечание.

Модификатор partial нельзя использовать для объявлений делегата или перечисления.

В следующем примере показано, что вложенные типы могут быть разделяемыми, даже если тип, в который они вложены, не является разделяемым.

ß---

 

При компиляции атрибуты определений разделяемого типа объединяются. В качестве примера рассмотрим следующие объявления:

ß--

 

 

Они эквивалентны следующим объявлениям:

[System.SerializableAttribute] [System.ObsoleteAttribute] class Moon { }

The following are merged from all the partial-type definitions:

· XML comments

· interfaces

· generic-type parameter attributes

· class attributes

· members

For example, consider the following declarations:

partial class Earth: Planet, IRotate { } partial class Earth: IRevolve { }

They are equivalent to the following declarations:

class Earth: Planet, IRotate, IRevolve { }

 

Следующие элементы объединяются изо всех определений разделяемого типа:

· XML-комментарии;

· интерфейсы;

· атрибуты параметров универсального типа;

· атрибуты классов;

· члены.

В качестве примера рассмотрим следующие объявления:

partial class Earth: Planet, IRotate { } partial class Earth: IRevolve { }

Они эквивалентны следующим объявлениям:

class Earth: Planet, IRotate, IRevolve { }

 

Restrictions

There are several rules to follow when you are working with partial class definitions:

· All partial-type definitions meant to be parts of the same type must be modified with partial. For example, the following class declarations generate an error:

public partial class A { } //public class A { } // Error, must also be marked partial

· The partial modifier can only appear immediately before the keywords class, struct, or interface.

· Nested partial types are allowed in partial-type definitions as illustrated in the following example:

partial class ClassWithNestedClass { partial class NestedClass { } } partial class ClassWithNestedClass { partial class NestedClass { } }

· All partial-type definitions meant to be parts of the same type must be defined in the same assembly and the same module (.exe or.dll file). Partial definitions cannot span multiple modules.

· The class name and generic-type parameters must match on all partial-type definitions. Generic types can be partial. Each partial declaration must use the same parameter names in the same order.

· The following keywords on a partial-type definition are optional, but if present on one partial-type definition, cannot conflict with the keywords specified on another partial definition for the same type:

· public

· private

· protected

· internal

· abstract

· sealed

· base class

· new modifier (nested parts)

· generic constraints

Ограничения

Имеется несколько правил, которые необходимо выполнять при работе с определениями разделяемого класса:

· Все определения разделяемого типа, являющиеся частями одного и того же типа, должны изменяться с использованием модификатора partial. Например, следующие объявления класса приведут к появлению ошибки:

public partial class A { } //public class A { } // Error, must also be marked partial

· Модификатор partial должен находиться непосредственно перед ключевыми словами class, struct или interface.

· В определениях разделяемого типа могут присутствовать вложенные разделяемые типы, что показано в следующем примере:

ß----

· Все определения разделяемого типа, являющиеся частями одного и того же типа, должны быть определены в одной сборке и в одном модуле (EXE-файл или DLL-файл). Разделяемые определения не могут находиться в разных модулях.

· Имя класса и параметры универсального типа должны соответствовать всем определениям разделяемого типа. Универсальные типы могут быть разделяемыми. Все объявления разделяемого типа должны использовать одинаковые имена параметров в одном и том же порядке.

· Приведенные ниже ключевые слова необязательно должны присутствовать в определении разделяемого типа, но если они присутствуют в одном определении разделяемого типа, то не должны конфликтовать с ключевыми словами, указанными в других определениях того же разделяемого типа:

· public

· private

· protected

· internal

· abstract

· sealed

· базовый класс

· модификатор new (вложенные части)

· универсальные ограничения

Дополнительные сведения см. в разделе Ограничения параметров типа.

Example 1

Description

In the following example, the fields and the constructor of the class, CoOrds, are declared in one partial class definition, and the member, PrintCoOrds, is declared in another partial class definition.

Code

public partial class CoOrds { private int x; private int y;   public CoOrds(int x, int y) { this.x = x; this.y = y; } }   public partial class CoOrds { public void PrintCoOrds() { System.Console.WriteLine("CoOrds: {0},{1}", x, y); }   }   class TestCoOrds { static void Main() { CoOrds myCoOrds = new CoOrds(10, 15); myCoOrds.PrintCoOrds(); } }

Output

CoOrds: 10,15

Пример 1

Описание

В следующем примере поля и конструктор класса CoOrds объявлены в одном определении разделяемого класса, а член PrintCoOrds — в другом определении разделяемого класса.

Код

 

ß----

 

Результат

CoOrds: 10,15

 

Example 2

Description

The following example shows that you can also develop partial structs and interfaces.

Code

partial interface ITest { void Interface_Test(); }   partial interface ITest { void Interface_Test2(); }   partial struct S1 { void Struct_Test() { } }   partial struct S1 { void Struct_Test2() { } }

 

Пример 2

Описание

В следующем примере показано, что можно также разработать разделяемые структуры и интерфейсы.

Код

ß----

Partial Methods

A partial class or struct may contain a partial method. One part of the class contains the signature of the method. An optional implementation may be defined in the same part or another part. If the implementation is not supplied, then the method and all calls to the method are removed at compile time.

Partial methods enable the implementer of one part of a class to define a method, similar to an event. The implementer of the other part of the class can decide whether to implement the method or not. If the method is not implemented, then the compiler removes the method signature and all calls to the method. Therefore, any code in the partial class can freely use a partial method, even if the implementation is not supplied. No compile-time or run-time errors will result if the method is called but not implemented.

Partial methods are especially useful as a way to customize generated code. They allow for a method name and signature to be reserved, so that generated code can call the method but the developer can decide whether to implement the method. Much like partial classes, partial methods enable code created by a code generator and code created by a human developer to work together without run-time costs.

A partial method declaration consists of two parts: the definition, and the implementation. These may be in separate parts of a partial class, or in the same part. If there is no implementation declaration, then the compiler optimizes away both the defining declaration and all calls to the method.

// Definition in file1.cs partial void onNameChanged(); // Implementation in file2.cs partial void onNameChanged() { // method body }

· Partial method declarations must begin with the contextual keyword partial and the method must return void.

· Partial methods can have ref but not out parameters.

· Partial methods are implicitly private, and therefore they cannot be virtual.

· Partial methods cannot be extern, because the presence of the body determines whether they are defining or implementing.

· Partial methods can have static and unsafe modifiers.

· Partial methods can be generic. Constraints are put on the defining partial method declaration, and may optionally be repeated on the implementing one. Parameter and type parameter names do not have to be the same in the implementing declaration as in the defining one.

· You cannot make a delegate to a partial method.

Разделяемые методы

Разделяемый класс или структура могут содержать разделяемый метод. Одна часть класса содержит подпись метода. В той же или в другой части можно определить дополнительную реализацию. Если реализация не предоставлена, то метод и все вызовы метода удаляются во время компиляции.

Разделяемые методы позволяют разработчику одной части класса определить метод, схожий с событием. Разработчик другой части класса может решить, реализовывать этот метод или нет. Если метод не реализован, то компилятор удаляет подпись метода и все вызовы этого метода. Таким образом, любой код в разделяемом классе может свободно использовать разделяемый метод, даже если реализация не предоставлена. Во время компиляции и выполнения программы не возникнут никакие ошибки, если метод будет вызван, но не реализован.

Разделяемые методы особенно полезны для настройки автоматически созданного кода. Они позволяют зарезервировать имя и подпись метода, чтобы автоматически созданный код мог вызвать метод, а разработчик мог сам решить, реализовывать этот метод или нет. Как и разделяемые классы, разделяемые методы позволяют организовать совместную работу автоматически созданного кода и кода, созданного человеком, без дополнительных затрат во время выполнения.

Объявление разделяемого метода состоит из двух частей: определения и реализации. Они могут находиться в разных частях или в одной и той же части разделяемого класса. Если объявление реализации отсутствует, то компилятор оптимизирует код, удаляя как объявление определения, так и все вызовы метода.

ß----

· Объявления разделяемого метода должны начинаться с контекстно-зависимого ключевого слова partial, а метод должен возвращать значение типа void.

· Разделяемые методы могут иметь параметры ref, но не могут иметь параметры out.

· Разделяемые методы неявно имеют модификатор private и поэтому не могут иметь модификатор virtual.

· Разделяемые методы не могут иметь модификатор extern, поскольку наличие тела определяет, выполняется ли их определение или реализация.

· Разделяемые методы могут иметь модификаторы static и unsafe.

· Разделяемые типы могут быть универсальными. Ограничения помещаются в ту часть обяъвления разделяемого метода, где находится определение, и могут дополнительно повторяться в разделе реализации. Имена параметров и типов параметров необязательно должны совпадать в объявлении реализации и в объявлении определения.

· Нельзя использовать delegate в качестве разделяемого метода.