c++17 temporary materialization

c++17 temporary materialization

c++17要求【prvalue(纯右值）/临时值】不能被轻易物化，除非有必要

1. value categories

左值(lvalue)和右值(rvalue)

C++11之前，左值和右值定义很清晰（传统C定义），左值代表一个位置，具有程序可访问的内存地址，右值代表内容；另一种表述是根据赋值操作的角色进行描述，左值在赋值操作的左边（left-hand side)，右值在赋值操作的右边（right-hand side)。

两属性三类别

C++11之后引入了右值引用和移动语义新特性，导致左值和右值并不容易解释了，因此出现了新的值类别，如下。

• 两属性
  任何一个值（表达式）都有两个属性：
  具有身份（has identity）：具有内存地址，程序可以访问该地址；-- 广义左值（glvalue）
  可被移动（can be moved from): 移动之后，undefined but valid(state); – 右值（rvalue）
• 三类别
  具有身份+不可移动：左值（lvalue）;
  具有身份+可以移动：过期的值（xvalue）；
  没有身份+可以移动：纯右值（prvalue）；

2. 针对prvalue的处理，是否一定要temporary materialization？

纯右值是一个不占据内存的值，可以用来初始化对象，在C++17之前纯右值通常表示一个临时对象（占据内存，隐式prvalue-to-xvalue转换，因此类型必须具有拷贝构造函数，即使编译器优化后不再调用拷贝构造函数，编译器依然会检查拷贝语义）；C++17 强制要求纯右值prvalue只是初始化语义，意思是prvalue只能帮助其它对象初始化，自己是不能轻易物化(materialization)的，除非有必要。

// temporary_materialization.cpp
#include <iostream>

class Test
{
public:
    Test() : m(1)
    {
        std::cout << "ctor" << std::endl;
    }
    Test(const Test&)
    {
        std::cout << "copy ctor" << std::endl;
    }
    ~Test()
    {
        std::cout << "dtor" << std::endl;
    }

private:
    int m;
};

Test Func(Test test)
{
    std::cout << "Func called" << std::endl;
    return Test();
}

int main()
{
    auto t = Func(Test());
    return 0;
}

g++ temporary_materialization.cpp -fno-elide-constructors -std=c++11
输出：
ctor
copy ctor
Func called
ctor
copy ctor
dtor
copy ctor
dtor
dtor
dtor
dtor

-fno-elide-constructors编译选项是告诉编译器不要进行优化，防止编译器优化掩盖我们想表达的意思。
可以看出c++11，Test()最终代表一个临时值，而不是一个纯右值（发生了prvalue-to-xvalue），导致出现了大量拷贝构造函数。

g++ temporary_materialization.cpp -fno-elide-constructors -std=c++17
输出：
ctor
Func called
ctor
dtor
dtor

可以看出c++17对待Test()根据上下文完全把其当作了prvalue，只是用其初始化对象而已，因此不存在拷贝构造函数的调用。

进一步思考

如果去除编译选项 -fno-elide-constructors，c++11启用优化（rvo），也不会出现拷贝构造函数的调用，如下：

g++ temporary_materialization.cpp -std=c++11
输出：
ctor
Func called
ctor
dtor
dtor

此时是否可以把拷贝构造函数删除？
答案是不可以。

// temporary_materialization.cpp
#include <iostream>

class Test
{
public:
    Test() : m(1)
    {
        std::cout << "ctor" << std::endl;
    }
    Test(const Test&) = delete; //change
    ~Test()
    {
        std::cout << "dtor" << std::endl;
    }

private:
    int m;
};

Test Func(Test test)
{
    std::cout << "Func called" << std::endl;
    return Test();
}

int main()
{
    auto t = Func(Test());
    return 0;
}

c++11编译无法通过，但C++17可以通过。

g++ temporary_materialization.cpp -std=c++11
输出：
temporary_materialization.cpp:30:12: error: call to deleted constructor of ‘Test’
return Test();
^~~~~~
temporary_materialization.cpp:16:5: note: ‘Test’ has been explicitly marked deleted here
Test(const Test&) = delete;
^
temporary_materialization.cpp:35:19: error: call to deleted constructor of ‘Test’
auto t = Func(Test());
^~~~~~
temporary_materialization.cpp:16:5: note: ‘Test’ has been explicitly marked deleted here
Test(const Test&) = delete;
^
temporary_materialization.cpp:27:16: note: passing argument to parameter ‘test’ here
Test Func(Test test)
^
2 errors generated.

g++ temporary_materialization.cpp -std=c++17
输出：
ctor
Func called
ctor
dtor
dtor

这也印证了前文的描述：

在C++17之前纯右值通常表示一个临时对象（占据内存，隐式prvalue-to-xvalue转换，因此类型必须具有拷贝构造函数，即使编译器优化后不再调用拷贝构造函数，编译器依然会检查拷贝语义）；C++17 强制要求纯右值prvalue只是初始化语义，意思是prvalue只能帮助其它对象初始化，自己是不能轻易物化的，除非有必要。