blocks|key|404416|text|这是合法的，因为朋友函数总是在全局作用域中，即使你在一个类中实现它们。换句话说，这就是：|type|unstyled|depth|inlineStyleRanges|entityRanges|data|404417|class+A
{
++++friend+void+go()+{}
};|code-block|syntax|javascript|404418|只是一个快捷方式：|404419|class+A
{
++++friend+void+go();
};

void+go()+{}|404420|entityMap^0|0|0|0|0^^$0|@$1|2|3|4|5|6|7|M|8|@]|9|@]|A|$]]|$1|B|3|C|5|D|7|N|8|@]|9|@]|A|$E|F]]|$1|G|3|H|5|6|7|O|8|@]|9|@]|A|$]]|$1|I|3|J|5|D|7|P|8|@]|9|@]|A|$E|F]]|$1|K|3|-4|5|6|7|Q|8|@]|9|@]|A|$]]]|L|$]]

It's legal because friend functions are always in the global scope, even if you implement them inside a class. In other words, this:

<pre><code>class A
{
 friend void go() {}
};
</code></pre>

is just a shortcut for:

<pre><code>class A
{
 friend void go();
};

void go() {}
</code></pre>

blocks|key|3455959|text|您不能从a调用get！实际上，get返回的是一个指向A内部成员的类指针，它的类型是int+A::*，所以你需要一个A的实例来访问这个值。|type|unstyled|depth|inlineStyleRanges|offset|length|style|CODE|entityRanges|data|3455960|举个例子，让我用一下你的代码：|3455961|struct+A+{
++++A(int+a):a(a)+{+}
++++int+b;
private:
++++int+a;
};
void+test()+{
++++auto+p+=+&A::b;
++++std::cout+<<+a.*p+<<+std::endl;
}|code-block|syntax|javascript|3455962|我是从a内部调用p的吗？a没有p，这正是您的代码中发生的事情，get函数返回&A::a，而您使用a读取它的值！仅此而已，没有任何错误，我认为它将在所有编译器中编译。|3455963|这里还有一个问题:为什么C%2B%2B允许使用A的私有成员声明模板。C%2B%2B标准说：|3455964|3455965|+14.7.2p8通常的访问检查规则不适用于用于指定显式实例化的名称。注意:具体地说，函数声明符中使用的模板参数和名称(包括参数类型、返回类型和异常规范)可以是私有类型或对象，它们通常是不可访问的，并且模板可以是通常不可访问的成员模板或成员函数。|blockquote|BOLD|3455966|3455967|3455968|但是如果你试图实例化或者甚至是typedef指定的模板，那么你就会得到一个错误。让我们稍微修改一下您的示例：|3455969|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
}|3455970|entityMap^0|4|1|7|3|Q|1|15|8|1L|1|0|0|0|3|1|8|1|C|1|F|1|V|3|12|5|1C|1|0|J|1|0|0|1|8|0|0|0|F|7|0|0^^$0|@$1|2|3|4|5|6|7|13|8|@$9|14|A|15|B|C]|$9|16|A|17|B|C]|$9|18|A|19|B|C]|$9|1A|A|1B|B|C]|$9|1C|A|1D|B|C]]|D|@]|E|$]]|$1|F|3|G|5|6|7|1E|8|@]|D|@]|E|$]]|$1|H|3|I|5|J|7|1F|8|@]|D|@]|E|$K|L]]|$1|M|3|N|5|6|7|1G|8|@$9|1H|A|1I|B|C]|$9|1J|A|1K|B|C]|$9|1L|A|1M|B|C]|$9|1N|A|1O|B|C]|$9|1P|A|1Q|B|C]|$9|1R|A|1S|B|C]|$9|1T|A|1U|B|C]]|D|@]|E|$]]|$1|O|3|P|5|6|7|1V|8|@$9|1W|A|1X|B|C]]|D|@]|E|$]]|$1|Q|3|-4|5|6|7|1Y|8|@]|D|@]|E|$]]|$1|R|3|S|5|T|7|1Z|8|@$9|20|A|21|B|U]]|D|@]|E|$]]|$1|V|3|-4|5|6|7|22|8|@]|D|@]|E|$]]|$1|W|3|-4|5|6|7|23|8|@]|D|@]|E|$]]|$1|X|3|Y|5|6|7|24|8|@$9|25|A|26|B|C]]|D|@]|E|$]]|$1|Z|3|10|5|J|7|27|8|@]|D|@]|E|$K|L]]|$1|11|3|-4|5|6|7|28|8|@]|D|@]|E|$]]]|12|$]]

You are not calling <code>get</code> from <code>a</code>! Actually what get return is a class pointer to a member inside <code>A</code> and type of it is <code>int A::*</code> so you need an instance of <code>A</code> to access that value.

For example let me play a little with your code:

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

