| Type traits | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
| |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Compile-time rational arithmetic | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Compile-time integer sequences | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
(C++14) | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Defined in header <type_traits> | ||
template<class T> struct is_scalar; | (since C++11) | |
std::is_scalar is aUnaryTypeTrait.
IfT is ascalar type, provides the member constantvalue equaltrue. For any other type,value isfalse.
If the program adds specializations forstd::is_scalar orstd::is_scalar_v, the behavior is undefined.
Contents |
| T | - | a type to check |
template<class T> constexprbool is_scalar_v= is_scalar<T>::value; | (since C++17) | |
value [static] | true ifT is a scalar type,false otherwise(public static member constant) |
operator bool | converts the object tobool, returnsvalue (public member function) |
operator() (C++14) | returnsvalue (public member function) |
| Type | Definition |
value_type | bool |
type | std::integral_constant<bool, value> |
Each individual memory location in the C++ memory model, including the hidden memory locations used by language features (e.g. virtual table pointer), has scalar type (or is a sequence of adjacent bit-fields of non-zero length). Sequencing of side-effects in expression evaluation, inter-thread synchronization, and dependency ordering are all defined in terms of individual scalar objects.
template<class T>struct is_scalar:std::integral_constant<bool,std::is_arithmetic<T>::value||std::is_enum<T>::value||std::is_pointer<T>::value||std::is_member_pointer<T>::value||std::is_null_pointer<T>::value>{}; |
#include <iostream>#include <type_traits>#include <typeinfo>#include <utility> template<typename Head,typename...Tail>void are_scalars(Head&& head, Tail&&...tail){using T=std::decay_t<decltype(head)>; std::cout<<typeid(T).name()<<" is "<<(std::is_scalar_v<T>?"":"not ")<<"a scalar\n"; ifconstexpr(sizeof...(Tail)){ are_scalars(std::forward<decltype(tail)>(tail)...);}} int main(){struct S{int m;} s;int S::* mp=&S::m;enumclass E{ e}; are_scalars(42,3.14, E::e,"str", mp, nullptr, s);}
Possible output:
int is a scalardouble is a scalarmain::E is a scalarchar const* is a scalarint main::S::* is a scalarnullptr is a scalarmain::S is not a scalar
(C++11) | checks if a type is an arithmetic type (class template)[edit] |
(C++11) | checks if a type is an enumeration type (class template)[edit] |
(C++11) | checks if a type is a pointer type (class template)[edit] |
(C++11) | checks if a type is a pointer to a non-static member function or object (class template)[edit] |
