具有编译时间常量的模板特化

时间:2014-08-18 11:55:15

标签: c++ templates atl

我正在尝试使用编译时常量为模板类构建特化。

模板类如下所示:

template<class TNativeItem, class TComItem = void,
         VARTYPE _vartype = _ATL_AutomationType<TComItem>::type>
class InOutComArray
{
private:
    CComSafeArray<TComItem, _vartype> _safeArray;
    // ...
public:
    InOutComArray(
        TNativeItem* items, size_t length,
        std::function<TComItem(const TNativeItem&)> convertToCom,
        std::function<TNativeItem(const TComItem&)> convertFromCom)
        : _safeArray(length)
    {
        // ...
    }

    // ...
};

用法例如:

InOutComArray<BOOL, VARIANT_BOOL, VT_BOOL>(
    items, length, BOOLToVARIANT_BOOL, VARIANT_BOOLToBOOL));

但是,也存在不需要转换的类型,我想为此提供一个简写版本:

InOutComArray<LONG>(items, length);

我试图像这样实现它:

template<class TItem, VARTYPE _vartype = _ATL_AutomationType<TItem>::type>
class InOutComArray<TItem, void, _vartype>
    : public InOutComArray<TItem, TItem, _vartype>
{
public:
    InOutComArray(TItem* items, size_t length)
        : InOutComArray<TItem, TItem, _vartype>(
              items, length, NoConverter<TItem>, NoConverter<TItem>)
    {

    }
};

但是,我收到以下错误:

  

'_ vartype':部分专业化不允许使用默认模板参数

有什么方法吗?

3 个答案:

答案 0 :(得分:3)

首先将默认参数定义为void_ATL_AutomationType<TComItem>::type,因此,当只给出一个参数X时,您希望InOutComArray<X>InOutComArray<X, void, _ATL_AutomationType<void>::type>

您的部分专业化与此相矛盾:InOutComArray<X>应为InOutComArray<X, X, _ATL_AutomationType<X>::type>

根据你的第二个参数(即void或与第一个参数相同),你可以将第二个参数默认为第一个参数:

template<class TNativeItem, class TComItem = TNativeItem,
     VARTYPE _vartype = _ATL_AutomationType<TComItem>::type>

这样,除了附加的构造函数之外,还涵盖了部分特化的行为。这可以通过使用构造函数的默认参数来实现:

template<class TNativeItem, class TComItem = TNativeItem,
     VARTYPE _vartype = _ATL_AutomationType<TComItem>::type>
class InOutComArray
{
public:
InOutComArray(
    TNativeItem* items, size_t length,
    std::function<TComItem(const TNativeItem&)> convertToCom = NoConverter<TNativeItem>(),
    std::function<TNativeItem(const TComItem&)> convertFromCom = NoConverter<TNativeItem>());
};

答案 1 :(得分:1)

根据标准§14.5.5/ 8类模板部分特化[temp.class.spec]:

  

专业化的模板参数列表不应包含默认模板参数值。

因此,编译器正确地抱怨,因为在您的部分特化中,您为VARTYPE _vartype = _ATL_AutomationType<TItem>::type提供了默认模板参数值。

答案 2 :(得分:1)

  

有什么方法吗?

是,从部分特化中删除默认模板参数。你不需要它。

根据主要模板:

template<class TNativeItem, class TComItem = void,
         VARTYPE _vartype = _ATL_AutomationType<TComItem>::type>
class InOutComArray

这些类型是等效的:

InOutComArray<LONG>
InOutComArray<LONG, void, _ATL_AutomationType<TComItem>::type>

每当使用InOutComArray实例化TComItem = void时,您将获得部分专业化:

template<class TItem, VARTYPE _vartype>
class InOutComArray<TItem, void, _vartype>