Телеграмм чат группы ProCxx страница 15436

parrot.ru

Рейтинг популярных групп и каналов

В рейтинге участвует:

групп:

каналов:

Виртуальный сервер на SSD - недорого!

Аренда выделенных и виртуальных серверов (VDS/VPS), хостинг, аренда IP-адресов, администрирование, круглосуточная поддержка

qwarta.ru подробнее

Резервное копирование с проверкой на вирусы!!!

Удобный сервис создания резервных копий на любой сервер сети интернет. Отслеживайте изменения, проверяйте на вирусы. Надежно защитите свой бизнес!

go.backupland.com

Выбираете сервер? Любая конфигурация на заказ!

Аренда физических серверов любых конфигураций под любые запросы - 1С бухгалтерия, игровые сервера, нагруженные проекты, интернет-магазины!

qwarta.ru подробнее

Size: a a a

pro.cxx

3910 membersпожаловаться на группу

2020 August 19

P

Pepe 🐸 in pro.cxx

Мне тут коллега подсказал еще один трюк для более новых стандартов:

template<class T> void *type_id = &type_id<T>;

Иногда плюсы очень странные

https://godbolt.org/z/7cjYcx

Compiler Explorer - C++ (x86-64 gcc 10.2)

template<class T> void *type_id = &type_id<T>;

int main() {
printf("%zi\n", type_id<int>);
printf("%zi\n", type_id<double>);

struct CustomType {};
printf("%zi\n", type_id<CustomType>);

printf("%zi\n", type_id<int>);

return 0;
}

можно пояснить что тут происходит? В смысле, переменная type_id инстанцируется с шаблонным параметром, потом у нее берется адрес? Но я все равно не понимаю как это работает

источник

19:46пожаловаться #1

P

Pepe 🐸 in pro.cxx

или на какой фиче 17го стандарта это хотя бы основано?

источник

19:47пожаловаться #2

D

Danya in pro.cxx

или на какой фиче 17го стандарта это хотя бы основано?

Variable Template

источник

19:47пожаловаться #3

P

Pepe 🐸 in pro.cxx

спасибо

источник

19:47пожаловаться #4

АК

Александр Караев... in pro.cxx

можно пояснить что тут происходит? В смысле, переменная type_id инстанцируется с шаблонным параметром, потом у нее берется адрес? Но я все равно не понимаю как это работает

void* a = &a; - тут вопросов нет?

источник

19:51пожаловаться #5

P

Pepe 🐸 in pro.cxx

Александр Караев

void* a = &a; - тут вопросов нет?

есть, я что то пропустил, но а никогда не была задекларирована?

источник

19:52пожаловаться #6

D

Danya in pro.cxx

есть, я что то пропустил, но а никогда не была задекларирована?

Это псевдокод, который показывает, что любой указатель кастится к void*

источник

19:52пожаловаться #7

P

Pepe 🐸 in pro.cxx

Это псевдокод, который показывает, что любой указатель кастится к void*

это понятно, но вопрос именно как работает тот конкретный код. Кстати void* a = &a; тоже валидно (само по себе)

источник

19:55пожаловаться #8

D

Danya in pro.cxx

это понятно, но вопрос именно как работает тот конкретный код. Кстати void* a = &a; тоже валидно (само по себе)

Тот код работает точно так же + шаблоны переменных

источник

19:56пожаловаться #9

LA

Liber Azerate in pro.cxx

есть, я что то пропустил, но а никогда не была задекларирована?

А void* a что такое?

источник

19:56пожаловаться #10

AP

Alexander Potapov in pro.cxx

Из опыта самое норм это хешировать имя класса как уникальный id
Потому что реально, как только появляются dllки, все ломается

источник

19:57пожаловаться #11

AP

Alexander Potapov in pro.cxx

Хуже только static поля в шаблонных классах

источник

19:57пожаловаться #12

P

Pepe 🐸 in pro.cxx

А void* a что такое?

в общем вопрос в том как адрес а взять.

источник

19:57пожаловаться #13

LA

Liber Azerate in pro.cxx

в общем вопрос в том как адрес а взять.

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

источник

20:00пожаловаться #14

АК

Александр Караев... in pro.cxx

в общем вопрос в том как адрес а взять.

этот код эквивалентен следующему:
void* a = nullptr;
a = &a;

источник

20:03пожаловаться #15

P

Pepe 🐸 in pro.cxx

спасибо, похоже я не понимал как декларации работают. Оказывается можно сделать int a = a даже

источник

20:05пожаловаться #16

LA

Liber Azerate in pro.cxx

спасибо, похоже я не понимал как декларации работают. Оказывается можно сделать int a = a даже

Ну я об этом и говорил. Это, кстати, настоящий вопрос уровня супы

источник

20:05пожаловаться #17

P

Pepe 🐸 in pro.cxx

да, понял

источник

20:05пожаловаться #18

АК

Александр Караев... in pro.cxx

спасибо, похоже я не понимал как декларации работают. Оказывается можно сделать int a = a даже

а вот это уже посложнее:

struct A { int field; };

A a{ std::move(a) };

Где-то даже был пропозал, который не приняли, потому что он ломал подобный код. Вроде бы речь про ultimate copy elision

источник

20:10пожаловаться #19

P

Pepe 🐸 in pro.cxx

Александр Караев

а вот это уже посложнее:

struct A { int field; };

A a{ std::move(a) };

Где-то даже был пропозал, который не приняли, потому что он ломал подобный код. Вроде бы речь про ultimate copy elision

и это не уб? Не уверен что а инициализирована (как и в оригинальном коде)

источник

20:27пожаловаться #20