Movatterモバイル変換


[0]ホーム

URL:


cppreference.com
Namespaces
Variants
    Actions

      std::is_aggregate

      From cppreference.com
      <cpp‎ |types
       
       
      Metaprogramming library
      Type traits
      Type categories
      (C++11)
      (C++11)(DR*)
      (C++11)
      (C++11)
      (C++11)
      (C++11)
      (C++11)
      (C++11) 
      Type properties
      (C++11)
      (C++11)
      (C++14)
      is_aggregate
      (C++17)
      (C++11)(deprecated in C++26)
      (C++11)(until C++20*)
      (C++11)(deprecated in C++20)
      (C++11)
      Type trait constants
      Metafunctions
      (C++17)
      Supported operations
      Relationships and property queries
      Type modifications
      Type transformations
      (C++11)(deprecated in C++23)
      (C++11)(deprecated in C++23)
      (C++11)
      (C++11)(until C++20*)(C++17)

      Compile-time rational arithmetic
      Compile-time integer sequences
       
      Defined in header<type_traits>
      template<class T>
      struct is_aggregate;
      (since C++17)

      std::is_aggregate is aUnaryTypeTrait.

      IfT is anaggregate type, provides the member constantvalue equaltrue. For any other type,value isfalse.

      IfT is an incomplete type other than an array type or (possibly cv-qualified)void, the behavior is undefined.

      If the program adds specializations forstd::is_aggregate orstd::is_aggregate_v, the behavior is undefined.

      Contents

      [edit]Template parameters

      T - a type to check

      [edit]Helper variable template

      template<class T>
      constexprbool is_aggregate_v= is_aggregate<T>::value;
      (since C++17)
      [edit]

      Inherited fromstd::integral_constant

      Member constants

      value
      [static]
      true ifT is an aggregate type,false otherwise
      (public static member constant)

      Member functions

      operator bool
      converts the object tobool, returnsvalue
      (public member function)
      operator()
      (C++14)
      returnsvalue
      (public member function)

      Member types

      Type Definition
      value_typebool
      typestd::integral_constant<bool, value>

      [edit]Notes

      Feature-test macroValueStdFeature
      __cpp_lib_is_aggregate201703L(C++17)std::is_agregate

      [edit]Example

      Run this code
      #include <algorithm>#include <cassert>#include <cstddef>#include <new>#include <string_view>#include <type_traits>#include <utility> // Constructs a T at the uninitialized memory pointed to by p using// list-initialization for aggregates and non-list initialization otherwise.template<class T,class...Args>T* construct(T* p, Args&&...args){ifconstexpr(std::is_aggregate_v<T>)return::new(static_cast<void*>(p)) T{std::forward<Args>(args)...};elsereturn::new(static_cast<void*>(p)) T(std::forward<Args>(args)...);} struct A{int x, y;};static_assert(std::is_aggregate_v<A>); struct B{int i;std::string_view str;     B(int i,std::string_view str): i(i), str(str){}};static_assert(not std::is_aggregate_v<B>); template<typename...Ts>using aligned_storage_t= alignas(Ts...)std::byte[std::max({sizeof(Ts)...})]; int main(){    aligned_storage_t<A, B> storage;     A& a=*construct(reinterpret_cast<A*>(&storage),1,2);assert(a.x==1 and a.y==2);     B& b=*construct(reinterpret_cast<B*>(&storage),3,"4");assert(b.i==3 and b.str=="4");}

      [edit]Defect reports

      The following behavior-changing defect reports were applied retroactively to previously published C++ standards.

      DRApplied toBehavior as publishedCorrect behavior
      LWG 3823C++17The behavior is undefined ifT is an array type but
      std::remove_all_extents_t<T> is an incomplete type.
      The behavior is defined regardless of the
      incompleteness ofstd::remove_all_extents_t<T>
      as long asT is an array type.
      Retrieved from "https://en.cppreference.com/mwiki/index.php?title=cpp/types/is_aggregate&oldid=172354"

      [8]ページ先頭

      ©2009-2025 Movatter.jp