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

std::is_constructible, std::is_trivially_constructible, std::is_nothrow_constructible

Материал из 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_constructibleis_trivially_constructibleis_nothrow_constructible
Отношения собственности и запросов
Оригинал:
Relationships and property queries
Текст был переведён автоматически используя Переводчик Google.
Вы можете проверить и исправить перевод. Для инструкций щёлкните сюда.
Тип модификаций
Оригинал:
Type modifications
Текст был переведён автоматически используя Переводчик Google.
Вы можете проверить и исправить перевод. Для инструкций щёлкните сюда.
Тип преобразования
Оригинал:
Type transformations
Текст был переведён автоматически используя Переводчик Google.
Вы можете проверить и исправить перевод. Для инструкций щёлкните сюда.
Характеристики типов констант
Оригинал:
Type trait constants
Текст был переведён автоматически используя Переводчик Google.
Вы можете проверить и исправить перевод. Для инструкций щёлкните сюда.
 
Defined in header <type_traits>
template< class T, class... Args >
struct is_constructible;
(1) (начиная с C++11)
template< class T, class... Args >
struct is_trivially_constructible;
(2) (начиная с C++11)
template< class T, class... Args >
struct is_nothrow_constructible;
(3) (начиная с C++11)

1) Если T является типом функции или (с возможными cv-квалификаторами) void, предоставляет константу-член value, которая будет равна false. Иначе, если определение переменной T obj(std::declval<Args>()...); является корректным, то value будет равна true, иначе false. Цель этой проверки в том, чтобы определение переменной никогда не интерпретировалось за определение функции и использование std::declval не считалось за использования правила единственного определения. Проверка доступа осуществляется так, как если определение находилось вне контекста T и любого типа в Args. Рассматриваются непосредственно только действия в контексте определения переменной.

2) Также как 1), но определение переменной не должно вызывать любые операции, которые не являются тривиальными. В этой проверке std::declval считается за тривиальным.

3) Также как 1), но определение переменной должно быть noexcept.

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

Содержание

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

template< class T, class... Args >
constexpr bool is_constructible_v = is_constructible<T, Args...>::value;
(начиная с C++17)
template< class T, class... Args >
constexpr bool is_trivially_constructible_v = is_trivially_constructible<T, Args...>::value;
(начиная с C++17)
template< class T, class... Args >
constexpr bool is_nothrow_constructible_v = is_nothrow_constructible<T, Args...>::value;
(начиная с C++17)

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

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

value
[static]
true, если T конструируется из Args... , иначе false
(public static константа-член)

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

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

Типы-члены

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

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

Во многих реализациях is_nothrow_constructible также проверяет вызывает ли исключения деструктор, так как эффективно использовать noexept(T(arg)). Такое же применимо и для is_trivially_constructible, которое, в этих реализациях требует, чтобы и деструктор был тривиальным: GCC bug 51452 LWG issue 2116.

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

#include <iostream>
#include <type_traits>
 
class Foo {
    int v1;
    double v2;
 public:
    Foo(int n) : v1(n), v2() {}
    Foo(int n, double f) noexcept : v1(n), v2(f) {}
};
 
int main() {
    std::cout << "Foo \n" << std::boolalpha
              << "\tТривиально конструируется из const Foo&? "
              << std::is_trivially_constructible<Foo, const Foo&>::value << '\n'
              << "\tТривиально конструируется из int? "
              << std::is_trivially_constructible<Foo, int>::value << '\n'
              << "\tКонструируется из int? "
              << std::is_constructible<Foo, int>::value << '\n'
              << "\tКонструируется без исключений из int? "
              << std::is_nothrow_constructible<Foo, int>::value << '\n'
              << "\tКонструируется без исключений из int и double? "
              << std::is_nothrow_constructible<Foo, int, double>::value << '\n';
}

Вывод:

Foo
        Тривиально конструируется из const Foo&? true
        Тривиально конструируется из int? false
        Конструируется из int? true
        Конструируется без исключений из int? false
        Конструируется без исключений из int и double? true

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

Проверяет имеет ли тип конструктор по умолчанию или нет
(шаблон класса) [править]
Проверяет имеет ли тип конструктор копирования или нет
(шаблон класса) [править]
Проверяет имеет ли тип конструктор переноса или нет
(шаблон класса) [править]
проверяет, поддерживает ли указанный тип использование аллокаторов
(шаблон класса) [править]
Шаблонная переменная, являющая псевдонимом для std::is_constructible::value
(шаблонная переменная) [править]
Шаблонная переменная, являющая псевдонимом для std::is_trivially_constructible::value
(шаблонная переменная) [править]
Шаблонная переменная, являющая псевдонимом для std::is_nothrow_constructible::value
(шаблонная переменная) [править]