成员访问运算符

访问其操作数的一个成员。

解释

内建的下标 (subscript)运算符提供对其指针或数组操作数所指向的对象的访问。

内建的间接寻址 (indirection)运算符提供对其指针操作数所指向的对象或函数的访问。

内建的取地址 (address of)运算符创建指向其对象或函数操作数的指针。

对象的成员和对象的成员指针运算符提供对其对象操作数的数据成员或成员函数的访问。

内建的指针的成员和指针的成员指针运算符提供对其指针操作数所指向的类的数据成员或成员函数的访问。

内建的下标运算符

下标运算符表达式的形式为

内建下标表达式 E1[E2]，除了求值顺序之外 (C++17 起)与表达式 *(E1 + E2) 严格等同，就是说，它遵循指针算术的规则，将指针操作数（可以是数组到指针转换的结果，但它必须指向某数组的元素或末尾后一位置）调整为指向同数组的另一元素，然后再进行解引用。

应用到数组时，若数组为左值，则 (C++11 起)下标表达式为左值，否则为亡值 (C++11 起)。

应用到指针时，下标表达式始终是左值。

不允许类型 T 为不完整类型，即使始终不会使用 T 的大小或其内部结构也是如此，如 &x[0]。

在对于用户定义运算符的重载决议中，对于每个对象类型 T（可有 cv 限定），下列函数签名参与重载决议：

#include <iostream>
 
int main()
{
    int a[4] = {1, 2, 3, 4};
    int* p = &a[2];
    std::cout << p[1] << p[-1] << 1[p] << (-1)[p] << '\n';
}

4242

内建的间接寻址运算符

间接寻址运算符表达式的形式为

内建间接寻址运算符的操作数必须是对象指针或函数指针，其结果就是 expr 所指向的指针或函数。

指向（可有 cv 限定）的 void 的指针不能解引用。指向其他不完整类型的指针可以解引用，但产生的左值只能在允许不完整类型的语境中使用，例如初始化一个引用。

在对于用户定义运算符的重载决议中，对于每个要么为（可有 cv 限定的）对象类型要么为（未被 const 或引用限定的）函数类型的类型 T，下列函数签名参与重载决议：

#include <iostream>
 
int f() { return 42; }
 
int main()
{
    int n = 1;
    int* pn = &n;
 
    int& r = *pn;  // 左值可以绑定到引用
    int m = *pn;   // 间接寻址 + 左值到右值转换
 
    int (*fp)() = &f;
    int (&fr)() = *fp; // 函数左值可以绑定到引用
}

内建的取地址运算符

取地址运算符表达式的形式为

在对于用户定义运算符的重载决议中，此运算符不引入任何额外函数签名：若存在作为可行函数的重载 operator&，则内建的取址运算符不适用。

void f(int) {}
void f(double) {}
struct A { int i; };
struct B { void f(); };
 
int main()
{
    int n = 1;
    int* pn = &n; // 指针
    int* pn2 = &*pn; // pn2 == pn
    int A::* mp = &A::i; // 数据成员指针
    void (B::*mpf)() = &B::f; // 成员函数指针
 
    void (*pf)(int) = &f; // 根据初始化语境进行重载决议
//  auto pf2 = &f; // 错误：重载函数类型有歧义
    auto pf2 = static_cast<void (*)(int)>(&f); // 由于转型进行重载决议
}

内建的成员访问运算符

成员访问运算符表达式的形式为

两种运算符的第一个操作数都被求值，即便它并不是必须的（比如其第二个操作数指名的是静态成员）。

两个运算符的第二个操作数是 T 或 T 的某个无歧义且可访问的基类 B 的数据成员或成员函数的名字（正式的说法是标识表达式（id-expression））（如 E1.E2 或 E1->E2），并可选地有限定（如 E1.B::E2 或 E1->B::E2），可选地使用 template 歧义消解符（如 E1.template E2 或 E1->template E2）。

如果提供的是用户定义的 operator->，则递归地对其所返回的值再次调用 operator->，直到到达返回普通指针的 operator-> 为止。之后再对这个指针采用内建语义。

对于内建类型，表达式 E1->E2 严格等价于 (*E1).E2；因此以下规则仅处理了 E1.E2 的情形。

在表达式 E1.E2 中：

operator. 不能重载，而对于 operator-> 来说，在对于用户定义运算符的重载决议中，内建运算符不引入任何额外函数签名：若存在作为可行函数的重载 operator&，则不采用内建的 operator->。

#include <iostream>
 
struct P
{
    template<typename T>
    static T* ptr() { return new T; }
};
 
template<typename T>
struct A
{
    A(int n): n(n) {}
    int n;
    static int sn;
    int f() { return 10 + n; }
    static int sf() { return 4; }
    class B {};
    enum E {RED = 1, BLUE = 2};
 
    void g()
    {
        typedef int U;
        // 待决的模板成员需要关键词 template
        int* p = P().template ptr<U>();
        p->~U(); // U 为 int，调用 int 的伪析构函数
        delete p;
    }
};
template<> int A<P>::sn = 2;
 
int main()
{
    A<P> a(1);
    std::cout << a.n << ' '
              << a.sn << ' '   // A::sn 也可以工作
              << a.f() << ' ' 
              << a.sf() << ' ' // A::sf() 也可以工作
//            << a.B << ' '    // 错误：不允许嵌套类型
              << a.RED << ' '; // 枚举项
}

1 2 11 4 1

内建的成员指针访问运算符

通过成员指针进行的成员访问运算符表达式的形式为

两个运算符的第二操作数都是类型为指向 T 的（数据或函数）成员指针类型，或为指向 T 的无歧义且可访问基类 B 成员指针类型的表达式。

对于内建类型，表达式 E1->*E2 严格等价于 (*E1).*E2；因此以下规则仅处理了 E1.*E2 的情形。

在表达式 E1.*E2 中：

在对于用户定义运算符的重载决议中，对于每个类型 D, B, R 的组合，其中类类型 B 是与 D 相同的类或 D 的无歧义且可访问基类，而 R 是对象或函数类型，下列函数签名参与重载决议：

其中两个操作数都可以是 cv 限定的，这种情况下返回类型的 cv 限定性是个操作数的 cv 限定性的合并。

#include <iostream>
 
struct S
{
    S(int n): mi(n) {}
    mutable int mi;
    int f(int n) { return mi + n; }
};
 
struct D: public S
{
    D(int n): S(n) {}
};
 
int main()
{
    int S::* pmi = &S::mi;
    int (S::* pf)(int) = &S::f;
 
    const S s(7);
//  s.*pmi = 10; // 错误：无法通过 mutable 进行修改
    std::cout << s.*pmi << '\n';
 
    D d(7); // 基类的指针可以在派生类对象上工作
    D* pd = &d;
    std::cout << (d.*pf)(7) << ' '
              << (pd->*pf)(8) << '\n';
}

7
14 15

标准库

许多标准容器类都重载了下标运算符

许多迭代器和智能指针类都重载了间接寻址和成员运算符

标准库中的类都没有重载 operator&。最为人所知的重载 operator& 的例子是微软的 COM ç±» CComPtr，但在如 boost.spirit 这样的 EDSL 中也会出现重载它的例子。

标准库中的类都没有重载 operator->*。曾有建议将其作为智能指针接口的一部分，并在 boost.phoenix 中的 actor 上有实际应用，但它在如 cpp.react 这样的 EDSL 中更为常见。

缺陷报告

下列更改行为的缺陷报告追溯地应用于以前出版的 C++ 标准。

参阅

运算符优先级

运算符重载