Class template operator_dispatch::accessor

// (1)
template <class P, class D, class... Os>
struct accessor {
  accessor() = delete;
};

(1) The default implementation of accessor is not constructible.

For different Sign and Rhs, operator_dispatch<Sign, Rhs>::accessor has different specializations. sop denotes the sign of operator of each specialization.

Left-Hand-Side Operand Specializations

// (2)
template <class P, class D, class... Os>
    requires(sizeof...(Os) > 1u && (std::is_constructible_v<accessor<P, D, Os>> && ...))
struct accessor<P, D, Os...> : accessor<P, D, Os>... {
  using accessor<P, D, Os>::operator sop...;
};

(2) When sizeof...(Os) is greater than 1, and accessor<P, D, Os>... are default-constructible types, inherits all accessor<P, D, Os>... types and using their operator sop.

When Rhs is false, the other specializations are defined as follows, where sizeof...(Os) is 1 and the only type O qualified with cv ref noex:

Regular SOPs

When Sign is one of "+", "-", "*", "/", "%", "++", "--", "==", "!=", ">", "<", ">=", "<=", "<=>", "&&", "||", "&", "|", "^", "<<", ">>", ",", "->*", "()", "[]",

// (3)
template <class P, class D, class R, class... Args>
struct accessor<P, D, R(Args...) cv ref noex> {
  R operator sop (Args... args) cv ref noex;
}

(3) Provides an operator sop(Args...) with the same cv ref noex specifiers as of the overload type. accessor::operator sop(Args...) is equivalent to return proxy_invoke<D, R(Args...) cv ref noex>(static_cast<P cv <ref ? ref : &>>(*this), std::forward<Args>(args)...).

! and ~

When Sign is either ! and ~,

// (4)
template <class P, class D, class R>
struct accessor<P, D, R() cv ref noex> {
  R operator sop () cv ref noex;
}

(4) Provides an operator sop() with the same cv ref noex specifiers as of the overload type. accessor::operator sop() is equivalent to return proxy_invoke<D, R() cv ref noex>(static_cast<P cv <ref ? ref : &>>(*this)).

Assignment SOPs

When Sign is one of "+=", "-=", "*=", "/=", "%=", "&=", "|=", "^=", "<<=", ">>=",

// (5)
template <class P, class D, class R, class Arg>
struct accessor<P, D, R(Arg) cv ref noex> {
  /* see below */ operator sop (Arg arg) cv ref noex;
}

(4) Provides an operator sop(Arg) with the same cv ref noex specifiers as of the overload type. accessor::operator sop(Arg) calls proxy_invoke<D, R(Arg) cv ref noex>(static_cast<P cv <ref ? ref : &>>(*this), std::forward<Arg>(arg)) and returns static_cast<P cv <ref ? ref : &>>(*this).

Right-Hand-Side Operand Specializations

// (6)
template <class P, class D, class... Os>
    requires(sizeof...(Os) > 1u && (std::is_constructible_v<accessor<P, D, Os>> && ...))
struct accessor<P, D, Os...> : accessor<P, D, Os>... {};

(6) When sizeof...(Os) is greater than 1, and accessor<P, D, Os>... are default-constructible types, inherits all accessor<P, D, Os>... types.

When Rhs is true, the other specializations are defined as follows, where sizeof...(Os) is 1 and the only type O qualified with cv ref noex:

Regular SOPs

When Sign is one of "+", "-", "*", "/", "%", "==", "!=", ">", "<", ">=", "<=", "<=>", "&&", "||", "&", "|", "^", "<<", ">>", ",", "->*",

// (7)
template <class P, class D, class R, class Arg>
struct accessor<P, D, R(Arg) cv ref noex> {
  friend R operator sop (Arg arg, P cv <ref ? ref : &> self) noex;
}

(7) Provides a friend operator sop(Arg arg, P cv <ref ? ref : &> self) with the same noex specifiers as of the overload type. accessor::operator sop(Arg arg, P cv <ref ? ref : &> self) is equivalent to return proxy_invoke<D, R(Arg) cv ref noex>(static_cast<P cv <ref ? ref : &>>(self), std::forward<Arg>(arg)).

Assignment SOPs

When Sign is one of "+=", "-=", "*=", "/=", "%=", "&=", "|=", "^=", "<<=", ">>=",

// (8)
template <class P, class D, class R, class Arg>
struct accessor<P, D, R(Arg) cv ref noex> {
  friend /* see below */ operator sop (Arg arg, P cv <ref ? ref : &> self) noex;
}

(8) Provides a friend operator sop(Arg arg, P cv <ref ? ref : &> self) with the same noex specifiers as of the overload type. accessor::operator sop(Arg arg, P cv <ref ? ref : &> self) calls proxy_invoke<D, R(Arg) cv ref noex>(static_cast<P cv <ref ? ref : &>>(self), std::forward<Arg>(arg)) and returns static_cast<P cv <ref ? ref : &>>(self).