构造函数调用子类

Question

我有一个（部分实现的）类层次结构，其中

template<typename T> {
    class data { 
        data ( string s ) {}; // loads from file
        ...
    }
    class image: public data <T> { 
        image ( string s ) {}; // loads from file
        ...
    }
    class jpgimage : public image<T> {
        jpgimage ( string s ) {}; // loads from file 
        ...
    }
    // other image types
}

现在在我的其余代码中，我希望能够抽象出某物是 jpeg 图像还是图像，所以我想使用 data。但同时我想将特定于 jpeg 图像的命令传递给这些函数。

因此，如果我调用data<int> img("lena.jpg");，结果是图像，甚至是 jpeg 图像，我希望数据构造函数调用图像构造函数，而图像构造函数又调用 jpgimage 构造函数。

我无法让它工作，人们警告切片、虚拟构造函数等。但这是一种奇怪的设置方式吗？

Answer 1

继承用于是一个关系。所以，image<T> 是 data<T>，但不是相反！为data<T> 对象调用特定于image<T> 的方法是没有意义的，毕竟它可能不是image<T>。您想要这样做的事实表明您的代码设计存在缺陷。重新考虑您的代码设计。

Answer 2

要实现这一点，您需要数据是实现的所有者，而不是基类：

template<typename T> 
class base_data {
    base_data ( string s ) {} // loads from file
    // ...  
};

template<typename T> 
class image: public base_data <T> { 
    image ( string s ) {} // loads from file
    ... 
};

template<typename T> 
class jpgimage : public image<T> {
    jpgimage ( string s ) {} // loads from file 
    // ...
    // other image types
};

template<typename T> 
class data {
    data ( string s ) {
        if(is_jpeg( s )) impl = new jpeg_data<T>( s );
        // ...
    } // loads from file
    // ...
    private:
        base_data<T> *impl;
};

现在在构造函数中你可以创建适当的实现类型等等。

Answer 3

我会说这是一个糟糕的设计。你不需要使用通用的data 类来猜测你是否使用图像，如果你确定你这样做的话。在需要的地方使用image 或jpgimage 类，并使用通用的data 类使其他一切工作。