Главная » 2011 Октябрь 1 » Введение в C Sharp
21:22 Введение в C Sharp | |
| Последнее время С и С++ являются наиболее используемыми языками для разработки коммерческих и бизнес приложений. Эти языки устраивают многих разработчиков, но в действительности не обеспечивают должной продуктивности разработки. К примеру, процесс написания приложения на С++ зачастую занимает значительно больше времени, чем разработка эквивалентного приложения, скажем, на Visual Basic. Сейчас существуют языки, увеличивающие продуктивность разработки за счет потери в гибкости, которая так привычна и необходима программистам на С/С++. Подобные решения являются весьма неудобными для разработчиков и зачастую предлагают значительно меньшие возможности. Эти языки также не ориентированы на взаимодействие с появляющимися сегодня системами и очень часто они не соответствуют существующей практике программирования для Web. Многие разработчики хотели бы использовать современный язык, который позволял бы писать, читать и сопровождать программы с простотой Visual Basic и в то же время давал мощь и гибкость C++, обеспечивал доступ ко всем функциональным возможностям системы, взаимодействовал бы с существующими программами и легко работал с возникающими Web стандартами. Учитывая все подобные пожелания, Microsoft разработала новый язык - C Sharp. В него входит много полезных особенностей - простота, объектная ориентированность, типовая защищенность, "сборка мусора", поддержка совместимости версий и многое другое. Данные возможности позволяют быстро и легко разрабатывать приложения, особенно COM+ приложения и Web сервисы. При создании C Sharp, его авторы учитывали достижения многих других языков программирования: C++, C, Java, SmallTalk, Delphi, Visual Basic и т.д. Надо заметить что по причине того, что C Sharp разрабатывался с чистого листа, у его авторов была возможность (которой они явно воспользовались), оставить в прошлом все неудобные и неприятные особенности (существующие, как правило, для обратной совместимости), любого из предшествующих ему языков. В результате получился действительно простой, удобный и современный язык, по мощности не уступающий С++, но существенно повышающий продуктивность разработок. Web интеграция Ввиду очень удобного объектно-ориентированного дизайна, C Sharp является хорошим выбором для быстрого конструирования различных компонентов - от высокоуровневой бизнес логики до системных приложений, использующих низкоуровневый код. Также следует отметить, что C Sharp является и Web ориентированным - используя простые встроенные конструкции языка ваши компоненты могут быть легко превращены в Web сервисы, к которым можно будет обращаться из Internet посредством любого языка на любой операционной системе. Дополнительные возможности и преимущества перед другими языками приносит в C Sharp использование передовых Web технологий, таких как: XML (Extensible Markup Language) и SOAP (Simple Object Access Protocol). Среда разработки Web сервисов позволяет программисту смотреть на существующие сегодня Web приложения, как на родные C Sharp объекты, что дает возможность разработчикам соотнести имеющиеся Web сервисы с их познаниями в объектно-ориентированном программировании. Исключение ошибок Очень часто можно проследить такую связь - чем более язык защищен и устойчив к ошибкам, тем меньше производительность программ, написанных на нем. К примеру рассмотрим две крайности - очевидно это Assembler и Java. В первом случае вы можете добиться фантастической быстроты своей программы, но вам придется очень долго заставлять ее работать правильно не на вашем компьютере. В случае же с Java - вы получаете защищенность, независимость от платформы, но, к сожалению, скорость вашей программы вряд ли совместима со сложившимся представлением о скорости, например, какого-либо отдельного клиентского приложения (конечно существуют оговорки - JIT компиляция и прочее). Рассмотрим C++ с этой точки зрения - на мой взгляд соотношение в скорости и защищенности близко к желаемому результату, но на основе собственного опыта программирования я могу с уверенностью сказать, что практически всегда лучше понести незначительную потерю в производительности программы и приобрести такую удобную особенность, как "сборка мусора", которая не только освобождает вас от утомительной обязанности управлять памятью вручную, но и помогает избежать вам многих потенциальных ошибок в вашем приложении. В действительности скоро "сборка мусора", да и любые доругие шаги к устранению потенциальных ошибок стану отличительными чертами современного языка. В C Sharp, как в несомненно современном языке, также существуют характерные особенности для обхода возможных ошибок. Например, помимо упомянутой выше "сборки мусора", там все переменные автоматически инициализируются средой и обладают типовой защищенностью, что позволяет избежать неопределенных ситуаций в случае, если программист забудет инициализировать переменную в объекте или попытается произвести недопустимое преобразование типов. Также в C Sharp были предприняты меры для исключения ошибок при обновлении программного обеспечения. Изменение кода, в такой ситуации, может непредсказуемо изменить суть самой программы. Чтобы помочь разработчикам бороться с этой проблемой C Sharp включает в себя поддержку совместимости версий (vesioning). В частности, в отличии от C++ и Java, если метод класса был изменен, это должно быть специально оговорено. Это позволяет обойти ошибки в коде и обеспечить гибкую совместимость версий. Также новой особенностью является native поддержка интерфейсов и наследования интерфейсов. Данные возможности позволяют разрабатывать сложные системы и развивать их со временем. Особенности и примеры использования Переходя к более подробному знакомству с C Sharp, традиционно рассмотрим программу "Hello, world": using System; class Hello { static void Main() { Console.WriteLine("hello, world"); } } Поместите эту программу в файл hello.cs и скомпилируйте ее командой csc hello.cs В результате вы получите файл hello.exe, запустив который, вы увидите надпись "hello, world". В C Sharp была унифицирована система типов, теперь вы можете рассматривать каждый тип как объект. Несмотря на то, используете вы класс, структуру, массив или встроенный тип, вы можете обращаться к нему как к объекту. Объекты собраны в пространства имен (namespaces), которые позволяют программно обращаться к чему-либо. Это значит что вместо списка включаемых файлов заголовков в своей программе вы должны написать какие пространства имен, для доступа к объектам и классам внутри них, вы хотите использовать. В C Sharp выражение using позволяет вам не писать каждый раз название пространства имен, когда вы используете класс из него. Например, пространство имен System содержит несколько классов, в том числе и Console. И вы можете писать либо название пространства имен перед каждым обращением к классу, либо использовать using как это было показано в примере выше. Статический метод Main - точка входа в программу. Этот метод обязательно должен быть статическим. Далее в нашем примере используется метод WriteLine из класса System.Console. Этот метод отправляет строку на стандартный вывод. Простота использования Важной и отличительной от С++ особенностью C Sharp является его простота. К примеру, всегда ли вы помните, когда пишите на С++, где нужноиспользовать "->", где "::", а где "."? Даже если нет, то компилятор всегда поправляет вас в случае ошибки. Это говорит лишь о том, что в действительности можно обойтись только одним оператором, а компилятор сам будет распознавать его значение. Так в C Sharp, оператор"->" используется очень ограничено (в unsafe блоках, о которых речь пойдет ниже), оператор "::" вообще не существует. Практически всегда вы используете только оператор "." и вам больше не нужно стоять перед выбором. Еще один пример. При написании программ на C/С++ вам приходилось думать не только о типах данных, но и о их размере в конкретной реализации. В C Sharp все упрощено - теперь символ Unicode называется просто char (а не wchar_t, как в С++) и 64-битное целое теперь - long (а не __int64). Также в C Sharp нет знаковых и беззнаковых символьных типов. В C Sharp, также как и в Visual Basic после каждого выражения case в блоке switch подразумевается break. И более не будет происходить странных вещей если вы забыли поставить этот break. Однако если вы действительно хотите чтобы после одного выражения case программа перешла к следующему вы можете переписать свою программу с использованием, например, оператора goto. Еще одно упрощение - в C Sharp не существует множественного наследования классов. В действительности его использование является вовсе не самой простой задачей и зачастую приводит к ошибкам. Вместо этого в C Sharp принята полная поддержка концепций COM+, которые исключают необходимость использования множественного наследования. Многим программистам (на тот момент, наверное, будущим программистам) было не так легко во время изучения C++ полностью освоиться с механизмом ссылок и указателей. Многие путались в использовании операторов "*" и "&". В C Sharp (кто-то сейчас вспомнит о Java) нет указателей. В действительности нетривиальность указателей соответствовала их полезности. Например, порой, трудно себе представить программирование без указателей на функции. В соответствии с этим в C Sharp присутствуют Delegates - как прямой аналог указателя на функцию, но их отличает типовая защищенность, безопасность и полное соответствие концепциям объектно-ориентированного программирования . Рассмотрим пример их использования: delegate void SimpleDelegate(); /* здесь мы объявляем тип Delegate - принимаемые значения и возвращаемый тип */ class Test { static void F() { System.Console.WriteLine("Test.F"); } static void Main() { SimpleDelegate d = new SimpleDelegate(F); /* создание объекта - Delegate */ d(); // Запуск Delegate } } Delegates это объекты, производные от общего базового объекта System.Delegate. Этот тип являет собой некую сущность, которую можно вызывать. В случае с экземпляром объекта - эта сущность состоит из экземпляра и его метода, в случае статического метода - из класса и статического метода этого класса. Именно благодаря этому не нарушатся концепции объектно-ориентированного программирования, а именно не используются методы объекта в отрыве от самого объекта. Типовая защищенность Вы можете не согласиться, но на мой взгляд типовая защищенность способствует написанию устойчивых программ. К примеру, в C Sharp все динамические объекты и массивы автоматически инициализируются нулем. Несмотря на то, что C Sharp автоматически не инициализирует локальные переменные, компилятор выдаст вам предупреждение, если вы попытаетесь использовать их до инициализации. Также, при обращению к массиву, выполняется проверка на выход за его границы. Таким образом в C Sharp, в отличие от С++, невозможно изменить не отведенную для вас память. В C Sharp вы не можете создать ссылку на произвольную область памяти. Все приведения типов должны быть безопасными. К примеру, вы не можете использовать приведение между reference (обращение по указателю на область памяти) и value (обращение к значению) типами. "Сбор мусора" обеспечит отсутствие в вашем коде болтающихся впустую ссылок. Типовая защищенность сильно связана с контролем на переполнение. Не допускаются арифметические операции, которые будут переполнять допустимое значение переменной или объекта. Хотя, конечно, существует лишь неполный набор факторов, которые говорят о явном переполнении переменной. Если же вам не нравится такая проверка - вы можете ее отменить. Вообще, типы данных, присутствующие в C Sharp, отличаются от типов в C++. Так тип char тут 16-битный, а весьма полезные типы string и decimal являются встроенными. Но куда большие отличия мы можем увидеть при рассмотрении массивов. В C Sharp могут быть многомерные массивы (multidimentional) и неровные (или неуточненные - jagged - массивы массивов): int[ ] intArray; // Просто массив int[ , , ] intArray; // Трехмерный массив int[ ][ ] intArray; // неровный массив массивов int[ ][ , , ][ , ] intArray; /* Одномерный массив трехмерных массивов двумерных массивов :) */ В принципе, использование массивов ничего нового из себя не представляет, но было бы полезно рассмотреть пример инициализации неровного массива: int[][] intArray = new int[][] { new int[] {2,3,4}, new int[] {5,6,7} }; В C Sharp появился оператор циклов foreach - перебор всех элементов "списка". Его использование зависит от типов объектов, к которым он применяется, по причине того, что понятие "списка" может быть определено по разному. Проиллюстрируем его действие на примере: int[] intArray = {2, 4, 6, 8, 10, -2, -3, -4, 8}; foreach (int i in intArray) { System.Console.WriteLine(i); // Вывод элементов массива по порядку } Удобство и современность C Sharp Хотелось бы подчеркнуть современное удобство C Sharp. Когда вы начнете работу с C Sharp, а, надеюсь, это произойдет как можно скорее, вы увидите, что довольно большое значение в нем имеют пространства имен. Уже сейчас, на основе первого примера, вы можете судить об этом - ведь все файлы заголовков заменены именно пространством имен. Так в C Sharp, помимо просто выражения using, предоставляется еще одна очень удобная возможность - использование дополнительного имени (alias) пространства имен или класса. Следующие примеры продемонстрируют это: namespace NS3 { /* предположим, что у нас имеется вложенное пространство имен NS1.NS2, в котором находится ClassA */ using A = NS1.NS2.ClassA; // Определяем дополнительное имя для класса class ClassB: A {} // Используем его } namespace NS3 { // или на уровне пространств имен using C = NS1.NS2; // Определяем дополнительное имя для пространства имен class ClassB: C.ClassA {} // Используем его } Современность C Sharp проявляется и в новых шагах к облегчению процесса отладки программы. Традиционым средством для отладки программ на стадии разработки в C++ является маркировка обширных частей кода директивами #ifdef и т.д. В C Sharp, используя атрибуты, ориентированные на условные слова, вы можете куда быстрее писать отлаживаемый код. Покажем это на примере: <Код из первого файла DESIGNTIMESP=10915> using System; namespace DotSiteRes { public class HelloWorld { [conditional("DEBUG")] /* последующий метод будет выполняться только в случае определения DEBUG */ public static void SayHi() { Console.WriteLine("Hello, World!"); return; } ... } } <Код из второго файла DESIGNTIMESP=10916> using System; using DotSiteRes; #define DEBUG class CallingDotSiteRes { public static void Main(string[] args) { HelloWorld.SayHi(); return; } } В данном случае будет выведена строка "Hello, world". Если бы DEBUG не было определено, ничего бы не произошло. Не менее полезное использование атрибутов будет продемонстрировано далее. В наше время, когда усиливается связь между миром коммерции и миром разработки программного обеспечения, и корпорации тратят много усилий на планирование бизнеса, ощущается необходимость в соответствии абстрактных бизнес процессов их программным реализациям. К сожалению, большинство языков реально не имеют прямого пути для связи бизнес логики и кода. Например, сегодня многие программисты комментируют свои программы для объяснения того, какие классы реализуют какой-либо абстрактный бизнес объект. C Sharp позволяет использовать типизированные, расширяемые метаданные, которые могут быть прикреплены к объекту. Архитектурой проекта могут определяться локальные атрибуты, которые будут связанны с любыми элементами языка - классами, интерфейсами и т.д. Разработчик может программно проверить атрибуты какого-либо элемента. Это существенно упрощает работу, к примеру, вместо того чтобы писать автоматизированный инструмент, который будет проверять каждый класс или интерфейс, на то, является ли он действительно частью абстрактного бизнесс объекта, можно просто воспользоваться сообщениями основанными на определенных в объекте локальных аттрибутах. Следующий пример иллюстрирует это: using System; [AttributeUsage(AttributeTargets.All)] /* Здесь уже пример использования аттрибутов - с их помощью мы говорим где может применяться наш атрибут-класс, определяемый ниже */ public class HelpAttribute: Attribute { /*аттрибут-класс - наследник класса System.Attribute. Необходимо заметить, что в HelpAttribute, Help является непосредственным именем аттрибут-класса, а Attribute - суффиксом. При использовании аттрибут-класcа HelpAttribute вы сможете обращаться к нему коротко - просто Help. */ public HelpAttribute(string url) { this.url = url; } public string Topic = null; private string url; public string Url { get { return url; } } } [Help("http://www.mycompany.com/:/Class1.htm")] /* Применение нашего аттрибута к новому классу */ public class Class1 { [Help("http://www.mycompany.com/:/Class1.htm", Topic = "F")] /* Применение нашего аттрибута к методу */ public void F() {} } class Test { // Класс, проверяющий аттрибуты static void Main() { Type type = typeof(Class1); object[] arr = type.GetCustomAttributes(typeof(HelpAttribute)); /* прочтение аттрибутов класса Class1 */ if (arr.Length == 0) Console.WriteLine("Class1 has no Help attribute."); else { HelpAttribute ha = (HelpAttribute) arr[0]; // Вывод аттрибутов Console.WriteLine("Url = {0}, Topic = {1}", ha.Url, ha.Topic); } } } Дополнительные возможности Реальный опыт разработки говорит нам о том, что некоторым программам и по сей день требуется native код, либо из соображений производительности, либо для взаимодействия с существующими API. Эта причина может заставить разработчиков использовать С++ даже когда они предпочли бы более продуктивную среду разработки. В С Sharp для решения этой проблемы были приняты несколько решений: включена native поддержка COM-технологии и WinAPI, допускается ограниченно использовать native указатели. Разработчику больше не нужно точно реализовывать IUnknown и другие COM интерфейсы. Теперь эти особенности являются встроенными. Также C Sharp программы могут органично использовать существующие COM объекты независимо от того, на каком языке они были написаны. Для тех разработчиков которым это необходимо, в C Sharp была включена специальная особенность, которая позволяет программе обращаться к любому существующему native API. Внутри специально помеченного блока (unsafe) программисту позволяется использовать указатели и традиционные особенности С/С++, такие как, управление памятью вручную и арифметика указателей. Этот большой плюс отличает C Sharp от других сред разработки. Вместо того, чтобы отказаться от уже существующего С/С++ кода, вы можете разрабатывать C Sharp приложения, используя его. Ниже демонстрируется использование unsafe блоков: struct Point{ public int x; public int y; public override string ToString() { return "(" + x + "," + y + ")"; } } class Test { unsafe static void Main() { Point point; Point* p = &point;p->x = 10;p->y = 20;Console.WriteLine(p->ToString()); } } Как вы увидели, внутри unsafe блоков, как и в C++, возможно использование указателей. Также допускается и использование оператора"->", который может быть заменен "(*p).". Заключение В заключение, я хотел бы поздравить вас - теперь вы имеете представление о C Sharp - языке следующего поколения. В данной статье было рассказано о многих его возможностях, но смею вас уверить - далеко не всех. Надеюсь, к этому моменту вы уже обладаете желанием использовать C Sharp в своих разработках. Мы планируем выпустить цикл статей и документации, которые вы очень скоро увидите на этом сайте. Обратившись к ним, вы сможете ознакомиться поближе с C Sharp и примерами его использования в самых разных сферах. 31 октября этого года C Sharp был стандартизован. Сейчас доступна его спецификация на английском языке, вы можете найти ее на сайте Microsoft. Там же вы можете скачать Microsoft Visual Studio .NET beta 1 и уже сегодня начать работу с C Sharp и Microsoft .NET framework. | |
|
| |
| Всего комментариев: 0 | |
