18

从博客文章访问私人成员：Johannes Schaub 的更安全的肮脏- litb：

template<typename Tag, typename Tag::type M>
struct Rob { 
  friend typename Tag::type get(Tag) {
    return M;
  }
};

// use
struct A {
  A(int a):a(a) { }
private:
  int a;
};

// tag used to access A::a
struct A_f { 
  typedef int A::*type;
  friend type get(A_f);
};

template struct Rob<A_f, &A::a>;

int main() {
  A a(42);
  std::cout << "proof: " << a.*get(A_f()) << std::endl;
}

由于内部未定义函数，如何get从对象调用函数？aclass A

编辑：

我不明白为什么 get 必须有 Tag 作为参数而不是 a.*get<A_f>() => 好的，这是由于 ADL 机制

4

3 回答 3

8

你不是get从a! 实际上得到的返回是一个指向内部成员的类指针A和它的类型，int A::*所以你需要一个实例A来访问该值。

例如，让我玩一下您的代码：

struct A {
    A(int a):a(a) { }
    int b;
private:
    int a;
};
void test() {
    auto p = &A::b;
    std::cout << a.*p << std::endl;
}

我p是从里面打电话a吗？a没有p，这正是你的代码中发生的事情，get函数返回&A::a，你a用来读取它的值！就是这样，没有什么错，我认为它将在所有编译器中编译。

这里的另一个问题是：为什么 C++ 允许使用A. C++ 标准说：

14.7.2p8通常的访问检查规则不适用于用于指定显式实例化的名称。[注意：特别是，函数声明器中使用的模板参数和名称（包括参数类型、返回类型和异常规范）可能是通常无法访问的私有类型或对象，并且模板可能是成员模板或成员函数通常无法访问。]

但是，如果您尝试实例化甚至typedef指定模板，则会出现错误。让我们稍微修改一下您的示例：

struct A {
private:
    int a;
    friend void f();
};

// Explicit instantiation - OK, no access checks
template struct Rob<A_f, &A::a>;

// Try to use the type in some way - get an error.
struct Rob<A_f, &A::a> r;            // error
typedef struct Rob<A_f, &A::a> R;    // error
void g(struct Rob<A_f, &A::a>);      // error

// However, it's Ok inside a friend function.
void f() {
    Rob<A_f, &A::a> r;               // OK
    typedef Rob<A_f, &A::a> R;       // OK
}
于 2012-10-20T23:50:49.283 回答
1

这是合法的，因为友元函数总是在全局范围内，即使你在一个类中实现它们。换句话说，这：

class A
{
    friend void go() {}
};

只是一个捷径：

class A
{
    friend void go();
};

void go() {}
于 2012-10-20T22:40:51.237 回答
1

这是 gcc 中的一个已知编译器错误，并在以后的版本中得到修复。看-：

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=41437

于 2012-10-21T04:08:33.820 回答