• <ins id="pjuwb"></ins>
    <blockquote id="pjuwb"><pre id="pjuwb"></pre></blockquote>
    <noscript id="pjuwb"></noscript>
          <sup id="pjuwb"><pre id="pjuwb"></pre></sup>
            <dd id="pjuwb"></dd>
            <abbr id="pjuwb"></abbr>

            雁過無痕

              C++博客 :: 首頁 :: 新隨筆 :: 聯(lián)系 :: 聚合  :: 管理 ::

            1 auto 會自動把 引用 去除掉
             
              int& get();
              auto k = get();     // k的類型是int,而不是int&
             
              Derived object;
              auto&    same_object = (Base&)object;      
              auto  another_object = (Base&)object;  //會重新構造個Base對象  
             
                
            2 decltype 有時會自動把 引用 加上

              int x;
              decltype((x)) 和 decltype(*&x) 的類型是int&,而不是int
             
              在宏中使用decltype時,要特別注意別多加了括號。
             
              下面這段代碼錯在哪里?
                template<typename T, typename R>
                auto min(T t, R r) -> decltype(t < r ? t : r)
                {
                  return (t < r ? t : r);
                }
                
              decltype(t < r ? t : r)的類型是T&或R&,而不是所希望的T或R!
             
             
              標準是這樣規(guī)定的:

            The type denoted by decltype(e) is defined as follows:
              — if e is an unparenthesized id-expression or an unparenthesized class member
                 access (5.2.5), decltype(e) is the type of the entity named by e. If there
                 is no such entity, or if e names a set of overloaded functions, the program
                 is ill-formed;
              — otherwise, if e is an xvalue, decltype(e) is T&&, where T is the type of e;
              — otherwise, if e is an lvalue, decltype(e) is T&, where T is the type of e;
              — otherwise, decltype(e) is the type of e.
             

            3 std::move、std::forward、右值引用
             
              C++11 引入 右值引用,可以做到:函數(shù)轉發(fā)、針對臨時對象優(yōu)化
              move是動詞,從字面上理解好像是要移動對象,其實std::move只是簡單的將類型轉成右值引用而已!!! 可以理解成 cast_to_rvalue_reference 或 treat_as_temporal_object。
             

              void test1(int&&) {}
             
              void test2(int&& value)  //注意:value的類型是int,而不是int&&
              {
                 test1(value);    //無法編譯通過,因為value的類型是int! 必須轉換類型
                 test1(static_cast<int&&>(value));      //或者
                 test1(std::forward<int>(value));
              }
             
              test2函數(shù)中,value的類型是int,而不是int&&。
              這是一個不得已的選擇。如果value的類型是int&&的話,就會有副作用:
             
              void increase(int& value) { ++value; }
              void test3(int&& value) { increase(value); }
             
              char ch = 'a';
              test3(ch);  //本意是改變ch值,但實際上ch值不會改變,改變的是臨時對像
              通過轉發(fā)函數(shù)test3,increase函數(shù)可以修改臨時對像,
              這造成程序員犯的錯誤(如上面的例子),難以在編譯時就被找出來。
             
             
              std::forward<T>(value) 等價于 static_cast<T&&>(value),感覺后者更容易理解。
              std::forward 起到的轉發(fā)作用。如果T類型為 R&、 R&&,經(jīng)過類型轉換后,其類型還是和原來的一樣。
              在C++11中
                R&  &   等同于 R&   (在c++03中,R& &這種寫法是非法的)
                R&& &   等同于 R&
                R&  &&  等同于 R&
                R&& &&  等同于 R&&
             
            posted on 2012-11-22 19:49 flyinghearts 閱讀(2896) 評論(4)  編輯 收藏 引用 所屬分類: C++

            評論

            # re: c++11 最反直覺的地方 2012-11-26 15:28 秒大刀
            越搞越復雜,反人類  回復  更多評論
              

            # re: c++11 最反直覺的地方 2012-12-04 16:19 w
            看著就眼花, 還是最簡單的最實用, 天天搞些語法糖看著就心煩

              回復  更多評論
              

            # re: c++11 最反直覺的地方 2013-05-20 14:56 lili
            第一個auto 是很坑。。。  回復  更多評論
              

            # re: c++11 最反直覺的地方 2013-08-20 11:00 walfud
            我認為樓主看到了現(xiàn)象, 但是沒有認真思考為什么會反直覺, 下面給就你的這幾個例子, 做一些 "狡辯":

            1. auto k = get(); 的例子.
            get 返回了一個引用, 但是引用的語義是什么? 就是變量的別名, 因此語義上講, 返回一個 int & 就是返回一個 int.
            至于 auto another_object = (Base &)object; 也是同理, 你對 object 強轉為 Base &, 那么就是認為 object 就是一個 Base, 那么 auto 自動構造一個 Base 的新對象也是正確的.
            以上兩個問題是樓主沒有搞清引用的抽象含義, 而過于糾纏代碼的實質(zhì)和語法細節(jié)之中.

            2. 關于 decltype((x)) 的問題.
            暫無.

            3. test3(ch) 問題.
            首先, 你的程序根本無法編譯.
            你定義了 void test3(int &&value) {}, 但是, 卻這樣調(diào)用 test3(ch); 變量 ch 是一個具名變量, 怎能和一個右值引用匹配? 所以 test3(ch) 理論上是無法通過編譯的.
            再說 forward 這個函數(shù), 其實這個函數(shù)的唯一目錄就是將具名對象變?yōu)榉蔷呙麑ο? 因為標準規(guī)定, 右值必須是 unname 的, 所以使用 int &&arg 傳遞參數(shù)后, 有了名字, 就需要使用 forward(arg) 去掉名字. 不過完全可以使用 static_cast 代替, 因為做了轉換后, 名字就沒有了.
            最后說引用之間的重疊效果. 這就和帶符號的乘法是一樣的, & 是負號, && 是正號. 剩下的不用說了吧.  回復  更多評論
              

            无码人妻久久一区二区三区 | 久久精品卫校国产小美女| 亚洲精品国产美女久久久| 欧美午夜精品久久久久免费视| 久久久久无码专区亚洲av| 久久无码人妻精品一区二区三区 | 久久91精品国产91久| 中文字幕久久波多野结衣av| 国产精品久久久久AV福利动漫 | 久久国产色AV免费看| av无码久久久久久不卡网站| 四虎影视久久久免费| 东京热TOKYO综合久久精品| 久久精品国产一区二区三区| 色婷婷综合久久久久中文一区二区| 国产99久久精品一区二区| 久久国产精品视频| 精品久久久久久中文字幕人妻最新| 久久精品中文字幕一区| 亚洲国产精品一区二区久久hs| 久久国产视屏| 四虎国产精品免费久久5151| 欧美精品乱码99久久蜜桃| 一本伊大人香蕉久久网手机| 老色鬼久久亚洲AV综合| 一本久久精品一区二区| 欧美精品福利视频一区二区三区久久久精品 | 久久综合九色综合网站| 精品熟女少妇aⅴ免费久久| 久久精品国产亚洲麻豆| 九九久久自然熟的香蕉图片| 99久久免费国产精品特黄| 久久无码国产| 久久中文字幕精品| 久久只有这精品99| 亚洲国产香蕉人人爽成AV片久久| 国产成人AV综合久久| 狠狠色丁香久久综合五月| 91久久婷婷国产综合精品青草 | 久久久精品人妻一区二区三区四 | 久久精品成人欧美大片|