Всем привет

сейчас перечитываю книжку Вандервуда по шаблонам с++ и увидел одну непривычную для себя инструкцию
http://reslib.com/book/Shabloni_S____Sprav...zrabotchika#132

указатель на неименованное перечисление ColorPtr

Вопрос: что можно сделать с переменной такого типа, кроме как присвоить ей значение NULL


Ну и тогда побочный вопрос, уже по книге, с той же страницы куда и ссылка
Автор пишет, что нельзя использовать в качестве аргументов шаблона неименованное перечисление, только когда они определены с помощью typedef. В приведенном в книге примере используется typedef, но всё равно автор пишет, что это ошибка...
Чему верить?

заранее благодарен всем откликнувшимся

выделить под неё память с помощью new, но такииииииим извращенским способом...

http://liveworkspace.org/code/7c03a8e84e25...150ce02c51f0c9c

это лучшая строка в коде  

в современном С++ кое-что можно
http://liveworkspace.org/code/69321f31f4b2...c0a66426c614108

Добавлено через 14 минут и 26 секунд
borisbn, а почему не написать просто

честно говоря, что то, что это выглядит паршиво. согласны ?
а вот про такую конструкцию

не знал. век живи... как говорится))

отличные ответы, спасибо

кто-нибудь, объясните, как это работает.
я представляю то вместо auto тут должен быть decltype():

http://liveworkspace.org/code/9f1050e8f6d4...dc87286e11985cd

Это сообщение отредактировал(а) boostcoder - 1.3.2012, 20:22

Элементарно:
тип a_ptr -- ab_ptr_type
ab_ptr_type -- указатель на элемент перечисления {a, b}
=> new auto(a) -- указатель на динамически созданное значение a из того перечисления.

Обычный вывод типов, хотя тут выглядит как магия.

для этого был создан decltype. а auto - тут как-то необычно смотрится..

decltype для вывода типов? auto тут вполне логично смотрится.

а как тогда это работает ?

http://liveworkspace.org/code/f17ca1e0ea03...9b0adeb80c7e800


ну, вообще-то, да.

Это сообщение отредактировал(а) borisbn - 2.3.2012, 12:44

я решил не отвечать на это.

Точно также, только, поскольку тип слева неизвестен, то он выводится из выражения справа, в котором известен тип a - enum{a,b}

Добавлено через 5 минут и 41 секунду

Судя по описанию в вике, вообще-то нет.

Почему нет-то ? "Вывод" типа или "запрос" типа - ИМХО разные названия одного и того же.
И почему тогда такая конструкция не работает

а такая - работает


нет... что-то в этом new auto не так...

Потому что "вывод типа" и "запрос типа (у выражения)" -- принципиально разные вещи. Decltype берет тип от выражения, тип которого уже известен (задекларирован). auto же вычисляет тип выражения, тип которого, заранее неизвестен.

Добавлено @ 14:55

Почему не работает? Ты же выше приводил код, где работает.

Это сообщение отредактировал(а) k0rvin - 4.3.2012, 14:55

неправда 

истинная правда.

Добавлено через 37 секунд
Ну разве что точнее "заранее неопределен"

постыдились бы.

auto, компилятор разворачивает как:


Добавлено через 1 минуту и 12 секунд

это возможно только в ран-тайме. а с++ - не динамический язык.

"постыдились бы"

http://en.wikipedia.org/wiki/Type_inference
http://en.wikipedia.org/wiki/C%2B%2B11#Type_inference

И никакой динамической типизации.

так сами и прочтите о чем там пишут.

Это сообщение отредактировал(а) boostcoder - 4.3.2012, 17:20

Я-то прочел, а ты?

Добавлено через 5 минут и 21 секунду
Рекомендую для понимания обратить внимание на этот пример:

если Вы прочли, то что же Вы этим сказать хотели?:


или Вы просто троллите?

Я этим задал вопрос (знак вопроса '?' как бы говорит нам об этом). В вопросе содержался намек, что decltype — это не вывод типов, чтобы автор поста про decltype задумался.

Это сообщение отредактировал(а) k0rvin - 4.3.2012, 17:43

а что же это?

k0rvin, в какой строчке тип заранее не известен?


