Question

我有两个这样的类（简化代码以更清楚地显示问题）：

template<typename stream_type>
class Stream : public std::basic_streambuf<char, std::char_traits<char>>
{
private:
    std::string pBuffer;

    //other functions overridden here..

public:
    Stream();
    virtual ~Stream();

    Stream(const Stream& other) = delete;
    Stream& operator = (const Stream& other) = delete;
};

template<typename stream_type>
Stream<stream_type>::Stream() : pBuffer()
{
    parent_type::setg(nullptr, nullptr, nullptr);
    parent_type::setp(nullptr, nullptr);
}

template<typename stream_type>
Stream<stream_type>::~Stream()
{
    //Parent Destructor calling child member function..
    static_cast<stream_type*>(this)->sync(&pBuffer[0], pBuffer.size());
}


//CRTP Child..
template<typename char_type>
class File : public Stream<File<char_type>>
{
private:
    FILE* hStream;

public:
    File(const char* path) : Stream<File<char_type>>()
    {
        hStream = fopen(path, "w");
    }
    ~File()
    {
        //Child destructor is closing the file..
        fclose(hStream);
    }

    int sync(const char_type* data, std::size_t size)
    {
        if (fwrite(data, sizeof(char_type), size, hStream) == size)
        {
            fflush(hStream);
        }

        return traits_type::eof();
    }
};

问题：

当由于超出范围而调用子级的析构函数时，它将首先关闭文件。此后，它将调用父级析构函数..但父级仍在尝试访问子级的“ sync”函数（当然，这是一个错误）。

关于如何解决这种情况的任何想法？我需要父类来保证其缓冲区中的所有数据都同步到磁盘上。但是，我的子类可能并不总是“文件”类。这可能是另一种不同步的流。我需要家长班来强迫所有孩子同步他们的数据。

有什么想法可以做到吗？

Answer 1

以与创建相反的顺序销毁成员和基础。
因此，一种解决方案可能是在TestK.kt附近有一个包装器类，并具有
早于class TestK : Test { constructor(i: Int, name: String): super(i, name) constructor(i: Int) : super(i) }的基础，以便后来被销毁；

FILE*

父级的析构函数中的CRTP调用子级函数

1 个答案: