c++ - 为什么使用声明不公开指向成员的指针

Question

考虑:

struct foo
{
    void foobar(){}
};

struct bar : protected foo
{
    using foo::foobar;
};

int main()
{
    bar b;
    b.foobar(); // Fine
    &bar::foobar; // Not fine
}

我想知道让 using 声明公开成员而不是指向它的指针的理由是什么。事实上，似乎所有使用更改访问级别的声明都适用于除了获取公开函数的地址之外的所有内容。

更新:一个更接近我的真实用例的示例:

#include "boost/bind.hpp"

struct foo
{
    void foobar() {}
};

struct bar : protected foo
{
    using foo::foobar;
    bar() { boost::bind( &bar::foobar, this )(); } // Crashes VS2008, GCC 4.1.1 fails to compile as it tries to go through foo*
};

int main()
{
    bar b;
}

但是，Mike Seymours 的解释很到位，解释了 GCC 失败的原因。谢谢!

Answer 1

[我假设您的程序中的代码是:void (bar::*p)() = &bar::foobar;]

问题不在于 using 声明 没有将标识符带入空间，而是 &bar::foobar 的语义。我正在考虑(如果有时间我会这样做)用这个重新填写缺陷报告。已经有一份这样的报告。

基本上，问题是 using 声明将基函数带入派生类型的查找范围，表达式 &bar::foobar 的访问说明符将根据 bar 检查。 但是，表达式 &bar::foobar 的结果是类型 void (foo::*)() ，而不是 void (bar::*)() 。现在，在评估 &bar::foobar 之后，如果您尝试将其用作 void (bar::*)()，编译器将尝试执行指向成员的指针的转换，但会失败，因为 foo 是 protected 的 bar 基数，并且在 main 的上下文中您不可以访问该关系。

请注意，我认为这是语言中的一个缺陷，原因有二:首先，它会破坏您的代码:void (bar::*p)() = &bar::foobar; 令人惊讶地无法编译。其次，它在其他情况下破坏了访问保护:

class base {
protected: void f() {}
};
struct derived : base {
   void foo( base& b ) {
       b.f();                // Error
       b.*(&derived::f)();   // OK
   }
};

这个问题实际上与您的问题是对称的，而在您的问题中，令人惊讶的成员地址操作类型会在不应该禁止您的用例时禁止您的用例，在这种情况下，它允许违反 protected 意图的用法。

相关链接:

• DR 203 - Type of address-of-member expression
• DR 1007 - Protected access and pointers to members

---

在关于使用 bind 的评论之后，可能不是您试图将指向成员的指针直接转换为指向 bar 成员的指针，而是在 bind 内部的某处生成代码以将指向成员的指针应用于bar 的实例，需要转换。