Операторы указателей на члены: .* и ->*
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;
}
Вывод
m_func1
m_func1
1
2
В приведенном выше примере указатель на член, pmfn, используется для вызова функции-члена m_func1. Другой указатель на член, pmd, используется для обращения к члену m_num.
Бинарный оператор .* объединяет свой первый операнд, который должен быть объектом типа класса, со своим вторым операндом, который должен иметь тип указателя на член.
Бинарный оператор –>* объединяет свой первый операнд, который должен быть указателем на объект типа класса, со своим вторым операндом, который должен иметь тип указателя на член.
В выражении с оператором .* первый операнд должен относиться к тому же типу класса, что и указатель на член, заданный во втором операнде (и быть доступным для него), или иметь доступный тип, однозначно производный от этого класса и доступный для него.
В выражении с оператором –>* первый операнд должен иметь тип "указатель на тип класса" того типа, который задан вторым операндом, или иметь тип, однозначно производный от этого класса.
Пример
Рассмотрим следующие классы и фрагмент программы:
// 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). Если второй операнд имеет l-значение, то и результатом будет l-значение.
Примечание
Если результатом одного из операторов указателя на член является функция, то результат может использоваться только как операнд к оператору вызова функции.