"Bronek Kozicki" <brok@rubikon.pl> wrote in message news:4199F881.2040005@rubikon.pl...
Jonathan Turkanis wrote:
Thanks for your effort coming up with this workaround. Unfortunately, although it works okay (when modified as described below) in isolation, when it is generated by macros as a deeply nested template, something goes wrong and it doesn't handle overloading.
Coud you pls. send me code to reproduce problem? I will try to find a fix.
Thanks for the offer. I will try to do this, but it a non-trivial task, some of the code is output of the preprocessor, and some hand written. There are a lot of mangled names and a lot of irrelevant stuff.
1. I believe it is non-conforming, since explicitly specifying the template argument Type should suppress template argument deduction and therefore SFINAE. But this is irrelevant for a broken-compiler workaround.
I'm pretty sure that you are wrong. There are *two* template functions
Yes, I'm now convinced I was wrong. Template arguments must still be compatible even if they are explicitly specified, and 14.8.2/2 governs this. Jonathan