Локальное объявление функции-друга: GCC vs. Clang

@TheCalligrapher · Регистрация: 18.10.2014

Студворк — интернет-сервис помощи студентам

Простой пример кода

C++
1
2
3
4
5
6
7
8
9
10
struct A
{
  friend void foo() {}
};
 
int main()
{
  void (*p)() = foo; // Error
  p();
}

Этот код, разумеется, не компилируется, т.к. идентификатор foo не виден из main. Все как и должно быть.

Если мы добавим объявление foo на уровне пространства имен, то код будет прекрасно компилироваться и линковаться

C++
1
2
3
4
5
6
7
8
9
10
11
12
struct A
{
  friend void foo() {}
};
 
void foo();
 
int main()
{
  void (*p)() = foo; // OK
  p();
}

Снова все как и должно быть.

Но вот мы, допустим, решили поумничать и вместо объявления foo на уровне пространства имен сделали локальное объявление foo

C++
1
2
3
4
5
6
7
8
9
10
11
struct A
{
  friend void foo() {}
};
 
int main()
{
  void foo();
  void (*p)() = foo;
  p();
}

Мы рассчитываем на то, что локальное объявление все равно объявляет функцию из охватывающего пространства имен, т.е. и так все тоже должно работать.

Однако GCC отказывается линковать такой код: http://coliru.stacked-crooked.... 1ce3b276ad
В то время как Clang не испытывает с таким кодом никаких проблем: http://coliru.stacked-crooked.... ac2150583b

Кто из них прав?

Локальное объявление и в GCC успешно ссылается на функцию из охватывающего пространства имен, что выражается в том, что вот такой код прекрасно линкуется в GCC

C++
1
2
3
4
5
6
7
8
int main()
{
  void foo();
  void (*p)() = foo;
  p();
}
 
void foo() {}

А вот с friend-функцией в GCC такой номер не проходит. Кто прав: GCC или Clang?

P.S. Движок форума говорит что "friend-функции" в заголовке - запрещенное слово. Я в чем-то отстал от жизни?

@argcargv · 31.03.2020, 08:10

Не по теме:

А что не в https://stackoverflow.com/ques... age-lawyer?

@TheCalligrapher · 31.03.2020, 08:18 **[ТС]**

Не по теме:

Сообщение от argcargv

Не по теме:

А что не в https://stackoverflow.com/ques... age-lawyer?

Я с Нового Года отказал SO в доступе к телу )))

P.S. Собственно, в том-то и вопрос: туда или в .../tagged/gcc-проспали-все-полимеры?

@argcargv · 31.03.2020, 08:40

Не по теме:

TheCalligrapher, я бы спросил там. Автор этого активно отвечает на SO.

Croessmah · 31.03.2020, 08:44

Я думаю, что неправ gcc. Поковырялся в потрохах, он вообще не генерирует реализацию для функции foo, поэтому и получаем undefined reference. Clang определение функции генерирует.

Даже вот такой код

C++
1
2
3
4
5
6
7
8
void zoo();
 
struct A
{    
  friend void foo() {
      zoo();
  }
};

Не приводит к undefined reference на gcc, т.к. foo просто нет в программе.

Чем-то напоминает inline в C.

@TheCalligrapher · 31.03.2020, 09:07 **[ТС]**

Сообщение от Croessmah

Я думаю, что неправ gcc. Поковырялся в потрохах, он вообще не генерирует реализацию для функции foo, поэтому и получаем undefined reference. Clang определение функции генерирует.

Я подозреваю, что реализация не генерируется именно потому, что GCC не сумел правильно связать вызов с реализацией и, следовательно, решил, что реализация без вызовов не нужна.

Например, вот такой код линкуется в GCC корректно

C++
1
2
3
4
5
6
7
8
9
10
struct A
{
  friend void foo(A) {}
};
 
int main()
{
  A a;
  foo(a);
}

То есть в данном случае ADL правильно связал вызов с определением.

@argcargv · 31.03.2020, 09:33

Сообщение от TheCalligrapher

