因为const按定义就不能被move啊
你不要把一个对象想成一小块内存。
一个对象可以是很复杂的一个东西，它里面可以有很复杂的逻辑。
如果是const对象，protocol跟非const对象就不同了。
把const对象（真）cast成非const对象是undefined behavior，编译器怎么敢。
【 在 allegro (静水流深) 的大作中提到: 】
: 标  题: 关于copy elision和move ctor
: 发信站: 水木社区 (Fri Jul 17 14:52:04 2020), 站内
:
: I read again the NRVO carefully, seems I mis-understand the NRVO in case 5.
: NRVO needs to know which variable to return at construction.
:
: But still I have question for case-5, const effectively blocks the move ctor.
:
: Grammarly we can’t move a const lvalue by std::move().
: And compiler can use move over a dying non-const lvalue to construct the returned object.
:
: But why the compiler doesn’t optimize to use the move over a dying const lvalue?
: Just don’t want give us a big ooops? What’s your understand?
:
:
: Thanks,
: xxxx
:
: code排版太乱。
: 我重新截了个图。
:
: --
: [upload=1][/upload]
: ※ 修改:·allegro 于 Jul 17 14:59:18 2020 修改本文·[FROM: 209.249.20.*]
: ※ 来源:·水木社区 http://www.newsmth.net·[FROM: 209.249.20.*]
--
修改:allegro FROM 209.249.20.*
FROM 76.126.252.*

不是的。

string f(bool x)
{
    string s = "1111111111111111111111111111111111111111111111111111111111111";
    if(x){
        std::cout << "var address: " << &s << std::endl;
        std::cout << "buf address: " << (void *)(s.data()) << std::endl;
        return s;
    }
    return string("222222222222222222222222222222222222222222222222222222222222222");
}

string g(bool x)
{
    const string s = "1111111111111111111111111111111111111111111111111111111111111";
    if(x){
        std::cout << "var address: " << &s << std::endl;
        std::cout << "buf address: " << (void *)(s.data()) << std::endl;
        return s;
    }
    return string("222222222222222222222222222222222222222222222222222222222222222");
}

string r()
{
    const string s = "1111111111111111111111111111111111111111111111111111111111111";
    std::cout << "var address: " << &s << std::endl;
    std::cout << "buf address: " << (void *)(s.data()) << std::endl;
    return s;
}

int main()
{
    {
        std::cout << "call f(true), expect move ctor" << std::endl;
        string s = f(true);

        std::cout << "var address: " << &s << std::endl;
        std::cout << "buf address: " << (void *)(s.data()) << std::endl;
    }

    std::cout << "===============" << std::endl;
    {
        std::cout << "call g(true), expect copy ctor" << std::endl;
        string s = g(true);

        std::cout << "var address: " << &s << std::endl;
        std::cout << "buf address: " << (void *)(s.data()) << std::endl;
    }

    std::cout << "===============" << std::endl;

    {
        std::cout << "call r(), expect NRVO" << std::endl;
        string s = r();

        std::cout << "var address: " << &s << std::endl;
        std::cout << "buf address: " << (void *)(s.data()) << std::endl;
    }

    return 0;
}

$ g++ t.cpp -std=c++17

输出：

call f(true), expect move ctor
var address: 0x7fffc4ea36c0
buf address: 0x7fffbd418280
var address: 0x7fffc4ea3720
buf address: 0x7fffbd418280
===============
call g(true), expect copy ctor
var address: 0x7fffc4ea36c0
buf address: 0x7fffbd418280
var address: 0x7fffc4ea3720
buf address: 0x7fffbd4182d0
===============
call r(), expect NRVO
var address: 0x7fffc4ea3720
buf address: 0x7fffbd4182d0
var address: 0x7fffc4ea3720
buf address: 0x7fffbd4182d0

case-5对应的是g(true)，你可以看到变量和buf地址都不一样。

【 在 libgcc 的大作中提到: 】
: 为什么我试了下case5是move的?
: string的data()返回的地址是一样的
:
--
FROM 209.249.20.*

不对吧，这是很老的编译器行为吧。
【 在 hyperLee (老李) 的大作中提到: 】
: 标  题: Re: 关于copy elision和move ctor
: 发信站: 水木社区 (Sat Jul 18 08:29:51 2020), 站内
:
: 要触发nrvo， 返回值写在第一行， 然后return语句和返回值处于同一block.
:
: 如果代码有if动态分支，你在if里边返回的时候触发不了nrvo.
:
: 我感觉nrvo是一个编译期行为， 编译器如果无法预测你的分支，nrvo就不可能.
:
:
: 【 在 allegro (静水流深) 的大作中提到: 】
: : I read again the NRVO carefully, seems I mis-understand the NRVO in case 5.
: : NRVO needs to know which variable to return at construction.
: : But still I have question for case-5, const effectively blocks the move ctor.
: : ...................
:
: --
:
: ※ 来源:·水木社区 newsmth.net·[FROM: 120.244.224.*]
--
FROM 76.126.252.*

我用自己电脑编译结果不是，已然回复如上。
然后用了一下online gcc，c++14，居然buffer是一样的，不知道是否调用了move:
http://cpp.sh/4iaa4

如果把容器换成vector的话那buffer就是不一样的:
http://cpp.sh/6kcsb

【 在 libgcc 的大作中提到: 】
: 为什么我试了下case5是move的?
: string的data()返回的地址是一样的
:
--
修改:allegro FROM 73.63.211.*
FROM 73.63.211.*

你代码写的顺序不一定是程序执行的顺序。
变量是否写在第一行根本就没关系。
只有很老的C编译器才会有这个。
【 在 hyperLee (老李) 的大作中提到: 】
: 标  题: Re: 关于copy elision和move ctor
: 发信站: 水木社区 (Sat Jul 18 12:17:58 2020), 站内
:
: 我觉得这个nrvo可能要把返回值定义在栈入口处，这样退栈少退一点，才能免掉一次拷贝。可是要这么干必须让编译器在编译的时候就识别出那个对象是要返回的。
:
: 理论上来说，函数内部栈上对象拷出去是必须调用copy ctor的，我不认为还有什么其他方法实现rvo
:
: 【 在 here080 @ [CPlusPlus] 的大作中提到: 】
: :
: : 不对吧，这是很老的编译器行为吧。
: : 【 在 hyperLee (老李) 的大作中提到: 】
: : : 标 题: Re: 关于copy elision和move ctor
: : : 发信站: 水木社区 (Sat Jul 18 08:29:51 2020), 站内
:
: --
:
: ※ 来源:·水木社区 http://www.newsmth.net·[FROM: 120.244.224.*]
--
FROM 76.126.252.*