"Ben Thomas" <ben.thomas@wickedstudios.com> wrote in message
news:8hv6k.12$6J2.2301@wagner.videotron.net...
Hello,
I have the following code which I don't understand why it works :
#include <iostream>
using namespace std;
void DontWork (unsigned int& i) {
cout << i << endl;
}
void Work (unsigned int const& i) {
cout << i << endl;
}
void main () {
signed int i = 1;
// DontWork (i);
Work (i);
}
What I don't understand is why the compiler can find an implicit
conversion when I add the const modifier, but it is unable to do so
without it.
(I know I should not code like this, but I just want to understand the
behavior.)
Thank you,
Ben.
I compiled your code and looked up the error code (MSVC++). See
the last two paragraphs .
====================================================================
Error Message
'function' : cannot convert parameter number from 'type1' to 'type2'
A parameter cannot be converted to the required type. This might
happen if you create an instance of a class and attempt an implicit
conversion on a constructor marked with the explicit keyword.
If a temporary object is passed to a function that takes a reference
to an object as a parameter, that reference must be a const reference.
If the function is called with a parameter that is not of the type
that the function expects, a temporary object is created using the
appropriate constructor. This temporary object is then passed to
the function. In this case, the temporary object is used to initialize
the reference. In earlier versions of the language, all references
could be initialized by temporary objects.
====================================================================
Of course a particular implementation is not authoritative about the
language standard, but the above explanation makes sense to me.
BTW main()'s required (by the standard) return type is 'int', even
if a compiler lets you get away with 'void'.
-Mike