proxy

Class template explicit_conversion_dispatch::accessor

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

// (2)
template <class F, class C, class... Os>
    requires(sizeof...(Os) > 1u && (std::is_constructible_v<accessor<F, C, Os>> && ...))
struct accessor<F, C, Os...> : accessor<F, C, Os>... {
  using accessor<F, C, Os>::operator return-type-of<Os>...;
};

// (3)
template <class F, class C>
struct accessor<F, C, T() cv ref noex> {
  explicit operator T() cv ref noex;
};

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

(2) When sizeof...(Os) is greater than 1, and accessor<F, C, Os>... are default-constructible, inherits all accessor<F, C, Os>... types and using their operator return-type-of<Os>. return-type-of<O> denotes the return type of the overload type O.

(3) When sizeof...(Os) is 1 and the only type O in Os is T() cv ref noex, provides an explicit operator T() with the same cv ref noex specifiers. accessor::operator T() is equivalent to return proxy_invoke<C, T() cv ref noex>(access_proxy<F>(std::forward<accessor cv ref>(*this))).

This site is open source. Improve this page.