• <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;  //會重新構(gòu)造個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!
             
             
              標(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ā)、針對臨時對象優(yōu)化
              move是動詞,從字面上理解好像是要移動對象,其實(shí)std::move只是簡單的將類型轉(zhuǎn)成右值引用而已!!! 可以理解成 cast_to_rvalue_reference 或 treat_as_temporal_object。
             

              void test1(int&&) {}
             
              void test2(int&& value)  //注意:value的類型是int,而不是int&&
              {
                 test1(value);    //無法編譯通過,因?yàn)関alue的類型是int! 必須轉(zhuǎn)換類型
                 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值,但實(shí)際上ch值不會改變,改變的是臨時對像
              通過轉(zhuǎn)發(fā)函數(shù)test3,increase函數(shù)可以修改臨時對像,
              這造成程序員犯的錯誤(如上面的例子),難以在編譯時就被找出來。
             
             
              std::forward<T>(value) 等價于 static_cast<T&&>(value),感覺后者更容易理解。
              std::forward 起到的轉(zhuǎn)發(fā)作用。如果T類型為 R&、 R&&,經(jīng)過類型轉(zhuǎn)換后,其類型還是和原來的一樣。
              在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 秒大刀
            越搞越復(fù)雜,反人類  回復(fù)  更多評論
              

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

              回復(fù)  更多評論
              

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

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

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

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

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

            yy6080久久| 国产 亚洲 欧美 另类 久久| 久久精品国产乱子伦| 久久久噜噜噜www成人网| 伊人久久综在合线亚洲2019| 亚洲乱码日产精品a级毛片久久 | 国产午夜精品理论片久久影视| 国产精品va久久久久久久| 国产成人无码精品久久久性色| 久久久久久免费一区二区三区| 久久最新免费视频| 久久精品中文字幕久久| 亚洲精品乱码久久久久久蜜桃图片| 久久精品国产半推半就| 亚洲AV无码久久精品狠狠爱浪潮| 国产精品亚洲综合专区片高清久久久| 亚洲AV乱码久久精品蜜桃| 日本高清无卡码一区二区久久| 久久精品国产亚洲沈樵| 久久久噜噜噜久久熟女AA片 | 久久亚洲综合色一区二区三区| 精品多毛少妇人妻AV免费久久| 久久精品一区二区影院 | 久久天天躁狠狠躁夜夜不卡 | 国产三级精品久久| 四虎国产精品免费久久久| 99精品久久精品一区二区| 亚洲综合伊人久久综合| 四虎国产精品成人免费久久| 国产69精品久久久久APP下载| 合区精品久久久中文字幕一区| 精品国产婷婷久久久| 国产国产成人久久精品| 91久久精品国产91性色也| 国产成人无码精品久久久久免费 | 亚洲伊人久久综合中文成人网| 久久无码AV中文出轨人妻| 久久久久综合中文字幕| 亚洲人成网站999久久久综合 | 久久精品国产99久久香蕉| 久久精品无码av|