Safe bool неоднозначность многократных преобразований

Я должен реализовать безопасную идиому bool для поддержки компиляторов, которые не имеют explicit ключевое слово (например, MSVC 2012). Класс, который должен проверяться для bool, моделирует указатель на многие классы, и поэтому он должен быть конвертируемым в эти указатели. Следующий код иллюстрирует идею:

// Uncomment this line to change implementation to 'safe bool'
// #define _COMPILER_NO_EXPLICIT

#if !defined(_COMPILER_NO_EXPLICIT)
#define OPERATOR_BOOL_MYTYPE(...)
#define OPERATOR_BOOL_IMPLEMENTATION(...) \
public: \
explicit operator bool() const noexcept \
{ \
return __VA_ARGS__; \
}
#else
#define OPERATOR_BOOL_MYTYPE(...) \
private: \
void safe_bool() {}; \
typedef __VA_ARGS__ safe_bool_my_type_t; \
typedef void (safe_bool_my_type_t::*safe_bool_t)()

#define OPERATOR_BOOL_IMPLEMENTATION(...) \
public: \
operator safe_bool_t() const noexcept \
{ \
return __VA_ARGS__ ? \
&safe_bool_my_type_t::safe_bool : \
nullptr; \
}
#endifclass Convertible
{
public:
operator int*() const
{ return nullptr; }

operator double*() const
{ return nullptr; }

OPERATOR_BOOL_MYTYPE(Convertible);
OPERATOR_BOOL_IMPLEMENTATION(false);
};int main(void)
{
Convertible a;
if (a)
{
// this 'if' statement introduces compilation error
// in 'safe bool' implementation
}
return 0;
}

Если мы используем explicit operator bool()Реализация на основе все работает отлично. Проблема на самом деле в неоднозначной конвертируемости в реализации, основанной на «безопасном буле». Как это должно быть решено?

Замечания: Считайте реализацию преобразования bool независимой от других реализаций преобразования указателя. Если это невозможно, дайте мне понять, как реализовать это в зависимом случае, например, если Convertible оценивается как true, если один из других операторов преобразования возвращает ненулевое значение.

UPD: Я считаю, что есть способ сделать одно неявное преобразование более предпочтительным, чем все остальные.