You have been the one who wanted to different types with decltype and effective_decltype.
Why are you complaining?
-----Ursprüngliche Nachricht-----
Von: organicoman <organicoman@yahoo.fr>
Gesendet: Mi 31.07.2024 10:50
Betreff: Re: [std-proposals] Function overload set type information loss
An: Sebastian Wittmeier via Std-Proposals <std-proposals@lists.isocpp.org>;
CC: Sebastian Wittmeier <wittmeier@projectalpha.org>;
With function pointers you can achieve something like; in most cases even this is only possible at runtime:
PFvvE <--| do you see the problem here
PFvvE <--| f<int>,f<double>, yet the same name
Just one function f.
Just one function f.
f<double>
f<int>In "type theory" that's not correct.Two entity of different signature must havedifferent types. Otherwise a many to onerelationship takes place.