170 похожих чатов

Https://Godbolt.Org/Z/DKhrzcYjf Раньше уже обсуждали, но можете объяснить чем в этой

ситуации отличается инт от А?

13 ответов

6 просмотров
Слава- Автор вопроса

@oficsu

hi нужно поднять выше

Dumitru Savva
hi нужно поднять выше

Там интереснее вопрос — почему для A работает, я не вижу тут причины для срабатывания ADL

Dumitru Savva
hi нужно поднять выше

Это определённо ADL, но почему — я не знаю, нужно читать (см. пояснение ниже)

Слава- Автор вопроса
Ofee Oficsu
Это определённо ADL, но почему — я не знаю, нужно ...

Забавно. Если посмотреть на ветку старую, то там к другому совсем приходили

Dumitru Savva
hi нужно поднять выше

Хотя, кажется логичным, наш аргумент — A*, поэтому мы пошли в пространство имён A и поискали все функции, в которые мы можем передать A*. Функция, принимающая void* нам подходит и попадает в список кандидатов. Каст из A* в void* происходит уже после этого Для int всё проще — он не объявлен в глобальном скопе, поэтому hi из глобального скопа не находится для него через ADL

Слава
ADL почему вызывается?

Потому что argument dependent lookup, а наш аргумент — это ::A*. Для указателя мы проверяем пространства имён типа, на который он указывает

Слава- Автор вопроса
Ofee Oficsu
Потому что argument dependent lookup, а наш аргуме...

А работает оно потому что темплейт в конце ТУ инстансится?

Слава- Автор вопроса
Ofee Oficsu
Потому что argument dependent lookup, а наш аргуме...

Я просто думал, что он как-то по-другому резолвится может

Слава
А работает оно потому что темплейт в конце ТУ инст...

Возможная причина, но только лишь поэтому — на счёт этого я не уверен

Слава
А работает оно потому что темплейт в конце ТУ инст...

Полагаю, вся магия в том, что T внутри deleteT будет являться dependent name, именно поэтому: >> ADL examines function declarations with external linkage that are visible from either the template definition context or the template instantiation context А template instantiation скорее всего и будет в конце TU (в main() нам достаточно сигнатуру инстанцировать, и компилятор не должен делать большего) Т.е. сделать просто template<class T> void deleteT() { hi((A*)0); } мы тоже не можем. И вот так не можем, что на практике подтверждает лишь Clang: // ... int main() { deleteT<A>(); } template void deleteT<A>(); void hi(void*);

Похожие вопросы

Обсуждают сегодня

я не магистр хаскеля, но разве не может лейзи тип конвертнуться в не-лейзи запросив вычисление содержимого прям при инициализации?
deadgnom32 λ madao
100
короче сгенерила мне эта штука код на ассемблере: struc string val { common local .value dq .value .value: if ~val eq db val end if db 0 } fo...
Vi Chapmann Chapmann
12
Всем привет! Массив вводится с клавиатуры, кол-во элементов неизвестно, поэтому я указал arr db 100 dup(?) С нахождением максимума проблем нет, а вот минимум почему-то всегд...
En Vind Av Sorg
11
Помогите, пожалуйста, делаю программу для для подсчёта корней квадратного уравнения, знаю, что есть куча недочётов, недоработок, но основная проблема в том, что почему-то при ...
NYC
13
#include <stdio.h> int main(void) { int n; scanf("%d", &n); int digits1[n] = {0}; int digits2[n] = {0}; я не могу таким образом заранее массив нулями заполнить?
Linus
12
в сях есть множество как в питоне? для удаление дубликатов
Linus
25
читать файл максимально быстро? странный вопрос))
zamtmn
53
я про форму записи. смысл указывать что 8 байтный регистр 8 байт?
Aiwan \ (•◡•) / _bot
10
Вроде бы вопрос уже заезжанный, но тем не менее У меня есть функция menu() которая выводит набор возможных действий, а затем спрашивает у пользователя что он хотел бы сделать....
David Golovatin
3
а зачем этот вопрос для удаления из чата?
Mёdkinson Medvezhkin
63
Карта сайта