Skip to content

Add API: make_proxy_observed#18

Draft
mingxwa wants to merge 9 commits intongcpp:mainfrom
mingxwa:user/mingxwa/make-proxy-ref
Draft

Add API: make_proxy_observed#18
mingxwa wants to merge 9 commits intongcpp:mainfrom
mingxwa:user/mingxwa/make-proxy-ref

Conversation

@mingxwa
Copy link
Collaborator

@mingxwa mingxwa commented Mar 19, 2026

Although make_proxy_view<F> creates non-owning proxy objects, the return type proxy_view<F> is not compatible with proxy<F>. make_proxy_observed() allows creating non-owning proxy of any facade type. Updated code/spec/tests accordingly.

@mingxwa mingxwa marked this pull request as draft March 20, 2026 08:31
@mingxwa mingxwa marked this pull request as ready for review March 20, 2026 08:34
@mingxwa mingxwa changed the title Add API: make_proxy_ref Add API: make_proxy_observed Mar 20, 2026
@mingxwa mingxwa marked this pull request as draft March 20, 2026 10:19
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant