std::is_structural
Определён в заголовке <type_traits> | ||
|---|---|---|
template< class T > struct is_structural; | (начиная с C++26) |
std::is_structural — это унарный типовой признак.
Если T является структурным типом, предоставляет константу-член value, равную true. Для любого другого типа value равно false.
Если программа добавляет специализации для std::is_structural или std::is_structural_v, поведение не определено.
Параметры шаблона
| T | - | тип для проверки |
Вспомогательный шаблон переменной
template< class T > constexpr bool is_structural_v = is_structural<T>::value; | (начиная с C++26) |
Унаследовано от std::integral_constant
Константы-члены
|
value
[static] |
true, если T является структурным типом, иначе false (открытая статическая константа-член) |
Функции-члены
|
operator bool | преобразует объект в bool, возвращает value (открытая функция-член) |
|
operator()
(C++14) | возвращает value (открытая функция-член) |
Типы-члены
| Тип | Определение |
|---|---|
value_type | bool |
type | std::integral_constant<bool,value> |
Примечания
| Макрос проверки поддержки возможностей | Значение | Стандарт | Возможность |
|---|---|---|---|
__cpp_lib_is_structural | 202603L | (C++26) |
std::is_structural |
Пример
#include <type_traits>
struct S { int x; };
class Bad1 { int x; };
struct Bad2 { mutable int x; };
struct A { int a[2][3]; };
struct B : public S {}; // OK: public base of structural type
struct C : private S {}; // not structural: private base
auto L = [](int n){ return -n; }; // captureless lambda
static_assert( std::is_structural_v<int>); // scalar
static_assert( std::is_structural_v<int&>); // lvalue ref
static_assert(!std::is_structural_v<int&&>); // rvalue ref
static_assert( std::is_structural_v<S>);
static_assert(!std::is_structural_v<Bad1>);
static_assert(!std::is_structural_v<Bad2>);
static_assert( std::is_structural_v<A>);
static_assert( std::is_structural_v<B>);
static_assert(!std::is_structural_v<C>);
static_assert( std::is_structural_v<decltype(L)>);
int main() { }
См. также
|
(C++26) | проверяет, является ли отражённый тип структурным типом (функция) |
© cppreference.com
Licensed under the Creative Commons Attribution-ShareAlike Unported License v3.0.
https://en.cppreference.com/cpp/types/is_structural
