Пространства имён
Варианты
Действия

std::is_destructible, std::is_trivially_destructible, std::is_nothrow_destructible

Материал из cppreference.com
< cpp‎ | types
 
 
 
Поддержка типов
Основные типы
Оригинал:
Basic types
Текст был переведён автоматически используя Переводчик Google.
Вы можете проверить и исправить перевод. Для инструкций щёлкните сюда.
Основные типы
Исправлены типы целых ширину (C++11)
Числовые пределы
Оригинал:
Numeric limits
Текст был переведён автоматически используя Переводчик Google.
Вы можете проверить и исправить перевод. Для инструкций щёлкните сюда.
С числовым ограничивает интерфейс
Время тип информации
Оригинал:
Runtime type information
Текст был переведён автоматически используя Переводчик Google.
Вы можете проверить и исправить перевод. Для инструкций щёлкните сюда.
Тип черты
Оригинал:
Type traits
Текст был переведён автоматически используя Переводчик Google.
Вы можете проверить и исправить перевод. Для инструкций щёлкните сюда.
Первичные категории типа
Оригинал:
Primary type categories
Текст был переведён автоматически используя Переводчик Google.
Вы можете проверить и исправить перевод. Для инструкций щёлкните сюда.
Тип свойства
Оригинал:
Type properties
Текст был переведён автоматически используя Переводчик Google.
Вы можете проверить и исправить перевод. Для инструкций щёлкните сюда.
Поддерживаемые операции
Оригинал:
Supported operations
Текст был переведён автоматически используя Переводчик Google.
Вы можете проверить и исправить перевод. Для инструкций щёлкните сюда.
is_destructibleis_trivially_destructibleis_nothrow_destructible
Отношения собственности и запросов
Оригинал:
Relationships and property queries
Текст был переведён автоматически используя Переводчик Google.
Вы можете проверить и исправить перевод. Для инструкций щёлкните сюда.
Тип модификаций
Оригинал:
Type modifications
Текст был переведён автоматически используя Переводчик Google.
Вы можете проверить и исправить перевод. Для инструкций щёлкните сюда.
Тип преобразования
Оригинал:
Type transformations
Текст был переведён автоматически используя Переводчик Google.
Вы можете проверить и исправить перевод. Для инструкций щёлкните сюда.
Характеристики типов констант
Оригинал:
Type trait constants
Текст был переведён автоматически используя Переводчик Google.
Вы можете проверить и исправить перевод. Для инструкций щёлкните сюда.
 
Defined in header <type_traits>
template< class T >
struct is_destructible;
(1) (начиная с C++11)
template< class T >
struct is_trivially_destructible;
(2) (начиная с C++11)
template< class T >
struct is_nothrow_destructible;
(3) (начиная с C++11)
.
1) Если какая-та структура содержит член объекта типа T, у которого не удалён деструктор, то предоставляет константу-член value, которая равна true. Для всех остальных типов она равна false. (до C++14)

1) Если T является типом ссылки, то предоставляет константу-член, которая равна true

Если T является неполным типом (включая void) или типом функции, то она будет равна false.

Если T является типом объекта, далее тип U равен std::remove_all_extents<T>::type, то если выражение std::declval<U&>().~U() корректно в контексте, не требующем выполнение, то она будет равна true, иначе false
(начиная с C++14)

2) Также как и 1), но деструктор не должен выполнять любые нетривиальные операции

3) Также как и 1), но деструктор не должен вызывать исключения

T должен быть завершенным типом, (с возможными cv-квалификаторами) void или массивом с неизвестными границами. Иначе поведение будет не определено.

Содержание

[править] Вспомогательные шаблонные переменные

template< class T >
constexpr bool is_destructible_v = is_destructible<T>::value;
(начиная с C++17)
template< class T >
constexpr bool is_trivially_destructible_v = is_trivially_destructible<T>::value;
(начиная с C++17)
template< class T >
constexpr bool is_nothrow_destructible_v = is_nothrow_destructible<T>::value;
(начиная с C++17)

Унаследован от std::integral_constant

Константы-члены

value
[static]
true, если T is destructible, иначе false
(public static константа-член)

Функции-члены

operator bool
Преобразует объект в bool, возвращается value
(public функция-член)
operator()
(C++14)
Возвращает value
(public функция-член)

Типы-члены

Тип Определение
value_type bool
type std::integral_constant<bool, value>

[править] Примечание

Так как программа C++ завершается, если деструктор вызывает исключение, когда стек разматывается (состояние которого нельзя предвидеть), то все применяемые на практике деструкторы не вызывают исключения, даже если они не объявлены с noexcept. Все деструкторы стандартной библиотеки C++ не вызывают исключения.

Память, занятая удаляемыми тривиально объектами, может заново использована без вызова деструктора.

[править] Пример

#include <iostream>
#include <string>
#include <type_traits>
struct Foo {
   std::string str;
   ~Foo() noexcept {};
};
struct Bar {
    ~Bar() = default;
};
int main() {
    std::cout << std::boolalpha
              << "std::string удаляем? "
              << std::is_destructible<std::string>::value << '\n'
              << "Foo удаляем без исключений? "
              << std::is_nothrow_destructible<Foo>::value << '\n'
              << "Bar удаляем тривиально? "
              << std::is_trivially_destructible<Bar>::value << '\n';
}

Вывод:

std::string удаляем? true
Foo удаляем без исключений? true
Bar удаляем тривиально? true

[править] См. также

Проверяет имеет ли тип конструктор для конкретных аргументов или нет
(шаблон класса) [править]
Проверяет имеет ли тип виртуальный деструктор или нет
(шаблон класса) [править]
(library fundamentals TS)
Шаблонная переменная, являющая псевдонимом для std::is_destructible::value
(шаблонная переменная) [править]
Шаблонная переменная, являющая псевдонимом для std::is_trivially_destructible::value
(шаблонная переменная) [править]
Шаблонная переменная, являющая псевдонимом для std::is_nothrow_destructible::value
(шаблонная переменная) [править]