Compile-time check of conversion from a string?

Question

Let\'s have a class Foo which defines a conversion constructor from a string. Depending on the contents of the string, this constructor can succeed (an instance of