Did I call <code>p</code> from inside <code>a</code>? <code>a</code> does not have <code>p</code>, this is exactly what happened in your code, <code>get</code> function return <code>&amp;A::a</code> and you use <code>a</code> to read its value! that's all, nothing is wrong and I think it will be compiled in all compilers.

One other question here is: Why C++ allow declaring template using private member of <code>A</code>. C++ standard say:

<blockquote>
 14.7.2p8 The usual access checking rules do not apply to names used to specify explicit instantiations. [Note: In particular, the template 
 arguments and names used in the function declarator (including
 parameter types, return types and exception specifications) may be
 private types or objects which would normally not be accessible and
 the template may be a member template or member function which would
 not normally be accessible.]
</blockquote>

But if you try to instantiate or even <code>typedef</code> specified template then you get an error.
Let's modify your example slightly:

<pre><code>struct A {
private:
 int a;
 friend void f();
};

// Explicit instantiation - OK, no access checks
template struct Rob&lt;A_f, &amp;A::a&gt;;

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

// However, it's Ok inside a friend function.
void f() {
 Rob&lt;A_f, &amp;A::a&gt; r; // OK
 typedef Rob&lt;A_f, &amp;A::a&gt; R; // OK
}
</code></pre>

blocks|key|3456025|text|这是gcc中的一个已知编译器错误，已在以后的版本中修复。请参见-：|type|unstyled|depth|inlineStyleRanges|entityRanges|data|3456026|http://gcc.gnu.org/bugzilla/show_bug.cgi?id=41437|offset|length|3456027|entityMap|0|LINK|mutability|MUTABLE|url^0|0|0|1D|0|0^^$0|@$1|2|3|4|5|6|7|M|8|@]|9|@]|A|$]]|$1|B|3|C|5|6|7|N|8|@]|9|@$D|O|E|P|1|Q]]|A|$]]|$1|F|3|-4|5|6|7|R|8|@]|9|@]|A|$]]]|G|$H|$5|I|J|K|A|$L|C]]]]

This is a known compiler bug in gcc and was fixed in a later release.
See-:

<a href="http://gcc.gnu.org/bugzilla/show_bug.cgi?id=41437" rel="nofollow">http://gcc.gnu.org/bugzilla/show_bug.cgi?id=41437</a>

From a blog post <a href="http://bloglitb.blogspot.com/2011/12/access-to-private-members-safer.html" rel="nofollow noreferrer">Access to private members: Safer nastiness</a> by <a href="https://stackoverflow.com/users/34509/johannes-schaub-litb">Johannes Schaub - litb</a>:

<pre><code>template&lt;typename Tag, typename Tag::type M&gt;
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&lt;A_f, &amp;A::a&gt;;

int main() {
 A a(42);
 std::cout &lt;&lt; "proof: " &lt;&lt; a.*get(A_f()) &lt;&lt; std::endl;
}
</code></pre>

how <code>get</code> function can be call from <code>a</code> object since its not defined inside <code>class A</code> ?

EDIT:

I don't understand why get must have Tag as parameter instead of <code>a.*get&lt;A_f&gt;()</code>
=> ok it's due to ADL mechanism

access private member using template trick

翻译质量差，导致语言生硬或混乱。

没有提供实际的解决方法或示例。

解答不清晰，无法理解或解决问题。

页面排版不美观，阅读体验差。

文章

问答

视频

学习中心

腾讯云实验室

直播

竞赛

腾讯云代码分析专区

腾讯iOA零信任安全管理系统专区

腾讯云架构师技术同盟交流圈

腾讯云数据库专区

腾讯云顾问专区

腾讯云原生专区

腾讯混元专区

腾讯云TCE专区

腾讯云Lighthouse专区

腾讯云HAI专区

腾讯云Edgeone专区

腾讯云存储专区

腾讯云智能专区

腾讯轻联专区 

腾讯云开发专区

TAPD专区

腾讯轻量云游戏服专区

腾讯云最具价值专家

腾讯云架构师技术同盟

腾讯云创作之星

腾讯云开发者先锋

腾讯云代码助手

云原生构建

TAPD 敏捷项目管理

Cloud Studio

SDK中心

API中心

命令行工具

涵盖代码开发、场景应用、自动测试全流程，助你从零构建专属AI助手

一站式MCP教程库，解锁AI应用新玩法

来自的一篇博客文章template<typename Tag, typename Tag::type M>struct Rob { friend typename Tag::type get(Tag) { return M; }};// usestruct A { A(int a):a(a) { }pri...

问使用模板技巧访问私有成员
EN

社区

活动

圈层

关于

腾讯云开发者

热门产品

热门推荐

更多推荐

问使用模板技巧访问私有成员EN

社区

活动

圈层

关于

腾讯云开发者

热门产品

热门推荐

更多推荐

问使用模板技巧访问私有成员
EN