Может ли inline-функция быть рекурсивной?
Поскольку компилятор просто встраивает код inline-функции в место вызова, не имеет значения, является ли эта функция рекурсивной или нет. Компилятор будет просто копировать один и тот же код функции при каждом рекурсивном вызове.
Таким образом, рекурсивные inline-функции абсолютно допустимы и часто используются, когда нужна рекурсия без накладных расходов на стандартные вызовы функций.
Поскольку компилятор просто встраивает код inline-функции в место вызова, не имеет значения, является ли эта функция рекурсивной или нет. Компилятор будет просто копировать один и тот же код функции при каждом рекурсивном вызове.
Таким образом, рекурсивные inline-функции абсолютно допустимы и часто используются, когда нужна рекурсия без накладных расходов на стандартные вызовы функций.
Что такое vptr?
vptr означает «virtual pointer» (виртуальный указатель) и является частью механизма виртуальных функций и полиморфизма.
Когда класс содержит хотя бы одну виртуальную функцию, компилятор добавляет в этот класс скрытый указатель, который называется vptr. Этот указатель указывает на таблицу виртуальных функций, которая называется «таблицей виртуальных функций» или «vtable». В этой таблице содержатся указатели на реализации виртуальных функций для данного класса и всех его производных классов.
vptr означает «virtual pointer» (виртуальный указатель) и является частью механизма виртуальных функций и полиморфизма.
Когда класс содержит хотя бы одну виртуальную функцию, компилятор добавляет в этот класс скрытый указатель, который называется vptr. Этот указатель указывает на таблицу виртуальных функций, которая называется «таблицей виртуальных функций» или «vtable». В этой таблице содержатся указатели на реализации виртуальных функций для данного класса и всех его производных классов.
В чем отличие malloc от new?
malloc — выделение блока памяти в стиле Си, опасное с точки зрения приведения типов (non-typesafe), т.к. возвращает void* и требует обязательного приведения.
new — выделение блока памяти и последующий вызов конструктора, безопасное с точки зрения приведения типов (typesafe), т.к. тип возвращаемого значения определен заранее.
malloc — выделение блока памяти в стиле Си, опасное с точки зрения приведения типов (non-typesafe), т.к. возвращает void* и требует обязательного приведения.
new — выделение блока памяти и последующий вызов конструктора, безопасное с точки зрения приведения типов (typesafe), т.к. тип возвращаемого значения определен заранее.
Что такое деструктор?
Деструктор — это экземпляр функции-члена, который вызывается автоматически, если какой-либо объект собирается быть уничтоженным. Используется в основном для освобождения памяти.
Деструкторы не принимают аргументов и не возвращают типы, и их адрес не может быть получен.
Они могут быть объявлены как виртуальные или чисто виртуальные, но не как константные, изменчивые, константные изменчивые или статические.
Деструктор — это экземпляр функции-члена, который вызывается автоматически, если какой-либо объект собирается быть уничтоженным. Используется в основном для освобождения памяти.
Деструкторы не принимают аргументов и не возвращают типы, и их адрес не может быть получен.
Они могут быть объявлены как виртуальные или чисто виртуальные, но не как константные, изменчивые, константные изменчивые или статические.
Какая разница между модульными и интеграционными тестами?
Модульные тесты проверяют отдельные модули или компоненты системы по отдельности. Они позволяют протестировать корректность работы каждой единицы кода, независимо от остальной системы.
Интеграционные тесты проверяют работу нескольких модулей совместно, их взаимодействие. Цель — убедиться в корректной интеграции разных компонентов между собой.
Модульные тесты проверяют отдельные модули или компоненты системы по отдельности. Они позволяют протестировать корректность работы каждой единицы кода, независимо от остальной системы.
Интеграционные тесты проверяют работу нескольких модулей совместно, их взаимодействие. Цель — убедиться в корректной интеграции разных компонентов между собой.
Расскажите о битовых полях.
Битовые поля (bit fields) — это возможность в С++ объявить структуру или класс, в котором отдельные члены занимают указанное количество бит.
Это позволяет эффективно использовать память для хранения флагов, битовых масок и других небольших значений.
При обращении к этим полям происходят битовые операции. Можно устанавливать, сбрасывать биты, проверять их состояние.
Битовые поля позволяют гибко упаковывать данные и экономить память.
Но их использование усложняет код, делает его менее читабельным. Поэтому нужно применять с осторожностью, только когда экономия памяти критична.
Битовые поля (bit fields) — это возможность в С++ объявить структуру или класс, в котором отдельные члены занимают указанное количество бит.
Это позволяет эффективно использовать память для хранения флагов, битовых масок и других небольших значений.
При обращении к этим полям происходят битовые операции. Можно устанавливать, сбрасывать биты, проверять их состояние.
Битовые поля позволяют гибко упаковывать данные и экономить память.
Но их использование усложняет код, делает его менее читабельным. Поэтому нужно применять с осторожностью, только когда экономия памяти критична.
🧑💻 Статьи для IT: как объяснять и распространять значимые идеи
Напоминаем, что у нас есть бесплатный курс для всех, кто хочет научиться интересно писать — о программировании и в целом.
Что: семь модулей, посвященных написанию, редактированию, иллюстрированию и распространению публикаций.
Для кого: для авторов, копирайтеров и просто программистов, которые хотят научиться интересно рассказывать о своих проектах.
👉Материалы регулярно дополняются, обновляются и корректируются. А еще мы отвечаем на все учебные вопросы в комментариях курса.
Напоминаем, что у нас есть бесплатный курс для всех, кто хочет научиться интересно писать — о программировании и в целом.
Что: семь модулей, посвященных написанию, редактированию, иллюстрированию и распространению публикаций.
Для кого: для авторов, копирайтеров и просто программистов, которые хотят научиться интересно рассказывать о своих проектах.
👉Материалы регулярно дополняются, обновляются и корректируются. А еще мы отвечаем на все учебные вопросы в комментариях курса.
Почему std::make_pair больше не нужна?
В новых стандартах C++ она утратила актуальность по нескольким причинам:
— Появились инициализаторы со скобками {} для создания std::pair напрямую.
— Для вставки в контейнеры теперь есть функция emplace(), которая конструирует элемент прямо на месте.
— Можно использовать агрегатную инициализацию.
— Инициализаторы из C++17 позволяют сразу указывать ключ и значение.
В новых стандартах C++ она утратила актуальность по нескольким причинам:
— Появились инициализаторы со скобками {} для создания std::pair напрямую.
— Для вставки в контейнеры теперь есть функция emplace(), которая конструирует элемент прямо на месте.
— Можно использовать агрегатную инициализацию.
— Инициализаторы из C++17 позволяют сразу указывать ключ и значение.
Можно ли выбрасывать exception из конструктора? Какие поля будут сконструированы, какие поля будут разрушены?
в C++ выбрасывать исключения из конструктора можно. Это обычно делается, когда в процессе инициализации объекта происходит ошибка, и объект не может быть корректно сконструирован.
Если исключение выбрасывается из конструктора, то все поля, которые были успешно сконструированы до момента выброса исключения, будут корректно разрушены. Это гарантируется механизмом исключений в C++.
Важно помнить, что только те поля, которые были успешно сконструированы, будут разрушены. Если исключение выбрасывается в процессе конструирования поля, то это поле не будет разрушено, так как его конструктор не был успешно завершен.
в C++ выбрасывать исключения из конструктора можно. Это обычно делается, когда в процессе инициализации объекта происходит ошибка, и объект не может быть корректно сконструирован.
Если исключение выбрасывается из конструктора, то все поля, которые были успешно сконструированы до момента выброса исключения, будут корректно разрушены. Это гарантируется механизмом исключений в C++.
Важно помнить, что только те поля, которые были успешно сконструированы, будут разрушены. Если исключение выбрасывается в процессе конструирования поля, то это поле не будет разрушено, так как его конструктор не был успешно завершен.
Что такое делегирующий конструктор?
Делегирующий конструктор — это конструктор, который вызывает другой конструктор того же класса для инициализации объекта.
Это позволяет избежать дублирования кода инициализации при написании нескольких конструкторов для одного класса.
Например, если в классе определен конструктор с двумя параметрами, то конструктор с одним параметром может просто вызывать первый конструктор, передавая какое-то значение по умолчанию в качестве второго параметра.
Делегирующий конструктор — это конструктор, который вызывает другой конструктор того же класса для инициализации объекта.
Это позволяет избежать дублирования кода инициализации при написании нескольких конструкторов для одного класса.
Например, если в классе определен конструктор с двумя параметрами, то конструктор с одним параметром может просто вызывать первый конструктор, передавая какое-то значение по умолчанию в качестве второго параметра.
Сколько раз будет выполняться этот цикл?
Если бы вы сказали 300, а i был объявлен как int, вы были бы правы. Но поскольку i объявлен как unsigned char, правильный ответ — зацикливание (бесконечный цикл).
Объясняем. Выражение 2 * half_limit будет повышаться до int (на основе правил преобразования C++) и заимеет значение 300. Но так как i — это unsigned char, он пересматривается по 8-битному значению, которое после достижения 255 будет переполняться, поэтому вернется к 0, и цикл будет продолжаться вечно.
Если бы вы сказали 300, а i был объявлен как int, вы были бы правы. Но поскольку i объявлен как unsigned char, правильный ответ — зацикливание (бесконечный цикл).
Объясняем. Выражение 2 * half_limit будет повышаться до int (на основе правил преобразования C++) и заимеет значение 300. Но так как i — это unsigned char, он пересматривается по 8-битному значению, которое после достижения 255 будет переполняться, поэтому вернется к 0, и цикл будет продолжаться вечно.
Сколько в памяти занимает произвольная структура?
Ответ: sizeof всех членов + остаток для выравнивания (по умолчанию выравнивание 4 байта) + sizeof указателя на vtable (если есть виртуальные функции) + указатели на классы предков, от которых было сделано виртуальное наследование (размер указателя * количество классов).
Ответ: sizeof всех членов + остаток для выравнивания (по умолчанию выравнивание 4 байта) + sizeof указателя на vtable (если есть виртуальные функции) + указатели на классы предков, от которых было сделано виртуальное наследование (размер указателя * количество классов).
Что такое RAII?
RAII (Resource Acquisition Is Initialization) — это идиома в C++, которая используется для управления ресурсами, такими как память или файлы, с помощью механизма автоматического управления памятью (например, деструкторами объектов).
Идея RAII заключается в том, что ресурсы выделяются при создании объекта и освобождаются при уничтожении объекта, что происходит автоматически при выходе объекта из области видимости. Это позволяет гарантировать корректное управление ресурсами и избежать утечек.
RAII (Resource Acquisition Is Initialization) — это идиома в C++, которая используется для управления ресурсами, такими как память или файлы, с помощью механизма автоматического управления памятью (например, деструкторами объектов).
Идея RAII заключается в том, что ресурсы выделяются при создании объекта и освобождаются при уничтожении объекта, что происходит автоматически при выходе объекта из области видимости. Это позволяет гарантировать корректное управление ресурсами и избежать утечек.
Что такое const correctness?
Const correctness — это практика написания кода таким образом, чтобы правильно использовать ключевое слово const для обозначения неизменяемости (константности) данных и гарантировать, что эта константность сохраняется во всем коде. Это позволяет улучшить читаемость кода, облегчить его понимание и предостеречь от некоторых типичных ошибок.
Ключевое слово const может быть применено к разным элементам, таким как переменные, указатели, методы классов и аргументы функций.
Корректное использование const позволяет компилятору проводить дополнительные проверки на этапе компиляции, что помогает предотвратить случайные изменения данных, обеспечивая безопасность и надёжность кода.
Const correctness — это практика написания кода таким образом, чтобы правильно использовать ключевое слово const для обозначения неизменяемости (константности) данных и гарантировать, что эта константность сохраняется во всем коде. Это позволяет улучшить читаемость кода, облегчить его понимание и предостеречь от некоторых типичных ошибок.
Ключевое слово const может быть применено к разным элементам, таким как переменные, указатели, методы классов и аргументы функций.
Корректное использование const позволяет компилятору проводить дополнительные проверки на этапе компиляции, что помогает предотвратить случайные изменения данных, обеспечивая безопасность и надёжность кода.
Какие методы можно вызвать из константных объектов?
Из константных объектов можно вызывать только константные методы — методы, которые помечены ключевым словом const.
Константные методы не меняют состояние объекта, а только читают данные. Они гарантируют, что работа с объектом будет безопасной.
Неконстантные же методы могут изменять состояние объекта. Их нельзя вызвать из константного объекта, чтобы избежать непреднамеренного изменения объекта.
Таким образом константность защищает объект от изменений там, где это нужно. А разделение на константные и неконстантные методы дает возможность гибко управлять доступом к данным в объекте.
Из константных объектов можно вызывать только константные методы — методы, которые помечены ключевым словом const.
Константные методы не меняют состояние объекта, а только читают данные. Они гарантируют, что работа с объектом будет безопасной.
Неконстантные же методы могут изменять состояние объекта. Их нельзя вызвать из константного объекта, чтобы избежать непреднамеренного изменения объекта.
Таким образом константность защищает объект от изменений там, где это нужно. А разделение на константные и неконстантные методы дает возможность гибко управлять доступом к данным в объекте.
Что случится, если exception выйдет за пределы потока?
Если exception выходит за пределы потока, то оно не может быть обработано на текущем уровне, т. к. он уже завершен. В таком случае исключение будет зарегистрировано как неперехваченное и может привести к аварийному завершению программы.
Чтобы избежать данной ситуации, необходимо обернуть код, где может возникнуть исключение, в try-catch блок на том же уровне, что и поток, с которым он связан.
Если exception выходит за пределы потока, то оно не может быть обработано на текущем уровне, т. к. он уже завершен. В таком случае исключение будет зарегистрировано как неперехваченное и может привести к аварийному завершению программы.
Чтобы избежать данной ситуации, необходимо обернуть код, где может возникнуть исключение, в try-catch блок на том же уровне, что и поток, с которым он связан.