Incompatibilidades entre idioma bool seguro y operador explícito bool

Question

Estoy pensando en reemplazar todas las instancias de idioma de bool seguro por explicit operator bool en código que ya utiliza características C++ 11 (por lo que el hecho de que los compiladores anteriores no reconocen conversión explícita los operadores no importarán), así que me gustaría saber si puede causar algunos problemas sutiles.

Por lo tanto, ¿cuáles son todas las posibles incompatibilidades (incluso los más mínimos) que pueden ser causados ​​por el cambio de idioma bool segura de edad y sin brillo a la nueva y brillante explicit operator bool?

EDIT: Sé que la conmutación es una buena idea de todos modos, ya que esta última es una característica de idioma, bien entendida por el compilador, por lo que no va a funcionar peor de lo que en realidad es un truco. Simplemente quiero saber las posibles diferencias.

Answer 1

Si ha utilizado la conversión segura-bool de forma incorrecta en su código, solo entonces explicit operator bool será incompatible, ya que no le permitiría hacer las cosas incorrectamente de esa manera. De lo contrario, debería estar bien sin ningún problema. De hecho, incluso si hay un problema, todavía debe cambiar a explicit operator bool, porque si lo hace, entonces podría identificar el problema en el uso de la conversión segura-bool.

Según this article, algunos compiladores emiten instrucciones ineficientes para la ejecución segura-bool utilizando puntero de función miembro,

Cuando la gente comenzó a usar este lenguaje, se descubrió que había una pena de eficiencia en algunos compiladores - la El puntero de la función miembro provocó un dolor de cabeza en el compilador, lo que provocó una ejecución más lenta cuando se buscó la dirección. Aunque la diferencia es marginal, la práctica actual suele ser utilizar un puntero de datos miembro en lugar de un puntero de función miembro.

Answer 2

Probablemente la mayor diferencia, asumiendo que su código es libre de errores (lo sé, no es una suposición segura), será que, en algunos casos, es posible que desee una conversión implícita a exactamente bool. Una función de conversión explicit no coincidirá.

struct S1 
{ 
    operator S1*() { return 0; } /* I know, not the best possible type */ 
} s1; 

struct S2 
{ 
    explicit operator bool() { return false; } 
} s2; 

void f() 
{ 
    bool b1 = s1; /* okay */ 
    bool b2 = s2; /* not okay */ 
}