<type_traits>

類模板
<type_traits>

std::is_scalar

template <class T> struct is_scalar;
Is scalar type

Trait class that identifies whether T is a scalar type. A scalar type is a type that has built-in functionality for the addition operator without overloads (arithmetic, pointer, member pointer, enum andstd::nullptr_t).

它繼承自 integral_constant,並根據Tis a scalar type, no matter its const and/or volative qualification.

這是一個複合型別特徵,其行為與以下程式碼相同:
1
2
3
4
5
template<class T>
struct is_scalar : std::integral_constant < bool,
         is_arithmetic<T>::value || is_pointer<T>::value ||
         is_member_pointer<T>::value || is_enum<T>::value ||
         is_same<nullptr_t, typename remove_cv<T>::type>::value> {};

模板引數

T
一個型別。

成員型別

Inherited from integral_constant
成員型別定義
value_typebool
型別true_type 或 false_type

成員常量

Inherited from integral_constant
成員常量定義
trueorfalse

成員函式

Inherited from integral_constant

示例

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
// is_scalar example
#include <iostream>
#include <type_traits>

class A {};

int main() {
  std::cout << std::boolalpha;
  std::cout << "is_scalar:" << std::endl;
  std::cout << "int: " << std::is_scalar<int>::value << std::endl;
  std::cout << "A: " << std::is_scalar<A>::value << std::endl;
  std::cout << "A&: " << std::is_scalar<A&>::value << std::endl;
  std::cout << "A*: " << std::is_scalar<A*>::value << std::endl;
  std::cout << "int(int): " << std::is_scalar<int(int)>::value << std::endl;
  std::cout << "int(*)(int): " << std::is_scalar<int(*)(int)>::value << std::endl;
  return 0;
}

輸出
is_scalar:
int: true
A: false
A&: false
A*: true
int(int): false
int(*)(int): true


另見