программистское, для знающих C++

[avva]

C++ Rvalue References Explained

Отличная статья об одном из новшеств стандарта C++11 - так называемых "rvalue references". Оказывается, это совсем не страшная штука, и в этой статье всего из 11 страниц автор подробно объясняет, зачем они нужны, как их использовать, и почему, если вы собираетесь использовать rvalue references вместе с exceptions в одном и том же коде, лучше сразу застрелиться.

Процитирую прекрасную таблицу ссылок на ссылки:

• A& & becomes A&
  
• A& && becomes A&
  
• A&& & becomes A&
  
• A&& && becomes A&&

Comments

[ak-47.livejournal.com]

Таблица напомнила мне русскую пословицу: один сын - не сын, два сына - полсына, три сына - сын.

А вообще, из всех новшеств Ц++11, эти новые ссылки самые неинтуитивные. Хотя, может это старость наступает...

[blacklion.livejournal.com]

Где-то мне мерещится тег <irony> :)

[trurle.livejournal.com]

Описание языка PL-I занимало целую полку, не думаю что существовал человек, овладевший навыками программирования на PL-I в полном объеме.

Похоже что C++ стремительно деградирует к этому состоянию. Вообще, все стремительно портится, последние времена наступают.

[bealex.livejournal.com]

После пятого амперсанда затерялся.

[winpooh.livejournal.com]

Мне кажется, основная премудрость там состоит в двух строчках на стр.3:
Rvalue references allow a function to branch at compile time (via overload resolution)
on the condition "Am I being called on an lvalue or an rvalue?".

"Остальное - комментарий".

[igorlord.livejournal.com]

The first page left me totally confused about what definition of l-value he will use for the remainder of the article.

Consider:
const int r = 37;

Is r an l-value or r-value? By the first definition, it is an r-value, since it cannot be on the left side of assignment. But by the second definition, it is an l-value, since it refers to a memory location, and its address can be taken.

[spamsink.livejournal.com]

Да. Как только я это в свое время понял сам при чтении разнообразных operator+ для std::string, наступило просветление.

[dimrub.livejournal.com]

Первое определение - из С, второе - из С++. Там даже вот такая фраза есть:

In C++, this is still useful as a first, intuitive approach to lvalues and rvalues. However, C++ with its user-defined types has introduced some subtleties regarding modifiability and assignability that cause this definition to be incorrect.

[igorlord.livejournal.com]

My example is pure C with no semantic differences introduced by C++. That is exactly why his statement is confusing, since it implies that the second definition should just extend to first definition to cover additional semantics introduced by C++.

Still, it is now clear that he means to use the second definition in my case.

[huzhepidarasa.livejournal.com]

И эти люди запрещают мне ковыряться в монадах.

[dimrub.livejournal.com]

Программист на С++ имеет все шансы состариться и уйти на пенсию, всю жизнь пользуясь rvalue references, и не зная этого (грубо говоря, если я не пишу performance intensive libraries, то они мне не нужны). У программиста на Хаскелле возможности не знать, что такое монады, нет.

[cmm.livejournal.com]

грубо говоря, если я не пишу performance intensive libraries, то они мне не нужны

зачем же тогда мучить себя крестами?
(это риторический вопрос).

[huzhepidarasa.livejournal.com]

Wishful thinking. У программиста на Хаскеле есть все возможности умереть, не узнав, что такое монада. Он просто будет думать, что знает.

[cmm.livejournal.com]

"most, in fact, do".

[huzhepidarasa.livejournal.com]

Хочется верить, что большинство программистов на Хаскеле пока еще все же живо. Так что не все потеряно, по крайней мере теоретически.

[asox.livejournal.com]

Is r an l-value or r-value?

r-value

Иначе код

const int r = 37;
char s[r];

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

[huzhepidarasa.livejournal.com]

И еще. Само наличие в языке темных углов вредно и опасно, даже если считать, что большинству программистов заходить туда не нужно. Как сказал поэт, Совершите вы массу открытий//Иногда не желая того O:-)

[asox.livejournal.com]

Вот именно.

[pilpilon.livejournal.com]

не связанные вещи.

[helvegr.livejournal.com]

Мне ещё вот это (http://channel9.msdn.com/Shows/Going+Deep/Cpp-and-Beyond-2012-Scott-Meyers-Universal-References-in-Cpp11) понравилось:

Given that rvalue references are declared using "&&", it seems reasonable to assume that the presence of "&&" in a type declaration indicates an rvalue reference. That is not the case:

Widget&& var1 = someWidget; // here, "&&" means rvalue reference
 
auto&& var2 = var1; // here, "&&" does not mean rvalue reference
 
template<typename T>
 
void f(std::vector&& param); // here, "&&" means rvalue reference
 
template<typename T>
 
void f(T&& param); // here, "&&" does not mean rvalue reference

In this article, I describe the two meanings of "&&" in type declarations, explain how to tell them apart, and introduce new terminology that makes it possible to unambiguously communicate which meaning of "&&" is intended. Distinguishing the different meanings is important, because if you think "rvalue reference" whenever you see "&&" in a type declaration, you'll misread a lot of C++11 code.

[avva.livejournal.com]

Аааааа, это прекрасно, спасибо :)

[senecarus.livejournal.com]

Как хорошо, что я с этим завязал.

[smilga.livejournal.com]

Можно подумать, есть зачем мучить себя крестами даже и человеку, пишущему performance intensive libraries.

[cmm.livejournal.com]

"это другой вопрос".

[chainiksu.livejournal.com]

Ну, у человека, пишущего performance intensive libraries, всего две альтернативы - с крестами и без.