unique_ptr在离开默认构造函数后变为空

Question

这是VS 2013中的标准痘痘：

.h：

#pragma once
#include<string>
#include<iostream>
#include <memory>
class TestClass01
{
    private:    
        class impl; 
        std::unique_ptr<impl> pimpl;
    public:
        TestClass01();
        TestClass01(int num, std::string str);
        TestClass01(int num);
        TestClass01(std::string str);
        virtual ~TestClass01();
        int ReturnMyInt();
        std::string ReturnMyString();
};

。.cpp

#include "stdafx.h"
#include "TestClass01.h"
#include <iostream>
class TestClass01::impl
{   
public:
    int myint;
    std::string mystr;
};

TestClass01::TestClass01() 
{ 
    pimpl = std::make_unique<impl>();   
}

TestClass01::TestClass01(int num, std::string str)
{
    //pimpl = std::make_unique<impl>();
    TestClass01();
    pimpl->myint = num;
    pimpl->mystr = str;
}
TestClass01::TestClass01(int num)
{
    TestClass01();
    pimpl->myint = num;
}
TestClass01::TestClass01(std::string str)
{
    TestClass01();
    pimpl->mystr = str;
}
TestClass01::~TestClass01()
{
    std::cout << "Destroyed TestClass01 with int=" << pimpl->myint << " and str=" << pimpl->mystr;
}
int TestClass01::ReturnMyInt()
{
    return pimpl->myint;
}
std::string TestClass01::ReturnMyString()
{
    return pimpl->mystr;
}

这段代码的问题在于，如果我从任何其他构造函数调用默认构造函数而不是直接实例化 impl，它会崩溃：

TestClass01::TestClass01(int num, std::string str)
{
    //pimpl = std::make_unique<impl>(); -> This works, the line below doesn't
    TestClass01();
    pimpl->myint = num;
    pimpl->mystr = str;
}

在 TestClass01（） 下面的行中;pimpl 为空。但是在默认构造函数中设置断点会显示 pimpl 指向默认构造函数中的对象，仅当它离开它时才变为空。

是什么导致痘痘变得空虚？它是一个成员变量，它不应该超出范围（因此导致unique_ptr删除包含的对象）。

Answer 1

C++11 中构造函数委托的正确语法是

TestClass01::TestClass01(int num) : TestClass01() // <-- here, in the ctor
{                                                 //     init list.
  pimpl->myint = num;
}

VS 2013支持这一点，所以这应该适合你。您现在这样做的方式只是创建一个无名的临时TestClass01对象，该对象会立即被销毁，并且根本不影响当前*this。

Answer 2

不能直接调用构造函数。当您尝试时，您所做的只是创建一个未命名的临时对象，该临时在调用后消失，并且它根本不影响当前对象。

下面是一些演示它的代码：

struct test
{
    test() { cout << "default constructor on " << this << endl; }
    test(int) { cout << "int constructor on " << this << endl; test(); }
};
int main() {
    test t(1);
    cout << "test object at " << &t << endl;
    return 0;
}

在 http://ideone.com/n2Thrn 观看演示。对象指针是输出的，请注意它们是不同的。