C++

參考

<type_traits>

類模板
<type_traits>

std::is_member_pointer

template <class T> struct is_member_pointer;
成員指標型別

用於識別T是否為非靜態成員指標的特性類。

它繼承自 integral_constant，並根據T是非靜態資料成員指標或非靜態成員函式指標。

這是一個複合型別特徵，其行為與以下程式碼相同：
1
2
3
 
template<class T>
struct is_member_pointer : std::integral_constant < bool,
    is_member_object_pointer<T>::value || is_member_function_pointer<T>::value> {};

模板引數

T
一個型別。

成員型別

繼承自integral_constant
成員型別定義
value_typebool
型別true_type 或 false_type

成員常量

繼承自integral_constant
成員常量定義
值是true或false

成員函式

繼承自integral_constant
operator bool
返回 value (public member function)

示例

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

struct A { int x; };

int main() {
  int A::* pt = &A::x;
  std::cout << std::boolalpha;
  std::cout << "is_member_pointer:" << std::endl;
  std::cout << "A*: " << std::is_member_pointer<A*>::value << std::endl;
  std::cout << "int A::*: " << std::is_member_pointer<int A::*>::value << std::endl;
  std::cout << "void(A::*)(): " << std::is_member_pointer<void(A::*)()>::value << std::endl;
  std::cout << "decltype(pt): " << std::is_member_pointer<decltype(pt)>::value << std::endl;
  return 0;
}

輸出
is_member_pointer:
A*: false
int A::*: true
void(A::*)(): true
decltype(pt): true


另見

is_member_object_pointer
是否為成員物件指標 （類模板）
is_member_function_pointer
是否為成員函式指標 （類模板）
is_pointer
是否為指標 （類模板）