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. Это вполне ожидаемо, поскольку список связанных пространств имен для вызова bar - это просто N. Глобальное пространство имен не включено, глобальный bar не найден. Все в порядке.
Однако, если я изменю его на
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 отвергает обе версии кода).
Похоже, что во второй (основанной на операторах) версии кода GCC также рассматривает глобальное пространство имен как связанное пространство имен для ADL.
Если в последней версии кода я изменяю вызов на
template <class T> void foo(const S<T> &v)
{
operator +(v.t);
}
Он снова не сможет скомпилировать в GCC. Таким образом, похоже, что особое внимание уделяется нотации операторы в выражениях, но не нотации вызов функции.
Это стандартное поведение? Кажется, я не нахожу его в тексте документа (поиск «связанного пространства имен»), хотя я смутно помню, что читал что-то об этой особенности GCC.
Ответы 2
Это ошибка gcc 51577. Второй тестовый пример - это в точности ваш пример кода.
Не существует специального правила для поиска оператора, который бы выполнял поиск в глобальном пространстве имен. [over.match.oper] / 3 имеет:
The set of non-member candidates is the result of the unqualified lookup of
operator@in the context of the expression according to the usual rules for name lookup in unqualified function calls ([basic.lookup.argdep]) except that all member functions are ignored.
Обычные правила поиска имени в неквалифицированных вызовах функций не включают глобальное пространство имен: [basic.lookup.argdep] / 2:
If
Tis a class type (including unions), its associated classes are: the class itself; the class of which it is a member, if any; and its direct and indirect base classes. Its associated namespaces are the innermost enclosing namespaces of its associated classes.
N::A - это тип класса, связанный с ним класс - это сам, связанные с ним пространства имен - это сокровенный, включающие пространства имен, то есть просто N, а не ::.
Эта проблема также демонстрируется на странице, посвященной совместимости GCC / Clang здесь. См. Второй пример (дамп) в разделе «Неквалифицированный поиск в шаблонах».
Этот отчет об ошибке, похоже, связан с Ошибка 70099. Пространство имен оператора не учитывается при поиске.
Оператор является зависимым именем [temp.dep]/1.3:
If an operand of an operator is a type-dependent expression, the operator also denotes a dependent name. Such names are unbound and are looked up at the point of the template instantiation (17.6.4.1) in both the context of the template definition and the context of the point of instantiation
и по [temp.dep.res]
In resolving dependent names, names from the following sources are considered: 1. Declarations that are visible at the point of definition of the template. 2. Declarations from namespaces associated with the types of the function arguments both from the instantiation context (17.6.4.1) and from the definition context.
и объявление оператора не находится ни в контекстах, ни в связанных пространствах имен N::A.
Вау, этому багу почти 10 лет!