类和成员函数模板专用化出错

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>();

我收到以下错误：

错误："颜色"类没有成员"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};