Question

我正在学习Cinder框架。在这个框架中有一个类Texture，它可以像这样使用：

Texture myImage;
myImage.loadImage(/*...*/);
if(myImage)
{
    // draw the image.
}

我对此感到困惑，因为myImage是一个对象。使用它作为条件对我来说没有意义。我期待像myImage.exist();这样的东西。所以我逐步介绍了代码，结果发现Texture类定义了转换运算符：

public:
    //@{
    //! Emulates shared_ptr-like behavior
    typedef std::shared_ptr<Obj> Texture::*unspecified_bool_type;
    // What is this???
    operator unspecified_bool_type() const { return ( mObj.get() == 0 ) ? 0 : &Texture::mObj; }
    void reset() { mObj.reset(); }
    //@}

Obj定义为：

protected:      
    struct Obj {
        Obj() : mWidth( -1 ), mHeight( -1 ), mCleanWidth( -1 ), mCleanHeight( -1 ), mInternalFormat( -1 ), mTextureID( 0 ), mFlipped( false ), mDeallocatorFunc( 0 ) {}
        Obj( int aWidth, int aHeight ) : mInternalFormat( -1 ), mWidth( aWidth ), mHeight( aHeight ), mCleanWidth( aWidth ), mCleanHeight( aHeight ), mFlipped( false ), mTextureID( 0 ), mDeallocatorFunc( 0 )  {}
        ~Obj();

        mutable GLint   mWidth, mHeight, mCleanWidth, mCleanHeight;
        float           mMaxU, mMaxV;
        mutable GLint   mInternalFormat;
        GLenum          mTarget;
        GLuint          mTextureID;
        bool            mDoNotDispose;
        bool            mFlipped;   
        void            (*mDeallocatorFunc)(void *refcon);
        void            *mDeallocatorRefcon;            
    };
    std::shared_ptr<Obj>        mObj;

我知道operator int() const可以隐含地将Object更改为int，但是unspecified_bool_type是如何工作的？当operator unspecified_bool_type() const { return ( mObj.get() == 0 ) ? 0 : &Texture::mObj; }正在执行时，调试器将停在if(myImage)。

我可能对这里的语法有点困惑，是什么

typedef std::shared_ptr<Obj> Texture::*unspecified_bool_type;

意思？

确实

void (*mDeallocatorFunc)(void *refcon);

Obj中的

意味着mDeallocatorFunc是Class Obj的成员，这是一个函数指针，指向具有原型的函数：void xxx(void *)？

Answer 1

这是the safe bool idiom。它不仅仅使用operator bool()，因为隐式转换可能会导致该运算符出现各种问题。因此，它使用一种可隐式转换为bool的类型（就像指向成员的指针），这是最不可能的危险。

幸运的是，在C ++ 11中不需要这种hack，因为我们可以编写explicit operator bool而不是隐式转换的牺牲品。

这种转换为bool的工作原理如何？

1 个答案: