- android - RelativeLayout 背景可绘制重叠内容
- android - 如何链接 cpufeatures lib 以获取 native android 库?
- java - OnItemClickListener 不起作用,但 OnLongItemClickListener 在自定义 ListView 中起作用
- java - Android 文件转字符串
C++11 标准中的§7.3.1.2/3(重点是我的):
Every name first declared in a namespace is a member of that namespace. If a friend declaration in a nonlocal class first declares a class or function the friend class or function is a member of the innermost enclosing namespace. The name of the friend is not found by unqualified lookup (3.4.1) or by qualified lookup (3.4.3) until a matching declaration is provided in that namespace scope (either before or after the class definition granting friendship). If a friend function is called, its name may be found by the name lookup that considers functions from namespaces and classes associated with the types of the function arguments (3.4.2). If the name in a friend declaration is neither qualified nor a template-id and the declaration is a function or an elaborated-type-specifier, the lookup to determine whether the entity has been previously declared shall not consider any scopes outside the innermost enclosing namespace. [ Note: The other forms of friend declarations cannot declare a new member of the innermost enclosing namespace and thus follow the usual lookup rules.
示例:
// Assume f and g have not yet been defined.
void h(int);
template <class T> void f2(T);
namespace A {
class X {
friend void f(X); // A::f(X) is a friend
class Y {
friend void g(); // A::g is a friend
friend void h(int); // A::h is a friend
// ::h not considered
friend void f2<>(int); // ::f2<>(int) is a friend
};
};
// A::f, A::g and A::h are not visible here
X x;
void g() { f(x); } // definition of A::g
void f(X) { /* ... */} // definition of A::f
void h(int) { /* ... */ } // definition of A::h
// A::f, A::g and A::h are visible here and known to be friends
}
using A::x;
void h() {
A::f(x);
A::X::f(x); // error: f is not a member of A::X
A::X::Y::g(); // error: g is not a member of A::X::Y
}
除非我遗漏了什么,否则我不明白上面的词 first 的必要性。据我所知,命名空间中任何实体的声明不能超过一个,类中友元函数的声明也不能超过一个。
此外,示例中注释“假设 f 和 g 尚未定义”的相关性是什么?这些函数是否在命名空间 A 的定义之前声明并不重要。它们必然属于全局命名空间,并且与命名空间 A 内声明的函数无关。
编辑:
一个人可以重复声明同一个函数,或者在一个命名空间中声明和定义一个函数,这一事实并没有使我的观察无效,即在§7.3.1.2/3 不是必需的。
编辑1
我刚刚发现另一个错误。评论::f2<>(int) is a friend
是不正确的。不但没有定义模板函数f2(T)
在命名空间 A 中,但更重要的是声明 template <class T> void f2(T);
必须在内部 A,否则函数f2<>(int)
不会是类友A::X::Y
.
最佳答案
希望是比 Vlad 的完整答案更短更简洁的答案:
一个实体可以声明多次,你的前提是错误的。在第一句中,first 很重要,因为这两个是命名空间 N
中函数 f
的有效声明:
namespace N { void f(); }
void N::f() { ... } // A definition is *also* a declaration
此时第一句中first的需求就很明显了,f
是N
命名空间的成员(第一个 声明),而不是全局命名空间。
在 friend 声明的情况下,first 出于不同的原因很重要,就好像 friend 声明是 first 声明一样,名称对于常规来说是不可见的查找:
//[1]
class Y {}; // Some type
class X {
X(Y); // allow implicit conversions,
// for exposition purposes
friend X operator+(X, X) {...} // *first* declaration of this operator
}; // and also the definition
void f() {
Y a, b;
a + b; // error, no operator+ takes two Y
X c;
c + b; // OK, ADL can find it
}
如果友元声明不是第一个声明,即如果 [1] 被之前的声明替换:
class X;
X operator+(X,X);
在所有其余代码相同的情况下,上面的代码将编译并调用 operator+(X,X)
转换 a
和 b
到 X
。
你的最后一个问题是关于假设 f
和 g
没有被定义,我认为应该读作 declared ,未定义。这个声明的重要性在于,如果函数已经在手边声明,那么注释//A::f, A::g and A::h 在这里是不可见的
变为 false,因为前面的声明使这些函数可见。
关于c++ - 在 C++11 标准的 §7.3.1.2/3 中有一些我不理解的细节,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/23082525/
我最近在读 CSAPP。在 10.9 节中,它说标准 I/O 不应该与 socket 一起使用,原因如下: (1) The restrictions of standard I/O Restricti
似乎是一个足够标准的问题,可以保证解决方案中的标准设计: 假设我想在文件中写入 x+2(或更少)个字符串。 x 字符串构成一个部分的内容,这两个字符串构成该部分的页眉和页脚。要注意的是,如果内容中没有
代码版本管理 在项目中,代码的版本管理非常重要。每个需求版本的代码开发在版本控制里都应该经过以下几个步骤。 在master分支中拉取该需求版本的两个分支,一个feature分支,
我有以下sql查询,我需要获取相应的hibernate条件查询 SELECT COUNT(DISTINCT employee_id) FROM erp_hr_payment WHERE payment
所以我正在编写一些代码,并且最近遇到了实现一些 mixin 的需要。我的问题是,设计混音的正确方法是什么?我将使用下面的示例代码来说明我的确切查询。 class Projectile(Movable,
我的环境变量包含如下双引号: $echo $CONNECT_SASL_JAAS_CONFIG org.apache.kafka.common.security.plain.PlainLoginModu
示例: /** * This function will determine whether or not one string starts with another string. * @pa
有没有办法在 Grails 中做一个不区分大小写的 in 子句? 我有这个: "in"("name", filters.tags) 我希望它忽略大小写。我想我可以做一个 sqlRestriction
我搜索了很长时间,以查找将哪些boost库添加到std库中,但是我只找到了一个新库的完整列表(如此处:http://open-std.org/jtc1/sc22/wg21/docs/library_t
我已经通过使用这个肮脏的黑客解决了我的问题: ' Filter managerial functions ActiveSheet.Range("$A$1:$BW$2211").Auto
因此,我很难理解我需要遵循的标准,以便我的 Java 程序能够嵌入 HTML。我是否只需将我的主类扩展到 Applet 类,或者我还需要做更多的事情吗?另外,在我见过的每个 Applet 示例中,它都
我对在 Hibernate 中使用限制有疑问。 我必须创建条件,设置一些限制,然后选择日期字段最大值的记录: Criteria query = session.createCriteria(Stora
我有标准: ICriteria criteria = Session.CreateCriteria() .SetFetchMode("Entity1", FetchMo
我很难编写条件来选择所有子集合或孙集合为空的实体。我可以将这些作为单独的条件来执行,但我无法将其组合成一个条件。 类结构: public class Component { p
@Entity class A { @ManyToMany private List list; ... } @Entity class B { ... } 我想使用条件(不是 sql 查询)从 A
我的数据库中有以下表结构: Table A: Table B: Table C: _______________
请帮助我: 我有下一张 table : 单位 ID 姓名 用户 ID 姓名 利率 单位 ID 用户 ID 我不明白如何从 SQL 创建正确的条件结构: 代码: SELECT * FROM Unit W
我正在构建一个包含项目的网站,每个项目都有一个页面,例如: website.com/book/123 website.com/film/456 website.com/game/789 每个项目都可以
我需要使用两个属性的组合来过滤结果列表。一个简单的 SQL 语句如下所示: SELECT TOP 10 * FROM Person WHERE FirstName + ' ' + LastName L
我有一个“ super 实体”SuperEntity 和三个扩展父类(super class)的实体 ChildEntity1、...、ChildEntity3。 搜索数据库中的所有实体很容易,即我们
我是一名优秀的程序员,十分优秀!