名字空间、重载候选与lambda。。。 这是g++的bug吗。。。

starwing83

@OwnWaterloo太过分了，下次发帖的时候上微信跟我说一声啊，这问题我知道。

首先，我没看标准，所以这是不是bug我不知道，但是，从实现的角度上来说，按照旧的标准解释，这个行为是合理的。

为什么呢？这就需要看闭包到底是什么了。闭包是一个对象，确切的说，是一个函数对象（Functor），也就是说，闭包实际上是一个匿名的，实现了operator()的一个struct的一个实例而已，问题就在于这个实例是在哪儿声明的。

你using 了::ns::f，那么这两个函数都参与了重载，这个OK，然后，你调用了::ns::f([]{})，那么，ns::f这个模版关于这个匿名类的对应实例被特化出来了，然后调用了f(0)，则int ::f(int)被特化出来了。现在问题是第三个调用了。

假设C++11对目前的ADL规则没有打补丁，那么，如果存在int ::f(main()::lambda());这样一个函数，那么它显然会参与重载决策，而::ns::f又被特化出来了，那必然会导致重载失败。

现在问题就成了“当我通过使用的方式特化某个函数时，编译器有没有权力自行特化其他函数”，貌似这个权力是有的（吧？）

这里的问题在于，首先lambda是函数对象，其次这个对象声明在main()作用域，然后就算using了::ns::f，f仍然在作用域，如果曾经特化过f的某个版本，而根据ADT肯定能找到::f（::f是main()的上层），那么重载失败就是可能的。

starwing83

可能都不需要ADL了，根本两个都是可见的，只要针对main()::lambda()类型的f被特化，就肯定会出现这个错儿，你自己试一下在clang里面手动特化某个模版看看还能不能编译过。

starwing83

回复 22# OwnWaterloo


    虽然我是纯C控，但是作为世界上最复杂的编程语言，我就算不用，也得研究研究更新一下知识库嘛。

嗯，本质上是一类问题。我不知道对于模版的实例化有没有什么标准的规定，我建议你查一下（关于模版何时可以实例化的问题）。而且，函数模版在没有实例化的时候是否参与ADL也有关系的，万一是个Unspecified啥的估计就不是Bug了。

你只需要把lambda当作匿名结构体处理就OK了，这里跟lambda关系不大，主要还是函数模版实例化和函数重载选择的问题。