C++中一个名字查找的小知识

简介: 最近看C++标准中的3.4 name lookup章节,碰巧的是stackoverflow也有人提问,他们对这个问题很疑惑,回答的也并不好。 https://stackoverflow.com/questions/25672745/friend-declarations-is-this-a-bug-in-clang 其中C++标准中$3.4.1章节有一个例子: ``` typedef

最近看C++标准中的3.4 name lookup章节,碰巧的是stackoverflow也有人提问,他们对这个问题很疑惑,回答的也并不好。
https://stackoverflow.com/questions/25672745/friend-declarations-is-this-a-bug-in-clang

其中C++标准中$3.4.1章节有一个例子:

typedef int f;
namespace N {
     struct A {
        friend void f(A &);
        operator int();
        void g(A a) {
            int i = f(a);
            // f is the typedef, not the friend
            // function: equivalent to int(a)
        }
    };
}

标准上的注解的意思是f最终是一个typedef, 不会使用friend void f(A&)这个函数。

我自己的理解是:

  1. 在类中声明的friend函数在普通查找中,是不可见的,除非在类声明之前有正式的声明,也就是说friend声明不能代替正式的声明,这是标准所规定的。既然是不可见的,就不会hide掉那个typedef的f。标准$3.3.10讲的name hiding在这里不起作用。
  2. 名字查找要是从普通查找开始的,普通查找就是从内到外一层层地找,找到一个名字,立马停止。在这里找到了f是typedef。普通查找完成后才有ADL查找。
  3. 因为2找到的是typedef,不是一个函数,所以ADL不会介入。ADL是C++11的新规则。如果函数调用是非限定的,例如不是: 某namespace::f(a), 某class::f(a), object_ptr->f(a), 或者object.f(a)之类的调用,并且参数是用户定义类型,就会发起ADL,它把函数调用中的参数所属的namespace也拉进来找这个函数f。所以ADL介入的条件是要么普通查找找不到这个名字或者找到了而且确实是个函数,那么就把参数所属的namespace也拉进来找,最后凑成一个函数集合,做重载解析规则选出最合适的函数。
    在这个例子中如果把typedef int f改成 int f()就会发生ADL。普通查找首先会找到int f(),因为是函数,所以用ADL继续找,找到void f(A&),编译器会说"error: void value not ignored as it ought to be"。

这是由于ADL能找到只声明为friend而没有正式声明的函数,标准就是这么规定。并且void f(A&)比int f()更合适,但是void赋值给 i肯定出错,所以编译器报错啦。

目录
相关文章
|
SQL 数据库
数据库关键字Union和Union All的区别
数据库关键字Union和Union All的区别
999 0
数据库关键字Union和Union All的区别
|
机器学习/深度学习 存储 人工智能
Google AI与Deepmind强强联合,推出新工具加速神经网络稀疏化进程
优化神经网络的一个方法是稀疏化,然而,受到支持不足和工具缺乏的限制,该技术在生产中的使用仍然受限。为了解决这一问题,近日,Google联合Deepmind开发出了在TensorFlow Lite和XNNPACK ML中的新特性和工具库。
608 0
Google AI与Deepmind强强联合,推出新工具加速神经网络稀疏化进程
客户案例 | 老板电器:宜搭让品质管理得心应手
“宜搭大大提升了我们的系统开发效率,系统的迭代周期更快,更贴合我们的品质管理工作。”
13879 0
客户案例 | 老板电器:宜搭让品质管理得心应手
|
7天前
|
人工智能 JSON API
全网刷屏的 Jev 模型正式开放!一手实战测评 + 保姆级教程
全网爆火的 Jev 模型是什么?有什么用?怎么使用?怎么接入 AI 编程工具?效果真的好么?傻子可懂的 Jev 保姆级实战教程 + 项目实战测评来啦
6959 9
|
5天前
|
人工智能 测试技术 API
最近全网爆火的 Jev 到底是什么?适合干什么、怎么用,一篇讲透!
Jev是TypeSafe AI推出的“系统一模型”,不生成文本,专做毫秒级结构化决策:Choice(多选)、Score(打分)、Noul(是非概率)。响应快193倍、成本低444倍,适合工单路由、内容审核、测试定级等高频判断场景。
1402 4
最近全网爆火的 Jev 到底是什么?适合干什么、怎么用,一篇讲透!
|
6天前
|
人工智能 并行计算 PyTorch
秋叶 ComfyUI 2026 整合包 v3.2 完整部署教程:Python 3.13 + Torch 2.13 全栈升级
秋叶aaaki ComfyUI 2026年8月整合包v3.2正式发布!全面升级Python 3.13.11、PyTorch 2.13.0+cu130及ComfyUI v0.30.2,原生支持MiniMax H3、Wan 2.2、Qwen-Image-2.1等2026主流音视频/图像模型,解压即用,无需环境配置。
871 5
|
19天前
|
人工智能 自然语言处理 安全
阿里云千问办公 QwenWork详细介绍:产品核心能力、典型场景、价格及常见问题解答
千问办公是阿里云推出的一站式AI办公平台,主打"不止于对话,更注重交付",依托通义千问旗舰大模型,用户一句话即可完成数据分析、PPT生成、视频剪辑等复杂任务,直接输出可用成果。产品深度打通钉钉生态与企业OA,覆盖桌面端、网页端,提供企业标准版198元/人/月等多档订阅方案,新用户注册即赠2000积分,适配工程师、HR、财务等多职业办公场景,成为能动手干活的"全能AI同事"。
3443 10
|
14天前
|
缓存 IDE Java
【保姆级】Android Studio下载、安装和汉化教程(2026最新)
Android Studio 是 Google 官方推出的免费 Android 应用开发集成环境,基于 IntelliJ IDEA,内置模拟器、调试器、性能分析及 Compose 界面工具,功能全面,文档丰富,是安卓开发首选工具。(239字)
1519 1

热门文章

最新文章