• <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>

            雁過(guò)無(wú)痕


            1 auto 會(huì)自動(dòng)把 引用 去除掉
             
              int& get();
              auto k = get();     // k的類(lèi)型是int,而不是int&
             
              Derived object;
              auto&    same_object = (Base&)object;      
              auto  another_object = (Base&)object;  //會(huì)重新構(gòu)造個(gè)Base對(duì)象  
             
                
            2 decltype 有時(shí)會(huì)自動(dòng)把 引用 加上

              int x;
              decltype((x)) 和 decltype(*&x) 的類(lèi)型是int&,而不是int
             
              在宏中使用decltype時(shí),要特別注意別多加了括號(hào)。
             
              下面這段代碼錯(cuò)在哪里?
                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)的類(lèi)型是T&或R&,而不是所希望的T或R!
             
             
              標(biāo)準(zhǔn)是這樣規(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ù)轉(zhuǎn)發(fā)、針對(duì)臨時(shí)對(duì)象優(yōu)化
              move是動(dòng)詞,從字面上理解好像是要移動(dòng)對(duì)象,其實(shí)std::move只是簡(jiǎn)單的將類(lèi)型轉(zhuǎn)成右值引用而已!!! 可以理解成 cast_to_rvalue_reference 或 treat_as_temporal_object。
             

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

            評(píng)論

            # re: c++11 最反直覺(jué)的地方 2012-11-26 15:28 秒大刀
            越搞越復(fù)雜,反人類(lèi)  回復(fù)  更多評(píng)論
              

            # re: c++11 最反直覺(jué)的地方 2012-12-04 16:19 w
            看著就眼花, 還是最簡(jiǎn)單的最實(shí)用, 天天搞些語(yǔ)法糖看著就心煩

              回復(fù)  更多評(píng)論
              

            # re: c++11 最反直覺(jué)的地方 2013-05-20 14:56 lili
            第一個(gè)auto 是很坑。。。  回復(fù)  更多評(píng)論
              

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

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

            2. 關(guān)于 decltype((x)) 的問(wèn)題.
            暫無(wú).

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

            国产精品久久午夜夜伦鲁鲁| 久久国产视频网| 亚洲va久久久噜噜噜久久| 亚洲国产精品无码久久久蜜芽 | 久久久久久久久波多野高潮| 三级三级久久三级久久| 久久精品99久久香蕉国产色戒| 韩国免费A级毛片久久| 久久精品综合一区二区三区| 亚洲中文字幕无码久久精品1| 7国产欧美日韩综合天堂中文久久久久| 久久国产影院| 久久九九全国免费| 久久婷婷色综合一区二区| 伊人久久大香线蕉影院95| 亚洲熟妇无码另类久久久| 国内精品久久久久久久影视麻豆 | 亚洲人成网亚洲欧洲无码久久| 韩国无遮挡三级久久| 久久香综合精品久久伊人| 久久99精品免费一区二区| 国产欧美久久久精品| 亚洲精品午夜国产VA久久成人| 国产精品99久久久久久猫咪| 久久国产精品-国产精品| 久久亚洲精精品中文字幕| 久久无码AV一区二区三区| 欧美性猛交xxxx免费看久久久| 99久久www免费人成精品| 夜夜亚洲天天久久| 91久久九九无码成人网站| 久久久青草久久久青草| 久久99热国产这有精品| 99精品久久久久中文字幕| 久久精品国产亚洲AV电影| 婷婷综合久久中文字幕蜜桃三电影 | 久久99国产乱子伦精品免费| 午夜精品久久久久久99热| 欧美精品久久久久久久自慰| 亚洲国产精品无码久久| 无码久久精品国产亚洲Av影片 |