Implicit conversion false to null pointer

Yup, that's the beauty of C++ - false is 0 and so is NULL.

Does not compile just fine (though it does compile) with gcc:
[font=courier new,courier,monospace]warning: converting 'false' to pointer type for argument 1 of 'Ptr::Ptr(void*, bool)'[/font]

Strictly speaking, your compiler is correct about doing this conversion. The standard says: (4.5-6) "A prvalue of type bool can be converted to a prvalue of type int, with false becoming zero and true becoming one." and (4.10) "A null pointer constant is an integral constant expression (5.19) prvalue of integer type that evaluates to zero or a prvalue of type std::nullptr_t. A null pointer constant can be converted to a pointer type".

This explains why it is legal for [font=courier new,courier,monospace]false[/font], but not for [font=courier new,courier,monospace]true[/font] (the former is a null pointer constant, the latter is not). It's converting a [font=courier new,courier,monospace]bool [/font]constant to an integer constant, which happens to be a null pointer constant, which it converts to a (null) pointer.

That it is valid, I agree on. But now I would like to prevend that this constructor is called by accident with only a bool argument. Adding a constructor explicit Ptr(bool owned) again makes it impossible to call the constructor with the NULL value, as that will result in an ambiguous call to either constructor. Any idea's?

ps. I am compiling with the microsoft compiler, which does not produce by default a warning for this.

http://ideone.com/qiHP9
Default arguments in constructors should almost always be implemented as different constructors along with associating initialization lists.

http://ideone.com/qiHP9
Default arguments in constructors should almost always be implemented as different constructors along with associating initialization lists.

That makes sense, if your compiler supports delegating constructors. VC10/11 do not. Otherwise, you are duplicating a lot of code, or using initializer private methods.

Can you remove the default parameter? That would be easiest.

As for delegating constructors, it isn't hard for your constructors to run along the lines:


MyObject::MyObject()
{
ConstructInternal( NULL, false, true);
}
MyObject::MyObject(Something* ptr )
{
ConstructInternal( ptr, false, true);
}
MyObject::MyObject(Something* ptr, bool owned )
{
ConstructInternal( ptr, false, owned);
}
MyObject::MyObject(bool aFlag)
{
ConstructInternal( NULL, aFlag, true);
}
...
We do this all the time in our game code for exactly the reason you describe in your post.

True it is not as pretty as default parameters, but it does help resolve the problem of implicit conversions.


As the project grows and a new parameter becomes needed we just add another signature so we don't break existing code. It solves so many headaches when sharing code between multiple consoles.

Edit: as a side note, try to avoid plain bool as a flag. Use an enum and specifically state what the thing is or is not. Today there are two choices, but tomorrow you may need a third.

Edit: as a side note, try to avoid plain bool as a flag. Use an enum and specifically state what the thing is or is not. Today there are two choices, but tomorrow you may need a third.

Plus, new Object( MakeBobYourUncle.True ) ; is much less ambiguous than new Object( true ) ;

Frob, thats a good idea, and indeed is much clearer. Thanks for the suggestions all, this helps a lot!

I recently encountered a piece of code like the following (not saying anything about whether it is good or not):

[source lang="cpp"]class Ptr
{
public:
Ptr(void* ptr = NULL, bool owned= true);
...
}

Ptr ptr(false);[/source]

if you define false as !true this will no longer compile.


#define false !true


Please don't revive old threads. This conversation was done three months ago.