В С/С++ впринципе это невозможно. Просто по определению   
С/С++ язык со статической типизацией - и этим все сказано.

http://stackoverflow.com/questions/6869888...to-and-decltype

или я "таво", или второе...

Добавлено через 1 минуту и 38 секунд

я тоже пытался обратить его внимание на это. но после ответа, я уже начал сомневаться в себе  

Ты ведь не прочитал, что такое "Вывод типов", да? Хаскелл, *ML — тоже языки со статической типизацией.

Добавлено через 1 минуту и 46 секунд

И тебе: вывод типов — это техника для статически типизированного языка

Добавлено через 2 минуты и 39 секунд

т.е. ты не видишь разницу между decltype и auto?

k0rvin, просто у auto и decltype разная семантика.
auto чудес не совершает.
В любом месте где стоит ауто, компилер точно знает какой именно тип туда нужно поставить.
Причем знает это он в момент компиляции.

Тип переменной a заранее не известен, он вычисляется из определения a = v[0]:

Зато тип b вычисляется из заранее типизированного выражения, decltype без всяких махинаций берет тип выражения v[0] и приписывает его переменной v.
Т.е. суть в том, что тип переменной a определяется из выражения справа, а тип переменной b из выражения слева (decltype).
Например, если изменить код примерно так:

то a определится как String и вообще строка с определением a будет работать, а стрка с определением b -- нет.

Добавлено через 49 секунд

Хвала яйцам, кто-то это понял наконец-то.

без decltype не существовало бы auto. auto реализован "поверх" decltype, с немного другой семантикой. но вывод типов - это decltype.

Да, но он вычисляет (выводит) его (тип) из выражения справа например. Это позволяет не менять часть кода, типы которого зависят от других типов и их сложно определить однозначно. + уменьшает количество синтаксического мусора.

т.е. ты целую страницу разводил демагогию из-за того что auto несколько изменяет семантику decltype, и просто ухмылялся что мы "не разглядели моську"?
минусовать тебя за это.

Добавлено @ 18:19
и разумеется ты не видел этого:



Это сообщение отредактировал(а) boostcoder - 4.3.2012, 18:26

k0rvin, ну так и нужно было говорить именно так, согласитесь что:

не совсем то, с чем можно согласиться...   

Это не вывод типов. Decltype требует явного указания выражения, от которого брать тип. Причем тип этого выражения должен быть явно определен.

повторю в третий раз:

Мда. Еще недавно ты не понимал как работает код на первой странице...
Рекомендую переделать следующий код, чтобы он был без auto, и подумать, что будет с кодом проекта, порядка так 100к строк от подобной переделки.


Добавлено @ 18:49

Это и есть явное указание выражения. Так что ты сказать хотел?

Это сообщение отредактировал(а) k0rvin - 4.3.2012, 18:50

так вот компилятор делает тоже самое. неявно. я об этом в самом начале написал. специально для тебя объяснил это. чтоб исключить недопонимание.

ты в танке?


Это сообщение отредактировал(а) boostcoder - 4.3.2012, 18:59

boostcoder, если быть точным, то не разворачивает.. auto и decltype реализуются дополняя друг друга , а не одно над другим..

Добавлено через 1 минуту и 57 секунд
если взять ваш пример то
 

то по сути правильно :


Добавлено через 3 минуты и 52 секунды
при том на новом стиле записи функций это явно проступает


Добавлено через 5 минут и 22 секунды
т.е. auto и decltype два рычага одного механизма, а не один и тот же рычаг под разным соусом 

mes, называйте как угодно.
цель одна?
auto выводит тип?

Добавлено через 5 минут и 15 секунд

нет. auto у нас нет. есть decltype и обертка над ним с несколько иной семантикой, реализующая auto.

зы
залезу я все же на stackoverflow...

нет, она говорит что для этого выражения тип будет определен позже 
"позже" это не рантайм )) 

ок.

тогда, какую же роль выполняет auto в этом примере, и справедлив ли предполагаемый мной разворот auto?:


и, что же на самом деле, означает выражение?:

разница хороша видна на примере std::vector<auto> = f ();
куда засунуть тут declexpr ?

