4

我正在尝试在（非成员）函数上使用部分模板专业化，并且我在语法上绊倒了。我在 StackOverflow 中搜索了其他部分模板专业化问题，但这些问题涉及类或成员函数模板的部分专业化。

作为一个起点，我有：

struct RGBA {
    RGBA(uint8 red, uint8 green, uint8 blue, uint8 alpha = 255) :
        r(red), g(green), b(blue), a(alpha)
    {}

    uint8 r, g, b, a;
};

struct Grayscale {
    Grayscale(uint8 intensity) : value(intensity) {}

    uint8 value;
};

inline uint8 IntensityFromRGB(uint8 r, uint8 g, uint8 b) {
    return static_cast<uint8>(0.30*r + 0.59*g + 0.11*b);
}

// Generic pixel conversion.  Must specialize this template for specific
// conversions.
template <typename InType, typename OutType>
OutType ConvertPixel(InType source);

我可以对 ConvertPixel 做一个完整的专业化来制作一个 RGBA 到灰度的转换函数，如下所示：

template <>
Grayscale ConvertPixel<RGBA, Grayscale>(RGBA source) {
    return Grayscale(IntensityFromRGB(source.r, source.g, source.b));
}

可以想象，我将拥有更多提供红色、绿色和蓝色的像素类型，但可能采用不同的格式，所以我真正想做的是通过指定GrayscaleforOutType并仍然允许各种InTypes 来进行部分专业化。我尝试了各种这样的方法：

template <typename InType>
Grayscale ConvertPixel<InType, Grayscale>(InType source) {
    return Grayscale(IntensityFromRGB(source.r, source.g, source.b));
}

但是（Microsoft VS 2008 C++）编译器拒绝它。

我正在尝试的可能吗？如果是这样，正确的语法是什么？

4

3 回答 3

8

C++ 不允许函数模板的部分特化。

它甚至不允许成员函数模板的部分特化。当您定义一个作为类模板部分特化的一部分的函数时，这可能看起来有点像您已经部分特化了成员函数。但你没有。

Herb Sutter 讨论部分专业化

于 2009-12-25T19:01:16.737 回答
6

可以使用类部分特化：

template<class A, class B>
struct Functor {
    static A convert(B source);
};

template<class B>
struct Functor<GrayScale, B> {
    static GrayScale convert(B source) {
         return Grayscale(IntensityFromRGB(source.r, source.g, source.b));
    }
};

// Common function
template<class A, class B>
A Convert(B source) {
   return typename Functor<A,B>::convert(source);
}
于 2009-12-25T19:32:26.550 回答
3

部分特化是一个仅适用于类的概念，不适用于自由函数或成员函数。您可能想要做的只是提供函数（或成员函数）重载，它映射到部分和完全特化对类所做的事情。

于 2009-12-25T19:13:24.333 回答