madf

--    A Zipper is essentially an `updateable' and yet pure functional           
--    cursor into a data structure. Zipper is also a delimited                  
--    continuation reified as a data structure.                                 
--                                                                              
--    The Zipper lets us replace an item deep in a complex data                 
--    structure, e.g., a tree or a term, without an  mutation.  The             
--    resulting data structure will share as much of its components with        
--    the old structure as possible.                                            
--                                                                              
--      Oleg Kiselyov, 27 Apr 2005, haskell\@, "Zipper as a delimited continuation"

// REURNS: a pointer to the frame.
Frame Foo::createFrame()
{
...

#define Frame FrameType*

Rvalue References і Move Semanics, мабуть, одні із найскладніших найпростіших нововведень стандарту C++11. Про них усі говорять, про них написано багато статей і туторіалів. Я уже принаймі чотири рази все прояснив для себе але кожного разу коли стикаюсь з цими поняттями — виникає відчуття що я нічорта не розумію. Судячи із кількості туторіалів, я такий не один :)

На цьому, нарешті, байку закінчено, дякую за увагу, не хворійте.

Післямова: підозрюю що я ще довго не зможу "на автоматі" правильно використовувати цей підхід.

Зацікавитись проблемою partial application у C++ мене заставила оказія на роботі і оця стаття на хабрі: "Частичное применение и каррирование в C++". Ну про статтю говорити багато не буду — візьміть та прочитайте. Скажу тільки що автор використовує новий стандарт лише частково, у рамках підтримки його Microsoft Visual Studio 2010. Не використовує навіть variadic templates. На робочій оказії ж зупинюсь детальніше.

В рамках впровадження на роботі Boost.Signal2 замість дерев’яного велосипеду на паровій тязі я стикнувся з проблемою втикання методів класів у слот. Проблема стара як світ і полягає у наявності неявномого параметра this який треба передати явно. Всі, мабуть, знають що методи класів у плюсах це, насправді, звичайнісінькі функції яким неявно першим параметром передається вказівник на об’єкт якому вони належать. Невільні функції, страждають на панщині, що тут поробиш. Якщо мислити на рівні старого-доброго C чи мови ассемблера (від якої він не далеко відкотився) — все в порядку. Втикаємо вказівник на об’єкт (чи, пардон, на структуру) у перший параметр (чи кладемо його у стек, чи записуємо у регістр) і ніяких проблем. Та у плюсах все не так. Не проста у нас функція.

Prelude> (read "1.0") :: Double
1.0
Prelude> (read "1.0") :: Maybe Double
*** Exception: Prelude.read: no parse

typedef boost::mpl::vector<B, D1, D2, DD>::type types;                    
                                                                                
typedef boost::mpl::sort<types, boost::mpl::not_<std::is_base_of<boost::mpl::_1, boost::mpl::_2>>>::type sortedTypes;
                                                                                
typename apply<HContainer, sortedTypes>::type data;