У меня возникла идея после того как я ради примера

Question

У меня возникла идея после того как я ради примера

студентам написал на черновике:

void demo_1() { ...; std::less<void> comparator; comparator(a, b); /* no matching operator < by this point for these types */ }
bool operator<(A a, B b);
void demo_2() { ...; std::less<void> comparator; comparator(a, b); /* but now there is one... If I comment demo_1 it WILL work */ }

Что тут очевидно чеховское ружьё мне и так понятно, хочу понять как сильно оно стреляет. Стандарт уже обещает это плохой вещью — и где? Или всё тип топ но ты не выживешь?

#c++ #embedded #programming #russian

0

05.05.2021

11 ответов

29 просмотров

Kirill Bolshakov

Danya🔥
Я не помню точно, но кажется я видел фразу, что ес...

А если одна фейлит компиляцию?

0

05.05.2021

Дмитрий ⬡ Лапшин Автор вопроса

Danya🔥
Я не помню точно, но кажется я видел фразу, что ес...

http://eel.is/c++draft/temp.spec#temp.expl.spec-8 : When writing a specialization, be careful about its location; or to make it compile will be such a trial as to kindle its self-immolation. Пока эта поэзия это всё что я нашёл на тему. Пишите специализации аккуратно, пнятненько? Это я и назвал сами-себе-буратины.

0

05.05.2021

Vlad

Дмитрий ⬡ Лапшин
http://eel.is/c++draft/temp.spec#temp.expl.spec-8 ...

http://eel.is/c++draft/temp.res#general-6.5

0

05.05.2021

Vlad

Vlad
http://eel.is/c++draft/temp.res#general-6.5

хм, это не про то, наверное пойду дальше читать

0

05.05.2021

Дмитрий ⬡ Лапшин Автор вопроса

Vlad
http://eel.is/c++draft/temp.res#general-6.5

Спасибо! Сейчас попробую понять, как это относится к моему примеру, но кажется это действительно IFNDR.

0

05.05.2021

Дмитрий ⬡ Лапшин Автор вопроса

Vlad
http://eel.is/c++draft/temp.res#general-6.5

Но ведь тут лишь template-argument non-dependant. Это знакомый пункт, что если ты пользуешься вещью независимой от параметров шаблона, то не смей менять. А у меня зависит.

0

05.05.2021

Vlad

Дмитрий ⬡ Лапшин
Но ведь тут лишь template-argument non-dependant. ...

я тоже это понял уже после того, как написал

0

05.05.2021

Vlad

как вам такой пример? https://t.me/ProCxx/447657 был в первую очередь про него struct A {}; struct B{}; struct D : B {}; bool operator<(A a, B b); void demo_1() { ...; std::less<void> comparator; comparator(a, d); } bool operator<(A a, D d); void demo_2() { ...; std::less<void> comparator; comparator(a, d); }

0

05.05.2021

Дмитрий ⬡ Лапшин Автор вопроса

Vlad
как вам такой пример? https://t.me/ProCxx/447657 ...

В моём текущем понимании, которое я и пришёл уточнять: инстанциация в demo_1 была успешна и выбрала operator<(A, B), второй инстанциации на это плевать.

0

05.05.2021

Vlad

Дмитрий ⬡ Лапшин
В моём текущем понимании, которое я и пришёл уточн...

не очень понятно, что имеется в виду под плевать, но это IFNDR по причине, описанной в сообщении, на которое я ссылаюсь просто мне показалось, что ваш пример не очень точно отразил ваш вопрос, поэтому я составил свой

0

05.05.2021

Danya🔥 · Accepted Answer

Danya🔥

Я не помню точно, но кажется я видел фразу, что если определения одной инстанциации шаблона отличабтся в разных местах программы это IFNDR

0

05.05.2021

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

У меня возникла идея после того как я ради примера

11 ответов

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