http://lj.rossia.org/users/smi13/ smi13 - LJ.Rossia.org smi13 Mon, 01 Jun 2009 18:50:29 GMT LiveJournal / LJ.Rossia.org http://lj.rossia.org/users/smi13/645.html Mon, 01 Jun 2009 18:50:29 GMT http://lj.rossia.org/users/smi13/645.html <p align="justify">Не все вопросы касаются именно языка C++. Как например, 11. Это, скорее, способ мышления.<br /><br /><ol><li><b>Что такое explicit?</b></li><br />Ключевое слово explicit используется при объявлении конструктора класса, во избежании нежелательного неявного преобразования типов. Реализуя параметризованный (скажем, <font size="2" face="Courier new">int</font>) конструктор для некоторого класса (скажем, <font size="2" face="Courier new">A</font>), мы тем самым даем возможность этому преобразованию <font size="2" face="Courier new">A a = 5;</font>. Ясно, что выполнится как раз параметризованный конструктор, при условии отсутствия explicit и реализации оператора присваивания.<br /><br /><li><b>Что такое mutable?</b></li><br />Указание спецификатора mutable у некоторого члена класса переопределяет свойство постоянства у этого члена. Проще говоря, такие члены могут быть модифицированы const-методами класса.<br />Вообще, есть подозрение, что за mutable стоит <a href="http://en.wikipedia.org/wiki/Mutable">длинная история</a>, а также зачастую он вызывает <a href="http://groups.google.ru/group/comp.lang.c++.moderated/browse_frm/thread/20ac2a014a7c13a0/985d6e85a0ff599f?q=mutable+const_cast&amp;rnum=12&amp;hl=ru#985d6e85a0ff599f">множество недоумений</a>.<br /><br /><li><b>Могут ли static-функции быть const?</b></li><br />Однозначно нет. В static функции не передается указатель this. В const - передается, да еще и константный.<br /><br /><li><b>Что такое const_cast, dynamic_cast, static_cast?</b></li><br />Преобразование типов в C++. Есть <a href="http://alenacpp.blogspot.com/2005/08/c.html">мнение</a>, что использование этих ключевых слов очень редко бывает обоснованным.<br /><ul><br /><li>const_cast</li><br />Снятие квалификаторов const, volatile с переменной. Ошибка приведения - ошибка компиляции. <br /><br /><li>dynamic_cast</li><br />Приведение указателей либо ссылок на полиморфные классы друг к другу. Полиморфизм означает в данном случае наличие хоть одной виртуальной функции и он критичен для dynamic_cast: ошибка компиляции в противном случае. Ошибка выполнения сигнализируется возвращенным NULL в случае указателей и сообщением bad_cast в случае ссылок. <br /><br /><li>static_cast</li><br />Приведение одного типа к другому. Используются встроенные правила в случае встроенных типов, свои правила в случае своих. Если речь идет об указателях, то либо один из них обязан быть void *, либо оба должны указывать на объекты классов из одной иерархии. Ошибка приведения - ошибка компиляции и undefined behavior в случае ошибки приведения указателей на объекты классов из одной иерархии. <br /></ul> <br /><li><b>Что такое инстанцирование шаблонов?</b></li><br />Вообще <a href="http://ru.wikipedia.org/wiki/Объект_(программирование)">инстанцирование</a> есть создание экземпляра класса. Инстанцирование шаблонов судя по всему есть полиморфное инстанцирование. Пример: vector&#60int&#62 a; Остается неясным обязательна ли при инстанцировании аллокация.<br /><br /><li><b>Что такое частичная специализация шаблонов?</b></li><br />Синтаксически это определение еще одного шаблона, отличающегося от общего лишь подстановкой фактических типов или значений. Специализированный шаблон может иметь собственные методы и члены, он не связан с общим. Может использоваться, например, для оптимизации реализации некоторого случая для особого типа. Частичная специализация шаблона неявно конкретизируется при использовании в программе, а именно: если для шаблона класса объявлены частичные специализации, компилятор выбирает то определение, которое является наиболее специализированным для заданных аргументов. <br /><br /><li><b>Применима ли частичная специализация к функциям?</b></li><br />В C++ нет такой возможности. Ее отсутствие часто аргументируют <a href="http://habrahabr.ru/blogs/cpp/54762/#comment_1469150">примером</a>, в котором показана ошибочность интуиции разработчика.<br /><br /><li><b>Что такое виртуальный деструктор и зачем он нужен?</b></li><br />Виртуальный деструктор необходим для корректного удаления экземпляра класса через указатель на экземпляр базового класса. Отличиями от обычной виртуальной функции являются: всегда имеет тело, при наследовании не перегружается, а расширяется в том смысле, что при вызове сначала выполняются деструкторы производных классов, а затем базового. Таким образом классы-наследники класса с одной виртуальной функцией - деструктором полиморфными не являются.<br /><br /><li><b>Что такое чисто виртуальный деструктор?</b></li><br />Используется для придания абстрактности классу, запрета инстанцирования объекта данного класса. Миф о том, что не может иметь тела - миф, тело может быть, хоть это и не соответствует нынешнему стандарту. Отличается от чисто виртуальных функций тем, что производные классы не обязаны иметь определения деструктора.<br /><br /><li><b>Что происходит, если исключение выбрасывается в конструкторе?</b></li><br />Объект не создается, деструктор в дальнейшем не вызывается, отсюда возможная проблема - утечки памяти.<br /><br /><li><b>Что такое агрегация и композиция?</b></li><br /><ul><li>Композиция - методика создания сложных объектов или типов данных из более простых. Часто говорят, что объекты входящие в композицию сложного объекта находятся в отношении "has-a", это означает, что простые объекты принадлежат, подчиняются сложному. Сложный объект выполняет функцию сложнее, чем просто "сумма" функций простых. Пример: автомобиль (сложный объект) и колеса, руль (простые).</li><br /><li>Агрегация отличается от композиции тем, что отношение подчинения простых объектов сложному устраняется. Пример: университет и его факультеты (композиция), университет и его профессора (агрегация). Если перестает существовать университет перестают и факультеты, но не профессора.</li><br /></ul><li><b>Класс стратегия, класс свойств?</b></li><br /><br /><li><b>Что такое полиморфизм? Средства C++ реализующие полиморфизм.</b></li><br />Полиморфизм - взаимозаменяемость объектов с одинаковым интерфейсом. "Один интерфейс, много методов". Перегрузка операторов и функций, шаблоны, параметры по умолчанию - это примеры полиморфизма, относящегося ко времени компиляции. Полиморфизм периода выполнения реализуется использованием виртуальных функций. Надо заметить, что полиморфизм времени выполнения неразрывно связан с использование производных классов так как без них использование виртуальности не имеет смысла. <br /><br /><li><b>Что такое срезка <a href="http://en.wikipedia.org/wiki/Object_slicing">(slicing)</a></b></li> <br />Часто случается, что класс-родитель содержит меньше информации, чем класс-потомок. Присваивание объекту класса-родителя объект класса-потомка, либо передачу в функцию, принимающую объект класса-родителя, объекта класса-потомка и называют срезкой.<br /><br /><li><b>Как реализуется возможность перегрузки функций в С++?</b></li><br />Процесс разрешения перегрузки разделяют на три этапа:<br /><ul><br /><li>Выделяется множество перегруженных функций для данного вызова, а также свойства списка аргументов, переданных функции.</li><br /><li>Выбираются те из перегруженных функций, которые могут быть вызваны с данными аргументами, с учетом их количества и типов.</li><br /><li>Находится функция, которая лучше всего соответствует вызову. <i>Говорят, что здесь имеет место задача линейного программирования.</i></li></ul><br /><li><b>Когда может понадобиться конструктор объявленный с private?</b></li><br />Имеется информация как минимум о двух случаях обоснованности определения конструкторов в private:<br /><ul><br /><li>Копирующий конструктор. Во избежании багов возникающих из-за забытого символа ”&” в описании функции.</li><br /><li>Имеется необходимость создавать экземпляры класса только внутри иерархии.</li></ul><br /><li><b>Что такое RTTI?</b></li><br />Run-Time Type Identification. Динамическая идентификация типов. В языке С++ возникают ситуации, в которых тип объекта неизвестен во время компиляции, так как его природа сможет быть выяснена только в период выполнения. Полиморфизм влечет за собой такие ситуации. Инструментами RTTI в C++ являются операторы dynamic_cast и typeid. Последний используется для получения типа объекта во время выполнения программы.<br /><br /><li><b>Что такое static assert?</b></li><br />Аналог динамического assert для времени компиляции. <br />Примеры реализации:<br /><ul><font face="courier new" size="2"><br /><li>#define CASSERT(COND) \<br />typedef char __AP_COMM_CASSERT [(COND) ? 1 : -1]</li><br /><li>#define CASSERT(COND) \<br />switch(0){case 0:case (COND):;}</li></ul></font><br /><li><b>Что такое <a href="http://en.wikipedia.org/wiki/Liskov_substitution_principle">LSP</a>?</b></li><br />Liskov substitution principle. Принцип подстановки Барбары Лисков. Формулируется следующим образом: "Пусть q(x) является свойством верным относительно объектов x некоторого типа T. Тогда q(y) также должно быть верным для объектов y типа S, где S является подтипом типа T." Проще говоря, классы наследники обязаны обеспечивать ожидаемое обуславливаемое предком внешнее поведение.<br /><br /><li><b>Что такое <a href="http://en.wikipedia.org/wiki/Open/closed_principle">Open/Closed Principle</a>?</b></li><br />Формулировка: "Программы и сущности (классы, модули, функции) должны быть открыты для расширения и закрыты для изменения"<br /><br /><li><b>В чем отличие между <font face="courier new" size="2">typename</font> и <font face="courier new" size="2">class</font>?</b></li><br />По стандарту семантических и синтаксических различий нет. <i>Тут надо заметить, во избежании путаницы, что речь идет об отличиях указанных ключевых слов в контексте разговора о параметрах шаблонов. Ясно, что например при определении класса нужно писать <font face="courier new" size="2">class</font>, а не <font face="courier new" size="2">typename</font></i>.<br /><br /></ol><br /><br /><div style="text-align:left"><font size="-2"><a href="http://lj.rossia.org/users/smi13/645.html"><img src="http://lj.rossia.org/numreplies/smi13/645" border=0 width=26 height=17 alt="number of comments" style="border:0px;" /> <strong>Comments</strong></a></font></div> http://lj.rossia.org/users/smi13/645.html c++ programming