メンバーへのポインター演算子: .* および ->*

  • [アーティクル]

構文

pm-expression=
  cast-expression
  pm-expression .* cast-expression
  pm-expression ->* cast-expression

解説

メンバーへのポインター演算子 (.* と ->*) は、式の左側で指定されたオブジェクトの特定のクラス メンバーの値を返します。 右側では、クラスのメンバーを指定する必要があります。 これらの演算子を使用する方法を次の例に示します。

// expre_Expressions_with_Pointer_Member_Operators.cpp
// compile with: /EHsc
#include <iostream>

using namespace std;

class Testpm {
public:
   void m_func1() { cout << "m_func1\n"; }
   int m_num;
};

// Define derived types pmfn and pmd.
// These types are pointers to members m_func1() and
// m_num, respectively.
void (Testpm::*pmfn)() = &Testpm::m_func1;
int Testpm::*pmd = &Testpm::m_num;

int main() {
   Testpm ATestpm;
   Testpm *pTestpm = new Testpm;

// Access the member function
   (ATestpm.*pmfn)();
   (pTestpm->*pmfn)();   // Parentheses required since * binds
                        // less tightly than the function call.

// Access the member data
   ATestpm.*pmd = 1;
   pTestpm->*pmd = 2;

   cout  << ATestpm.*pmd << endl
         << pTestpm->*pmd << endl;
   delete pTestpm;
}

出力

m_func1
m_func1
1
2

前の例では、メンバー関数 pmfn を呼び出すのに、メンバー m_func1 へのポインターが使用されています。 メンバーへの別のポインター pmd は、m_num メンバーにアクセスするために使用されます。

二項演算子 .* は、クラス型のオブジェクトである最初のオペランドを、メンバーへのポインター型である 2 番目のオペランドと組み合わせます。

二項演算子 ->* は、クラス型のオブジェクトへのポインターである最初のオペランドを、メンバーへのポインター型である 2 番目のオペランドと組み合わせます。

.* 演算子を含む式では、最初のオペランドは、2 番目のオペランドで指定されるメンバーへのポインターのクラス型であってそのポインターにアクセスできるか、または、そのクラスから明確に派生しているアクセス可能な型であってそのクラスにアクセスできる必要があります。

->* 演算子を含む式では、最初のオペランドは、2 番目のオペランドで指定される型の "クラス型へのポインター" 型であるか、またはそのクラスから明確に派生している型である必要があります。

例

次のクラスとプログラムのフラグメントを考えます。

// expre_Expressions_with_Pointer_Member_Operators2.cpp
// C2440 expected
class BaseClass {
public:
   BaseClass(); // Base class constructor.
   void Func1();
};

// Declare a pointer to member function Func1.
void (BaseClass::*pmfnFunc1)() = &BaseClass::Func1;

class Derived : public BaseClass {
public:
   Derived();  // Derived class constructor.
   void Func2();
};

// Declare a pointer to member function Func2.
void (Derived::*pmfnFunc2)() = &Derived::Func2;

int main() {
   BaseClass ABase;
   Derived ADerived;

   (ABase.*pmfnFunc1)();   // OK: defined for BaseClass.
   (ABase.*pmfnFunc2)();   // Error: cannot use base class to
                           // access pointers to members of
                           // derived classes.

   (ADerived.*pmfnFunc1)();   // OK: Derived is unambiguously
                              // derived from BaseClass.
   (ADerived.*pmfnFunc2)();   // OK: defined for Derived.
}

.* または ->* メンバーへのポインター演算子の結果は、メンバーへのポインターの宣言で指定した型のオブジェクトまたは関数です。 このため、上の例では、式 ADerived.*pmfnFunc1() の結果は void を返す関数へのポインターです。 この結果は、第 2 オペランドが左辺値の場合は左辺値です。

Note

メンバーへのポインター演算子のいずれかの結果が関数である場合、結果は関数呼び出し演算子のオペランドとしてのみ使用できます。

関連項目

C++ の組み込み演算子、優先順位、結合規則