名前空間
変種
操作

std::is_member_function_pointer

From cppreference.com
< cpp‎ | types
 
 
メタプログラミングライブラリ
型特性
型のカテゴリ
(C++11)
(C++11)(DR*)
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)
(C++11) 
(C++11)
(C++11)
is_member_function_pointer
(C++11)
型のプロパティ
(C++11)
(C++11)
(C++14)
(C++11)(C++26で非推奨)
(C++11)(C++20まで*)
(C++11)(C++20で非推奨)
(C++11)
型特性定数
メタ関数
(C++17)
サポートされている操作
関係とプロパティクエリ
型の変更
(C++11)(C++11)(C++11)
型の変換
(C++11)(C++23で非推奨)
(C++11)(C++23で非推奨)
(C++11)
(C++11)(C++20まで*)(C++17)

(C++11)
(C++17)
コンパイル時有理数演算
コンパイル時整数シーケンス
 
ヘッダ <type_traits> で定義
template< class T >
struct is_member_function_pointer;
(C++11以降)

std::is_member_function_pointerUnaryTypeTrait です。

T が非静的メンバー関数ポインタであるかをチェックします。T が非静的メンバー関数ポインタ型である場合、valuetrue に等しくなります。そうでなければ、valuefalse に等しくなります。

プログラムが std::is_member_function_pointer または std::is_member_function_pointer_v の特殊化を追加した場合、その動作は未定義です。

目次

[編集] テンプレートパラメータ

T - チェックする型

[編集] ヘルパー変数テンプレート

template< class T >

constexpr bool is_member_function_pointer_v =

    is_member_function_pointer<T>::value;
(C++17以降)

std::integral_constant から継承

メンバ定数

value
[static]
T がメンバー関数ポインタ型である場合は true、そうでない場合は false
(公開静的メンバ定数)

メンバ関数

operator bool
オブジェクトを bool に変換し、value を返します。
(public member function)
operator()
(C++14)
value を返します。
(public member function)

メンバ型

定義
value_type bool
type std::integral_constant<bool, value>

[編集] 実装例

template<class T>
struct is_member_function_pointer_helper : std::false_type {};
 
template<class T, class U>
struct is_member_function_pointer_helper<T U::*> : std::is_function<T> {};
 
template<class T>
struct is_member_function_pointer 
    : is_member_function_pointer_helper<typename std::remove_cv<T>::type> {};

[編集]

#include <type_traits>
 
class A
{
public:
    void member() {}
};
 
int main()
{
    // fails at compile time if A::member is a data member and not a function
    static_assert(std::is_member_function_pointer<decltype(&A::member)>::value,
                  "A::member is not a member function."); 
}

[編集] 関連項目

型がポインタ型であるかをチェックする
(クラステンプレート) [編集]
型が非静的メンバオブジェクトポインタであるかをチェックする
(クラステンプレート) [編集]
型が非静的メンバ関数またはオブジェクトへのポインタであるかをチェックする
(クラステンプレート) [編集]
English 日本語 中文(简体) 中文(繁體)