表达式中运算符的GCC和ADL

考虑这个代码示例

template <typename T> struct S { T t; };

template <class T> void foo(const S<T> &v)
{
  bar(v.t);
}

namespace N
{
  struct A {};
} 

void bar(const N::A &a) {}

int main()
{
  S<N::A> a;
  foo(a);    
}

代码无法在GCC和Clang中编译,因为常规查找和ADL都无法解析对的调用 bar 从 foo . 这是意料之中的,因为 酒吧 电话只是 N 酒吧 找不到。一切照旧。

但是,如果我把它改成

template <typename T> struct S { T t; };

template <class T> void foo(const S<T> &v)
{
  +v.t;
}

namespace N
{
  struct A {};
} 

void operator +(const N::A& a) {}

int main()
{
  S<N::A> a;
  foo(a);    
}

它突然开始在GCC中成功编译(同时,Clang拒绝了这两个版本的代码)。

如果在代码的后一个版本中,我将调用更改为

template <class T> void foo(const S<T> &v)
{
  operator +(v.t);
}

它将再次无法在GCC中编译。所以,似乎有人对 表达式中的运算符 函数调用

这是行为标准吗?我似乎在文档的文本中找不到它(搜索“关联的名称空间”),尽管我确实模糊地记得读过一些关于GCC的这种特性的内容。