а этот код разве должен компилится?
http://liveworkspace.org/code/fa66874e2d85...5d7ae138ce15e71

не совсем, ибо упускается из виду важный механизм о котором и говорил korvin.. умение определять тип , по выражению , которое определится позже.. 

зато с decltype все в порядке: http://liveworkspace.org/code/81fea29a4f58...a1711b4de18e78e

должен (естественно f возвращает вектор, но не значение ), но увы не компилится.. будем ждать ))

оно не позже определяется. это компилятор вместо auto вставляет decltype с несколько иной семантикой, именно для подобных случаев. ИМХО.
но я все равно завтра поспрашиваю на stackoverflow.

Добавлено @ 21:28

покажите, что конкретно Вы имеете ввиду?

Это сообщение отредактировал(а) boostcoder - 4.3.2012, 21:31

это совсем другое..  вот тут примените decltype :


Это сообщение отредактировал(а) mes - 4.3.2012, 21:31

а этот код точно корректный?

еще раз на примере функции : 
auto // нельзя выведать тип результата операции над аргументами,
    f (int i, int j)  //  пока не определены аргументы..
         -> decltype ( i+j)  // а теперь уже можно..
{
}

мне кажется, auto в данном случае просто синтаксический сахар. ибо никакой иной роли оно выполнять не может.
по тому, я и говорю, что auto - это decltype с несколько иной семантикой, именно для подобных случаев.

зы
может я не правильно вопросы задаю...


Это сообщение отредактировал(а) boostcoder - 4.3.2012, 21:37

http://www.open-std.org/jtc1/sc22/wg21/doc.../2003/n1478.pdf

я понимаю о чем там говорится. но я не понимаю почему..

boostcoder, говорят что вывод типа и запрос типа имеют разное поведение, а не одно наследует другое.. 



Это сообщение отредактировал(а) mes - 4.3.2012, 21:46

не?

Добавлено через 1 минуту и 6 секунд

как по мне, так запрос типа приводит к выводу типа. с несколько иной семантикой.

Добавлено через 2 минуты и 1 секунду
или?:

отдаленно соостветсвует такая запись :

но результат будет разный... 
плюс  наличие value_type может не быть 

Добавлено через 3 минуты и 19 секунд

покажите теперь для примера упомянутого выше 



Это сообщение отредактировал(а) mes - 4.3.2012, 21:51

как его может не быть, если функция возвращает вектор?

а что если кроме вектора ни к кому нельзя подобно применить авто ? см. пример с A 

Добавлено через 1 минуту и 5 секунд
в случае с A<..> f ()  возвращает А<>.. 

опять не понял..


я же показал как разрулить его.

в случае с A<..> f ()  возвращает А<>.. 



как минимум, у Вас вместо А<int> будет А<А<int> >...

Приведи аналог с decl.

Я сейчас прочитала топик и совсем потеряла веру в бустика. Скажи, зачем хамить и поясничать перед человеком (корвин), который тебе забесплатно объясняет твою неправоту? И минусить в данном случае нужно совсем не его!

хе!
осталось понять, корректен ли этот код..


ньюбка, возможно ты считаешь свою веру эталоном?


чтоб это назвать неправотой, нужно доказать другую правоту. а этого сделано не было. даже mes  не смог.

пример с A запустите ))  те механизмы, которые вручную придется добавить по дедукции типа и есть отличие auto от decla  

Добавлено через 1 минуту и 1 секунду

по сути да )

http://liveworkspace.org/code/c800847632af...cc2efeabb2c6519


так а я две страницы что утверждаю?!
 

Добавлено через 5 минут и 4 секунды
сто процентное отличие auto от decltype, проявляется только в примере ньюби.

хмм.. это вы уже хакнули, упустив функцию... 
вы запустите с использование decltype (f(5)) 

тогда и получите вывод типа.. 

я об этом и говорил, говоря что "auto i = expr;" разворачивается в "decltype(expr) i = expr;", и дополнял, "это decltype с немного иной семантикой"

испорченный телефон получился.

Арррррррггггггггххххххххх бустик, ты этот пример видел? Семантика, семантика, семантика, даже в лиспосрачах столько раз бездумно про семантику не тяфкнут.