安全布尔成语 bool_type（和安全布尔成语）如何工作？

Question

我被指出了“安全布尔成语”，在试图破译发生了什么之后（supplied on the site 的解释不足以让我理解它为什么起作用），我决定尝试将以下代码分开，并尝试尽可能简化它。该网站提供的代码如下：

class Testable {
    bool ok_;
    typedef void (Testable::*bool_type)() const;
    void this_type_does_not_support_comparisons() const {}
  public:
    explicit Testable(bool b=true):ok_(b) {}

    operator bool_type() const {
      return ok_==true ? 
        &Testable::this_type_does_not_support_comparisons : 0;
    }
  };

我决定分析“bool_type”的关键基础，因为这似乎是它的中心。给定以下行：

typedef void (Testable::*bool_type)() const;

可以（不是那么容易，由于括号）推断它是类型为 'void Testable::*' 的 typedef，其中 bool_type 表示。这可以通过进行以下修改和函数调用来进一步证明：

class Testable {
    bool ok_;
    typedef void (Testable::*bool_type)() const;
    void this_type_does_not_support_comparisons() const {}
  public:
    explicit Testable(bool b=true):ok_(b) {}

    bool_type Test; //Added this

    operator bool_type() const {
      return ok_==true ?
        &Testable::this_type_does_not_support_comparisons : 0;
    }
  };

int main()
{
    Testable Test;
    int A = Test.Test; //Compiler will give a conversion error, telling us what type .Test is in the process
}

它可以让我们看到 bool_type 是什么类型：

错误：初始化时无法将 'void (Testable::*)()const' 转换为 'int'

这表明它确实是一种 'void (Testable::*)'。

问题在这里突然出现：

如果我们修改如下函数：

    operator bool_type() const {
      return ok_==true ? 
        &Testable::this_type_does_not_support_comparisons : 0;
    }

然后把它变成：

    operator void Testable::* () const //Same as bool_type, right? 
    {
      return ok_==true ? 
        &Testable::this_type_does_not_support_comparisons : 0;
    }

它会产生以下投诉：

错误：“*”标记之前的预期标识符
错误：“”声明为返回函数的函数

我的问题是：

如果 'void (Testable::*) 确实是 bool_type 的 typedef，为什么会产生这些抱怨？

还有

这是怎么回事？

Answer 1

你的推理在这里出错了

operator void Testable::* () const //Same as bool_type, right? 

这是不正确的。 bool_type 的类型，正如编译器在错误消息中告诉我们的那样：

'void (Testable::*)()const'

因此，要在运算符中替换它，您需要类似

operator (void (Testable::*)() const) () const

如果可能的话！明白为什么即使是丑陋的 typedef 也是一种改进？

在 C++11 中，我们还拥有新的构造 explicit operator bool() 来将我们从这种丑陋中拯救出来。