Операторы Указатель-к-Участника:. * и - >*

Статья
02/20/2013

expression .* expression
expression –>* 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;
}

Output

m_func1
m_func1
1
2

В предыдущем примере указателя на член, pmfnиспользуется для вызова функции-члена m_func1.Другой указателя на член, pmdиспользуется для доступа к m_num элемент.

Является оператором. * объединяет первого операнда, который должен быть объектом типа класса, со вторым операндом, который должен быть типом указатель-к-участника.

Оператор - binary >* объединяет первого операнда, который должен быть указателем на объект типа класса, со вторым операндом, который должен быть типом указатель-к-участника.

в содержать выражения. оператор *, первый операнд должен быть типа класса и доступен указатели на участнику, указанному во втором операнде или типа, производного от доступного однозначно и доступного для этого класса.

В выражении, содержащий - оператор >* первый операнд должен иметь тип «указателя к типу класса» типа, указанного во втором операнде, или он должен быть типа однозначно, производного от этого класса.

Пример

Рассмотрим следующие классы и фрагменте программы:

// 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() указатель на функцию, что возвращает пустое значение.Этот результат l-значение если второй операнд левостороннего значения.

Примечание
Если результат одного из операторов указатель-к-участника функция, результат может использоваться только в качестве операнда оператора вызова функции.

См. также

Ссылки

Операторы C++

Operator precedence and Associativity

Share via