Net framework 5, а также среды Visual Studio 2012 и C#

рис. 1.6.
.Разные.языки.поддерживают.подмножество.CLR/CTS.и.надмножество.CLS.
(возможно,.разные.подмножества)
Как видно из рис. 1.6, CLR/CTS определяет набор функциональных возмож-
ностей. Некоторые языки реализуют более широкое подмножество CLR/CTS. 
Например, программист, пожелавший работать на языке ассемблера IL, сможет 
использовать все возможности CLR/CTS. Большинство других языков (C#, Visual 
Basic, Fortran и т. д.) предоставляют в распоряжение программиста подмножество 
возможностей CLR/CTS. CLS определяет минимальный набор возможностей, 
которые должны поддерживаться всеми языками. Если вы проектируете тип на 
одном языке и собираетесь использовать его в другом языке, не размещайте никакие 
возможности, выходящие за пределы CLS, в его открытых и защищенных членах. 
В этом случае члены вашего типа могут стать недоступными для программистов, 
пишущих код на других языках программирования.
В следующем коде CLS-совместимый тип определяется в коде C#. Однако при 
этом тип содержит несколько CLS-несовместимых конструкций, из-за которых 
компилятор C# выдает предупреждения.
using System;
// Приказываем компилятору проверять код
// на совместимость с CLS
[assembly: CLSCompliant(true)]
namespace SomeLibrary {
// Предупреждения выводятся, потому что класс является открытым
public sealed class SomeLibraryType {
// Предупреждение: возвращаемый тип 'SomeLibrary.SomeLibraryType.Abc()'
// не является CLS-совместимым
public UInt32 Abc() { return 0; }
продолжение


---

54
Глава.1 .Модель.выполнения.кода.в.среде.CLR
// Предупреждение: идентификаторы 'SomeLibrary.SomeLibraryType.abc()',
// отличающиеся только регистром символов, не являются
// CLS-совместимыми
public void abc() { }
// Предупреждения нет: закрытый метод
private UInt32 ABC() { return 0; }
}
}
В этом коде атрибут 
[assembly:CLSCompliant(true)]
применяется к сборке. 
Этот атрибут приказывает компилятору следить за тем, чтобы тип с открытым 
уровнем доступа не содержал конструкций, препятствующих его использованию 
в другом языке программирования. При компиляции этого кода компилятор C# 
выдает два предупреждения. Первое выдается из-за того, что метод 
Abc
возвращает 
целое без знака; некоторые языки программирования не умеют работать с беззна-
ковыми целыми числами. Второе предупреждение выдается из-за того, что тип 
содержит два открытых метода, различающихся только регистром и типом воз-
вращаемого значения: 
Abc
и 
abc
. В Visual Basic и некоторых других языках вызов 
обоих методов невозможен.
Если удалить ключевое слово 
public
перед 
sealed class
SomeLibraryType
и перекомпилировать код, оба предупреждения пропадают. Дело в том, что тип 
SomeLibraryType
по умолчанию рассматривается как 
internal
, а следовательно, 
становится недоступным за пределами сборки. Полный список правил CLS при-
веден в разделе «Cross-Language Interoperability» документации .NET Framework 
SDK (
http://msdn microsoft com/en-us/library/730f1wy3 aspx
).
Позвольте мне изложить правила CLS в предельно упрощенном виде. В CLR 
каждый член типа является либо полем (данные), либо методом (поведение). Это 
означает, что каждый язык программирования должен уметь обращаться к полям 
и вызывать методы. Некоторые поля и некоторые методы используются специ-
альным образом. Для упрощения программирования языки обычно предостав-
ляют дополнительные абстракции, упрощающие реализацию этих стандартных 
паттернов — перечисления, массивы, свойства, индексаторы, делегаты, события, 
конструкторы, финализаторы, перегрузки операторов, операторы преобразования 
и т. д. Когда компилятор встречает эти абстракции в исходном коде, он должен пре-
образовать их в поля и методы, чтобы сделать их доступными для CLR и любых 
других языков программирования.
Следующее определение типа содержит конструктор, финализатор, перегру-
женные операторы, свойство, индексатор и событие. Учтите, что приведенный 
код написан всего лишь для того, чтобы он компилировался, и не демонстрирует 
правильного способа реализации типа.
using System;
internal sealed class Test {

---

55
CLS
// Конструктор
public Test() {}
// Финализатор
~Test() {}
// Перегрузка оператора
public static Boolean operator == (Test t1, Test t2) {
return true;
}
public static Boolean operator != (Test t1, Test t2) {
return false;
}
// Перегрузка оператора
public static Test operator + (Test t1, Test t2) { return null; }
// Свойство
public String AProperty {
get { return null; }
set { }
}
// Индексатор
public String this[Int32 x] {
get { return null; }
set { }
}
// Событие
public event EventHandler AnEvent;
}
Результатом компиляции этого кода является тип, содержащий набор полей 
и методов. В этом можно легко убедиться, просмотрев полученный управляемый 
модуль в программе IL Disassembler (
ILDasm exe
), входящей в пакет .NET Framework 
SDK (рис. 1.7).
В табл. 1.4 продемонстрировано соответствие между конструкциями языка про-
граммирования и эквивалентными полями/методами CLR.
Дополнительные узлы типа 
Test
, не упомянутые в табл. 1.4 —
.class
, 
.custom
, 
AnEvent
, 
AProperty
и 
Item
, — содержат дополнительные метаданные типа. Они 
не отображаются на поля или методы, а только предоставляют дополнительную 
информацию о типе, которая может использоваться CLR, языками программи-
рования или инструментами. Например, программа может узнать, что тип 
Test
поддерживает событие 
AnEvent
, для работы с которым используются два метода 
(
add_AnEvent
и 
remove_AnEvent
).

---