Я подозреваю, что реализация не генерируется именно потому, что GCC не сумел правильно связать вызов с реализацией

Я бы сказал, что GCC не сумел правильно определить что имя стало доступно для лукапа.
Возможно, в GCC до сих пор до конца не реализовали изменения из CWG1477.

Croessmah · 31.03.2020, 10:19

Сообщение от TheCalligrapher

не сумел правильно связать вызов с реализацией

Хм, возможно. При максимальных оптимизациях clang совсем убирает вызов foo, тогда как gcc его оставляет, видимо, действительно не может связать имена. Во всяком случае, если добавить флаг -fkeep-inline-functions, то определение генерируется и программа собирается.

@argcargv · 12.04.2020, 22:34

Ну таки где багрепорт?

@argcargv · 16.04.2020, 02:25

Сообщение от argcargv

Ну таки где багрепорт?

Вот же он https://gcc.gnu.org/bugzilla/show_bug.cgi?id=51757 </thread>

@TheCalligrapher · 16.04.2020, 22:05 **[ТС]**

Надо же.. Прям один-в-один!

Новые блоги и статьи Все статьи Все блоги /
делаю науч статью по влиянию грибов на сукцессию anaschu 13.03.2026 прикрепляю статью	SDL3 для Desktop (MinGW): Создаём пустое окно с нуля для 2D-графики на SDL3, Си и C++ 8Observer8 10.03.2026 Содержание блога Финальные проекты на Си и на C++: hello-sdl3-c. zip hello-sdl3-cpp. zip Результат:	Установка CMake и MinGW 13.1 для сборки С и C++ приложений из консоли и из Qt Creator в EXE 8Observer8 10.03.2026 Содержание блога MinGW - это коллекция инструментов для сборки приложений в EXE. CMake - это система сборки приложений. Здесь описаны базовые шаги для старта программирования с помощью CMake и. . .	Как дизайн сайта влияет на конверсию: 7 решений, которые реально повышают заявки Neotwalker 08.03.2026 Многие до сих пор воспринимают дизайн сайта как “красивую оболочку”. На практике всё иначе: дизайн напрямую влияет на то, оставит человек заявку или уйдёт через несколько секунд. Даже если у вас. . .
Модульная разработка через nuget packages DevAlt 07.03.2026 Сложившийся в . Net-среде способ разработки чаще всего предполагает монорепозиторий в котором находятся все исходники. При создании нового решения, мы просто добавляем нужные проекты и имеем. . .	Модульный подход на примере F# DevAlt 06.03.2026 В блоге дяди Боба наткнулся на такое определение: В этой книге («Подход, основанный на вариантах использования») Ивар утверждает, что архитектура программного обеспечения — это структуры,. . .	Управление камерой с помощью скрипта OrbitControls.js на Three.js: Вращение, зум и панорамирование 8Observer8 05.03.2026 Содержание блога Финальная демка в браузере работает на Desktop и мобильных браузерах. Итоговый код: orbit-controls-threejs-js. zip. Сканируйте QR-код на мобильном. Вращайте камеру одним пальцем,. . .	SDL3 для Web (WebAssembly): Синхронизация спрайтов SDL3 и тел Box2D 8Observer8 04.03.2026 Содержание блога Финальная демка в браузере. Итоговый код: finish-sync-physics-sprites-sdl3-c. zip На первой гифке отладочные линии отключены, а на второй включены:. . .

@argcargv
	31.03.2020, 08:10
	Не по теме: А что не в https://stackoverflow.com/ques... age-lawyer? 0

@argcargv
	31.03.2020, 08:40
	Не по теме: TheCalligrapher, я бы спросил там. Автор этого активно отвечает на SO. 0

@argcargv 248 / 70 / 9 Регистрация: 22.07.2018 Сообщений: 321
	12.04.2020, 22:34
	Ну таки где багрепорт? 0

@TheCalligrapher Вездепух 12943 / 6810 / 1821 Регистрация: 18.10.2014 Сообщений: 17,235
	16.04.2020, 22:05 [ТС]
	Надо же.. Прям один-в-один! 0