Operátory ukazatelů na členy: .* a ->*
expression .* expression
expression –>* expression
Poznámky
Operátory ukazatelů na členy, .* a –>*, vrátí hodnotu konkrétního členu třídí pro objekt zadaný na levé straně výrazu. Pravá strana musí udávat člen třídy. Následující příklad ukazuje způsob použití těchto operátorů:
// 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;
}
Výsledek
m_func1
m_func1
1
2
V předchozím příkladu je pomocí ukazatele na člen pmfn vyvolána členská funkce m_func1.Jiný ukazatel na člen, pmd, je použit k přístupu ke členu m_num.
Binární operátor .* kombinuje svůj první operand, který musí být typu objektu třídy, se svým druhým operandem, který musí být typu ukazatele na člen.
Binární operátor –>* kombinuje svůj první operand, který musí být typu ukazatele na objekt třídy, se svým druhým operandem, který musí být typu ukazatele na člen.
Ve výrazu obsahujícím operátor .* musí být první operand typu třídy ukazatele zadaného ve druhém operandu, pro nějž musí být první operand zároveň přístupný, nebo přístupného typu jednoznačně odvozeného z dané třídy, pro kterou také musí být přístupný.
Ve výrazu obsahujícím operátor –>* musí být první operand typu "ukazatel na typ třídy" typu zadaného ve druhém operandu, nebo typu jednoznačně odvozeného z dané třídy.
Příklad
Uvažte následující třídy a část programu:
// 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.
}
Výsledkem operátorů ukazatele na člen .* nebo –>* je objekt nebo funkce typu zadaného v deklaraci ukazatele na člen.V předchozím příkladu je tedy výsledkem výrazu ADerived.*pmfnFunc1() ukazatel na funkci vracející typ void.Je-li druhý operand l-hodnotou, je i tento výsledek l-hodnotou.
[!POZNÁMKA]
Je-li výsledkem jednoho z operátorů ukazatele na člen funkce, lze jej použít pouze jako operand operátoru volání funkce.