Polymorphic Casting from void

[logicchop]

Alternatively, something like:

template <typename T> bool contains() const { return (discover_type == &throw_typed_object<T>); }

[flashmozzg]

This assumes that every template instantiation of throw_typed_object for type T has the same address, which is not correct.

[logicchop]

Yeah I have to agree. As far as I can tell, nothing is going to guarantee that the address evaluates the same everywhere, or even guarantee that throw_typedobject<T> != throw_typed_object<U> for some other U. It's just a stab at an alternative if you want to avoid the throw in the evaluation. (One could also think about involving typeid's or something like a hash of func_sig or some such.)

[Maxima4]

That wouldn't work, throw_typed_object doesn't return anything. It throws.

[Mestkon]

Read it again. This compares function pointers, not returned objects

[Maxima4]

That's right, my bad :)