неправда 

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

Добавлено через 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.