Question

我有一个问题，在互联网上搜索了一段时间，但没有发现任何问题。

对于2D图片，我有一个通用类Image2D：

template <typename TValue>
class Image2D 
{
    public:
    typedef Image2D<TValue>    Self;      // le type de *this
    typedef TValue             Value;     // le type pour la valeur des pixels
    typedef std::vector<Value> Container; // le type pour stocker les valeurs des pixels de l'image.

    Image2D( int w, int h, Value g = Value() )
        : m_width(w), m_height(h), m_data(Container(w * h, g)) { }

    struct Iterator : public Container::iterator 
    {
        Iterator( Self & image, int x, int y ) 
        : Container::iterator( image.m_data.begin() + image.index( x, y ) ) { }
    };
    Iterator begin() 
    { 
        return start( 0, 0 );
    }
    Iterator end()   
    { 
        return start( 0, h() ); 
    }
    Iterator start( int x, int y ) 
    { 
        return Iterator( *this, x, y ); 
    }
...
};

它使我能够为图片的像素选择特定的类型，例如在实例化该通用类时，例如unsigned char或Color(unsigned char, unsigned char, unsigned char)。

我需要向该类添加一个方法，其中某些类型的实现可能有所不同：

template <typename TValue>
class Image2D
{
...

    template <typename Color>
    void sepiaFilter()
    {
        for(Iterator it = this -> begin(), itE = this -> end(); it != itE; ++it)
        {
            Color oldColor = *it;

            Color newColor = oldColor;

            newColor.red = std::min((oldColor.red * .393) + (oldColor.green * .769) + (oldColor.blue * .189), 255.0);
            newColor.green = std::min((oldColor.red * .349) + (oldColor.green * .686) + (oldColor.blue * .168), 255.0);
            newColor.blue = std::min((oldColor.red * .272) + (oldColor.green * .534) + (oldColor.blue * .131), 255.0);

            *it = newColor;
        }
    }
...
};

unsigned char同样适用，但方法的核心不应相同。

问题是我不知道如何针对特定类型专门化泛型函数。我试图创建这个：

template<>
class Image2D<Color> 
{
    template <typename Color>
    void sepiaFilter()
    {
        for(Iterator it = this -> begin(), itE = this -> end(); it != itE; ++it)
        {
            Color oldColor = *it;

            Color newColor = oldColor;

            newColor.red = std::min((oldColor.red * .393) + (oldColor.green * .769) + (oldColor.blue * .189), 255.0);
            newColor.green = std::min((oldColor.red * .349) + (oldColor.green * .686) + (oldColor.blue * .168), 255.0);
            newColor.blue = std::min((oldColor.red * .272) + (oldColor.green * .534) + (oldColor.blue * .131), 255.0);

            *it = newColor;
        }
    }
}

并创建另一个特定的Image2D类。但是，这样做需要在该专用类中重新实现迭代器。所以我不能使用通用类的迭代器。

因此这些解决方案均无效，因此我需要帮助.. Heeeeelp！

我该怎么办？

Answer 1

如果我正确理解了您的问题，那么您可以采取几种方法。我认为您想要的是模板专业化。为此，您想修改泛型类以包含要专门化的功能：

template <typename TValue>
class Image2D{
    //your original code here
    void sepiaFilter(Image2D<Value> img){}
};

请注意，我没有给功能添加主体。现在它什么也没做。现在我们专门研究该功能：

template<>
void Image2D<Color>::sepiaFilter(Image2D<Color> img){
    //body of your function here
}

就是这样！ Image2D<Color>现在具有特殊定义的行为。

此外，这也不是您的问题的一部分，而是您对该功能的明智之举。我建议改为使用

//code before function definition
static void sepiaFilter(Image2D<Value>& img){
    //modify member values of img by reference
}
//code after function definition

添加

static是因为该函数不会修改其自身对象的成员值。并且，＆符使其通过引用传递，否则完成后对img所做的任何更改都将消失。或者，您可以执行以下操作：

//code before function definition
void sepiaFilter(){
    //modify member values of this
}
//code after function definition

在这种情况下，您将要修改自己的成员，而不是修改已通过的内容的成员

无论如何，我希望这能回答您的问题，祝您好运！

Answer 2

谢谢你们的帮助！ Bronicki的解决方案正在工作。用

完成他说的话之后

void sepiaFilter() { ... }

是一个很好的解决方案。

我用

来称呼它

img.sepiaFilter();

在main方法中，img是Image2D实例。

在泛型类中实现特定的方法

2 个答案: