类和成员函数模板特化出错

Question

我正在尝试专门化一个Color 类，它是to() 的成员函数，以便从一种颜色空间转换为另一种颜色空间并返回。这是我目前所拥有的：

enum ColorSpace {
    BGR, RGB, LAB, HSV, XYZ, YUV, HSL, CMY, YIQ, LUV, HLAB, LCH, OHTA
};

template<ColorSpace _CS, typename _Dtp> class Color;

template<typename _Dtp>
class Color<RGB, _Dtp> {

public:

    Color(_Dtp R, _Dtp G, _Dtp B) : R(R), G(G), B(B) { ;; };
    Color() : Color(0, 0, 0) { ;; };
    ~Color() { ;; };

    _Dtp R, G, B;

    template<ColorSpace _CS, typename _Dtp2 = _Dtp>
    Color<_CS, _Dtp2> to<>();

    template<typename _Dtp2 = _Dtp>
    Color<HSV, _Dtp2> to<HSV, _Dtp2>() {
        Color<HSV, _Dtp2> res;

        rgb2hsv(R, G, B, res.H, res.S, res.V);

        return res;
    }

};

template<typename _Dtp = double>
class Color<HSV, _Dtp> {

public:

    Color(_Dtp H, _Dtp S, _Dtp V) : H(H), S(S), V(V) { ;; };
    Color() : Color(0, 0, 0) { ;; };
    ~Color() { ;; };

    _Dtp H, S, V;

    template<ColorSpace _CS, typename _Dtp2 = _Dtp>
    Color<_CS, _Dtp2> to<>();

    template<typename _Dtp2 = _Dtp>
    Color<RGB, _Dtp2> to<RGB, _Dtp2>() {
        Color<RGB, _Dtp2> res;

        hsv2rgb(H, S, V, res.R, res.G, res.B);

        return res;
    }

};

每个色彩空间都有一个类。每个类都有专门的函数to() 用于每个可能的转换。但是，出于明显的原因，我只发布了其中的 2 个。所以，当我尝试使用转换功能时：

Color<RGB, double> c(255, 255, 125);

Color<HSV, double> c2 = c.to<HSV, double>();

我收到以下错误：

错误：类“Color”没有成员“to”

当我尝试为 Color 类使用默认类型时，我的最后一个问题出现了：

template<typename _Dtp = double>
class Color<RGB, _Dtp> {
...
...

在那种情况下，我什至不能写这个：

Color<RGB> c;

它给了我这个错误：

错误：需要声明

Answer 1

您的代码应如下所示：

enum ColorSpace {
    BGR, RGB, LAB, HSV, XYZ, YUV, HSL, CMY, YIQ, LUV, HLAB, LCH, OHTA
};

template<ColorSpace _CS, typename _Dtp> class Color;

template<typename _Dtp>
class Color<RGB, _Dtp> {

public:

    Color( _Dtp R, _Dtp G, _Dtp B ) : R( R ), G( G ), B( B ) { ;; };
    Color() : Color( 0, 0, 0 ) { ;; };
    ~Color() { ;; };

    _Dtp R, G, B;


    template<ColorSpace _CSO, typename _Dtp2> struct STo;
    template<typename _Dtp2> struct STo<HSV, _Dtp2>
    {
        Color<HSV, _Dtp2> to()
        {
            Color<HSV, _Dtp2> res;

            rgb2hsv( R, G, B, res.H, res.S, res.V );

            return res;
        }
    };

    template<ColorSpace _CSO, typename _Dtp2>
    Color<_CSO, _Dtp2> to()
    {
        STo<_CSO, _Dtp2> object;
        return object.to();
    }

};

template<typename _Dtp>
class Color<HSV, _Dtp> {

public:

    Color( _DtpH, _DtpS, _DtpV ) : H( H ), S( S ), V( V ) { ;; };
    Color() : Color( 0, 0, 0 ) { ;; };
    ~Color() { ;; };

    _DtpH, S, V;

    template<ColorSpace _CSO, typename _Dtp2> struct STo;
    template<typename _Dtp2> struct STo<RGB, _Dtp2>
    {
        Color<RGB, _Dtp2> to()
        {
            Color<RGB, _Dtp2> res;

            hsv2rgb( H, S, V, res.R, res.G, res.B );

            return res;
        }
    };

    template<ColorSpace _CSO, typename _Dtp2>
    Color<_CSO, _Dtp2> to()
    {
        STo<_CSO, _Dtp2> object;
        return object.to();
    }
};

你不能只写没有定义的函数特化。这就是为什么你应该从“to”函数中删除括号。但是在这种情况下，我们遇到了另一个问题——我们不能对函数使用偏特化，但对于类可以。在这种情况下，我使用类似条目的“to”函数来实现可能的结构特化“STo”

Answer 2

添加构造函数进行转换可能更简单：

enum ColorSpace {
    BGR, RGB, LAB, HSV, XYZ, YUV, HSL, CMY, YIQ, LUV, HLAB, LCH, OHTA
};

template <ColorSpace, typename = double> class Color;

template <typename T>
class Color<RGB, T> {
public:

    Color(T R, T G, T B) : R(R), G(G), B(B) {}
    Color() : Color(0, 0, 0) {}
    Color(const Color&rhs) = default;
    ~Color() = default;

    T R, G, B;

    template <typename T2>
    /*explicit*/ Color(const Color<HSV, T2>& rhs) 
    {
        hsv2rgb(rhs.H, rhs.S, rhs.V, R, G, B);
    }
};
template <typename T>
class Color<HSV, T> {
public:
    Color(T H, T S, T V) : H(H), S(S), V(V) {}
    Color() : Color(0, 0, 0) {}
    Color(const Color&rhs) = default;
    ~Color() = default;

    T H, S, V;

    template <typename T2>
    /*explicit*/ Color(const Color<RGB, T2>& rhs) 
    {
        rgb2hsv(rhs.R, rhs.G, rhs.B, H, S, V);
    }

};

可能的用法：

Color<RGB, double> c(255, 255, 125);

Color<HSV, double> c2{c};