匿名命名空间内运算符的模板重载解析

Question

简短的问题：运营商是否有特殊的模板查找规则，用于通过内部链接进行重载解决，或者底部的代码是否是GCC中操作员的模板重载解决错误？

细节：我不会粘贴一大块代码，而是带你完成我的推理。让我们从一些简单的代码开始：

#include <iostream>

template<typename T> struct A{ T b; };
struct B{};

template<typename T> 
void foo (const A<T>&a) { foo(a.b); } 
void foo (const B&) { std::cout << "hello"; }

int main(){
  A<B> b;
  foo(b);
}

上面印着“你好”，一切都很好。

现在，让我们将两个 foo 放在一个匿名命名空间中：

namespace {
template<typename T> 
void foo (const A<T>&a) { foo(a.b); } 
void foo (const B&) { std::cout << "hello"; }
}

代码现在无法编译。Clang表示错误：调用函数“foo”，该函数在模板定义中既不可见，也未通过参数相关查找找到。和GCC模板参数推导/替换失败。。

这是坏的，因为foo（const B）

[basic.link]未命名的命名空间或直接或间接在未命名的命名空间中声明的命名空间具有内部链接。所有其他命名空间都有外部链接。

[temp.point]依赖于模板参数的表达式的实例化上下文是在同一翻译单元中的模板专用化实例化点之前声明的具有外部链接的声明集。

[temp.dep.candidate] 对于后缀表达式是依赖名称的函数调用，使用通常的查找规则 （3.4.1， 3.4.2） 找到候选函数，但以下情况除外：

>

对于使用非限定名称查找（3.4.1）的查找部分，只能找到模板定义上下文中的函数声明。

对于使用关联命名空间（3.4.2）的查找部分，只能在模板定义上下文或模板实例化上下文中找到函数声明。

现在，使用运算符也是一样的：

struct ostream {} cout; 
template<typename T> struct A{ T t; };
struct B{};

namespace {
template<typename T>
ostream& operator<< (ostream& out, const A<T>&v) 
  { return out << v.t; }
ostream& operator<< (ostream& out, const B&) 
  { return out; }
}

int main(){
  A<B> a;
  cout << a; 
}

GCC（4.7/4.8/4.9）现在对该代码非常满意，并使用-Wall-Wextra-pedantic-ansi发出零警告，而clang则抱怨的操作员

我没有在标准中找到运算符重载查找的任何例外，所以我相信这是GCC中的一个错误（功能？），但模板解析规则并不容易，所以我想我可能会在提交错误之前检查这里。

您可以在此处实时查看此代码。




Answer 1

匿名用户

这绝对是gcc的bug。下面的代码正确地用clang打印了< code>right,但用GCC打印了< code > error 。

#include <iostream>

template<typename T> struct A{ T t; };
struct B{};
struct C : public B{};

std::ostream& operator<< (std::ostream& out, const B&) 
  { return out << "right"; }

namespace {
template<typename T>
std::ostream& operator<< (std::ostream& out, const A<T>&v) 
  { return out << v.t; }

std::ostream& operator<< (std::ostream& out, const C&) 
  { return out << "wrong"; }
}

int main(){
  A<C> a;
  std::cout << a;
}

在此处报告。