ply logical operators to other type traits.

Defined in header ` [ <type_traits> ](/w/cpp/header/type_traits
"cpp/header/type traits") `  
---  
[ conjunction  ](/w/cpp/types/conjunction "cpp/types/conjunction") (C++17)  |  variadic logical AND metafunction   
(class template)  [ [edit]
](https://en.cppreference.com/mwiki/index.php?title=Template:cpp/types/dsc_conjunction&action=edit)  
[ disjunction  ](/w/cpp/types/disjunction "cpp/types/disjunction") (C++17)  |  variadic logical OR metafunction   
(class template)  [ [edit]
](https://en.cppreference.com/mwiki/index.php?title=Template:cpp/types/dsc_disjunction&action=edit)  
[ negation  ](/w/cpp/types/negation "cpp/types/negation") (C++17)  |  logical NOT metafunction   
(class template)  [ [edit]
](https://en.cppreference.com/mwiki/index.php?title=Template:cpp/types/dsc_negation&action=edit)  
  
####  [ [ edit ](/mwiki/index.php?title=cpp/meta&action=edit&section=9 "Edit
section: Member relationships") ]  Member relationships

Defined in header ` [ <type_traits> ](/w/cpp/header/type_traits
"cpp/header/type traits") `  
---  
[ is_pointer_interconvertible_with_class  ](/w/cpp/types/is_pointer_interconvertible_with_class "cpp/types/is pointer interconvertible with class") (C++20)  |  checks if objects of a type are pointer-interconvertible with the specified subobject of that type   
(function template)  [ [edit]
](https://en.cppreference.com/mwiki/index.php?title=Template:cpp/types/dsc_is_pointer_interconvertible_with_class&action=edit)  
[ is_corresponding_member  ](/w/cpp/types/is_corresponding_member "cpp/types/is corresponding member") (C++20)  |  checks if two specified members correspond to each other in the common initial subsequence of two specified types   
(function template)  [ [edit]
](https://en.cppreference.com/mwiki/index.php?title=Template:cpp/types/dsc_is_corresponding_member&action=edit)  
  
###  [ [ edit ](/mwiki/index.php?title=cpp/meta&action=edit&section=10 "Edit
section: Compile-time rational arithmetic") ]  [ Compile-time rational
arithmetic ](/w/cpp/numeric/ratio "cpp/numeric/ratio")

The header [ ` <ratio> ` ](/w/cpp/header/ratio "cpp/header/ratio") provides [
types and functions for manipulating and storing compile-time ratios
](/w/cpp/numeric/ratio "cpp/numeric/ratio") .

###  [ [ edit ](/mwiki/index.php?title=cpp/meta&action=edit&section=11 "Edit
section: Compile-time integer sequences") ]  Compile-time integer sequences

Defined in header ` [ <utility> ](/w/cpp/header/utility "cpp/header/utility")
`  
---  
[ integer_sequence  ](/w/cpp/utility/integer_sequence "cpp/utility/integer sequence") (C++14)  |  implements compile-time sequence of integers   
(class template)  [ [edit]
](https://en.cppreference.com/mwiki/index.php?title=Template:cpp/utility/dsc_integer_sequence&action=edit)  
  
Retrieved from " [
https://en.cppreference.com/mwiki/index.php?title=cpp/meta&oldid=169950
](https://en.cppreference.com/mwiki/index.php?title=cpp/meta&oldid=169950) "

#####  Navigation

  * [ Support us ](http://www.cppreference.com/support)
  * [ Recent changes ](/w/Special:RecentChanges "A list of recent changes in the wiki \[r\]")
  * [ FAQ ](/w/Cppreference:FAQ)
  * [ Offline version ](/w/Cppreference:Archives)

#####  Toolbox

  * [ What links here ](/w/Special:WhatLinksHere/cpp/meta "A list of all wiki pages that link here \[j\]")
  * [ Related changes ](/w/Special:RecentChangesLinked/cpp/meta "Recent changes in pages linked from this page \[k\]")
  * [ Upload file ](http://upload.cppreference.com/w/Special:Upload "Upload files \[u\]")
  * [ Special pages ](/w/Special:SpecialPages "A list of all special pages \[q\]")
  * [ Printable version ](/mwiki/index.php?title=cpp/meta&printable=yes "Printable version of this page \[p\]")
  * [ Permanent link ](/mwiki/index.php?title=cpp/meta&oldid=169950 "Permanent link to this revision of the page")
  * [ Page information ](/mwiki/index.php?title=cpp/meta&action=info)

  * In other languages 

  * [ Deutsch ](http