atomgalaxy / isocpp-universal-template-param

We propose a way to spell a universal template parameter kind. This would allow for a generic apply and other higher-order template metafunctions, and certain typetraits.
https://atomgalaxy.github.io/isocpp-universal-template-param/d1985r0.pdf
2 stars 2 forks source link

Provide example on function template overloading #6

Closed mpusz closed 1 year ago

BengtGustafsson commented 1 year ago

This was an example on function template overloading, similar to what I had in the presentation. We already have the example showing how this allows any class template overloading via specialization.

image

mpusz commented 1 year ago

In such a case I do not have a better example. I think we can use the one from your presentation?

BengtGustafsson commented 1 year ago

I guess so. I assume the wording section also needs a formal specification that anyname is less specific than anything else.