Эффективный и современный С++. 42 рекомендации по использованию С++11 и С++14 - [6]

                            // (см. раздел 3.4)

Определение предоставляет информацию о расположении в памяти и деталях реализации:

int x;                    // Определение объекта

class Widget {            // Определение класса
};

bool func(const Widget& w)
 { return w.size() < 10; } // Определение функции

enum class Color
 { Yellow, Red, Blue };    // Определение перечисления

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

Сигнатуру функции я определяю как часть ее объявления, определяющую типы параметров и возвращаемый тип. Имена функции и параметров значения не имеют. В приведенном выше примере сигнатура функции func представляет собой bool(const Widget&). Исключаются элементы объявления функции, отличные от типов ее параметров и возвращаемого типа (например, noexcept или constexpr, если таковые имеются). (Модификаторы noexcept и constexpr описаны в разделах 3.8 и 3.9.) Официальное определение термина “сигнатура” несколько отличается от моего, но в данной книге мое определение оказывается более полезным. (Официальное определение иногда опускает возвращаемый тип.)

Новый стандарт С++ в общем случае сохраняет корректность кода, написанного для более старого стандарта, но иногда Комитет по стандартизации не рекомендует применять те или иные возможности. Такие возможности находятся в “камере смертников” стандартизации и могут быть убраны из новых версий стандарта. Компиляторы могут предупреждать об использовании программистом таких устаревших возможностей (но могут и не делать этого), но в любом случае их следует избегать. Они могут не только привести в будущем к головной боли при переносе, но и в общем случае они ниже по качеству, чем возможности, заменившие их. Например, std::auto_ptr не рекомендуется к применению в C++11, поскольку std::unique_ptr выполняет ту же работу, но лучше.

Иногда стандарт гласит, что результатом операции является неопределенное поведение (undefined behavior). Это означает, что поведение времени выполнения непредсказуемо, и от такой непредсказуемости, само собой разумеется, следует держаться подальше. Примеры действий с неопределенным поведением включают использование квадратных скобок ([]) для индексации за границами std::vector, разыменование неинициализированного итератора или гонку данных (т.е. когда два или более потоков, как минимум один из которых выполняет запись, одновременно обращаются к одному и тому же месту в памяти).

Я называю встроенный указатель, такой как возвращаемый оператором new, обычным указателем (raw pointer). Противоположностью обычному указателю является интеллектуальный указатель (smart pointer). Интеллектуальные указатели обычно перегружают операторы разыменования указателей (operator-> и operator*), хотя в разделе 4.3 поясняется, что интеллектуальный указатель std::weak_ptr является исключением.

Замечания и предложения

Я сделал все возможное, чтобы книга содержала только ясную, точную, полезную информацию, но наверняка есть способы сделать ее еще лучшей. Если вы найдете в книге ошибки любого рода (технические, разъяснительные, грамматические, типографские и т.д.) или если у вас есть предложения о том, как можно улучшить книгу, пожалуйста, напишите мне по адресу [email protected]. В новых изданиях книги ваши замечания и предложения обязательно будут учтены.

Список исправлений обнаруженных ошибок можно найти по адресу http://www.aristeia.com/BookErrata/emc++-errata.html.

От редакции

Редакция выражает признательность профессору университета Иннополис E. Зуеву за обсуждения и советы при работе над переводом данной книги.

Ждем ваших отзывов!

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

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

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

E-mail: [email protected]

WWW: http://www.williamspublishing.com

Наши почтовые адреса:

в России: 127055, Москва, ул. Лесная, д. 43, стр. 1

в Украине: 03150, Киев, а/я 152

Глава 1 Вывод типов

В С++98 имеется единственный набор правил вывода типов — для шаблонов функций. С++11 немного изменяет этот набор правил и добавляет два новых — для auto и для decltype. С++ 14 расширяет контексты использования ключевых слов auto и decltype. Все более широкое применение вывода типов освобождает вас от необходимости правильной записи очевидных или излишних типов. Он делает программы на С++ более легко адаптируемыми, поскольку изменение типа в одной точке исходного текста автоматически распространяется с помощью вывода типов на другие точки. Однако он может сделать код более сложным для восприятия, так как выводимые компилятором типы могут не быть настолько очевидными, как вам бы хотелось.