3

考虑：

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 失败的原因。谢谢！

4

2 回答 2

6

[我假设您的程序中的代码是：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.

相关链接：

在评论 using 之后bind，您可能不会尝试将指向成员的指针bar直接转换为指向成员的指针，但会生成内部bind代码以将指向成员的指针应用于 的实例bar，并且需要转换。

于 2012-08-22T13:44:31.423 回答
3

注意：这回答了原始问题；大卫罗德里格斯已经回答了更新。

你的代码很好。根据语言标准：

7.3.3/2 每个using 声明都是一个声明和一个成员声明

这意味着您宣布成为asfoobar的成员，因此将其称为as 与 .一样合法。barfoobar::foobarfoo::foobar

我的编译器（GCC）同意这一点；如果你的没有，那么它似乎有一个错误。

于 2012-08-22T13:31:02.813 回答