Conversión de impulso :: opcional a bool

Question

¿Cómo puedo evitar la compilación de la última línea de este código?

#include <boost/optional.hpp> 

int main() 
{ 
    typedef boost::optional<int> int_opt; 
    int_opt opt = 0; 
    bool x = opt; // <- I do not want this to compile 
} 

La última línea no examina opt 's contenían valor int, pero en su lugar se compila como un tipo de conversión a bool, y no parece ser lo que el usuario pretende.

La fraseología bool segura parece ser relevante aquí?

Answer 1

El punto de boost::optional es permitir código como este:

void func(boost::optional<int> optionalArg) 
{ 
    if (optionalArg) { 
     doSomething(*optionalArg); 
    } 
} 

Así que la conversión implícita a bool es una característica y no se debería impedir la compilación.

Answer 2

Si está usando optional, debe poder determinar si está configurado antes de usarlo. La forma en que esto se implementa es con la conversión (efectivamente bool).

No tengo en mente que el usuario no quiere lo que realmente está escrito allí: deben saber que es optional y que lo están verificando para verificar su validez.

Como la conversión está integrada en boost::optional, no tengo conocimiento de ninguna forma de eliminarla directamente.

Podría, por supuesto, implementar una clase contenedora para su necesidad particular de int que proporcione solo las partes de la interfaz optional que desee, posiblemente con una función explícita que verifique la validez.

Alternativamente, siempre se puede usar template<class T> inline T const* get_pointer (optional<T> const& opt) ; o su versión no const cuando se trabaja con optional s para que sea explícito lo que está sucediendo.

Answer 3

El problema que describe solía ser el caso de las versiones anteriores de Boost. Desde la versión 1.56, boost::optional tiene una conversión explícita a bool y el código que muestra ya no compila (exactamente de la manera que quería). See here.