Mismatched Signatures???

[a10e29]

Hi,

class Foo
{
public:
	virtual void baz(void*) = 0;

};
class Bar : public Foo
{
public:
	void baz(Qux*); 
};

I have the feeling this isn't going to work the way I intended.

[ne555]

https://en.wikipedia.org/wiki/Liskov_substitution_principle
Preconditions cannot be strengthened in a subtype.

[a10e29]

Good answer.

https://en.wikipedia.org/wiki/Precondition

In the presence of inheritance, the routines inherited by descendant classes (subclasses) do so with their preconditions in force. This means that any implementations or redefinitions of inherited routines also have to be written to comply with their inherited contract. Preconditions can be modified in redefined routines, but they may only be weakened.[2] That is, the redefined routine may lessen the obligation of the client, but not increase it.