c++ - 我可以创建匹配枚举类型的类模板的部分模板特化吗？

Question

我有一个函数模板，由一组类模板显式特化提供支持，语法如下

abc.GetAs<DesiredType>("Name");

(其中 GetAs<t> 类似于:

template<typename T>
T GetAs(wchar_t const* propName) const
{
    typedef Converter<T> Converter;
    auto thing = Get(propName);
    return Converter::Convert(thing);
}

)

我想专攻 DesiredType当该类型是枚举时，返回的类型匹配枚举的基础类型(或 enum class )。

这是可能的还是客户只​​需要自己指定底层类型？

---

我正在尝试允许这样的代码:

enum class Example
{
    One,
    Two
}

int main()
{
    foo_ipc_class ic(L"/// Construct me");
    // Today, calls the primary template rather than an explicit
    // specialization for an integral type.
    Example ex = ic.GetAs<Example>(L"Property Name");
}

Answer 1

由于不可能部分特化函数模板，您必须更改您的实现以使用“委托(delegate)到类”技巧:

#include <type_traits>

// Class to delegate to
template <typename T, bool isEnum = std::is_enum<T>::value>
struct GetAs_Class {
  typedef your_return_type ReturnType;
  static ReturnType GetAs(your_parameters) { your_code; }
};

// Partial specialisation    
template <typename T>
struct GetAs_Class<T, true> {
  typedef specialisation_return_type ReturnType;
  static ReturnType GetAs(your_parameters) { specialisation_code; }
};


// Your function now delegates to the class
template <typename T>
typename GetAs_Class<T>::ReturnType GetAs(your_parameters) {
  return GetAs_Class<T>::GetAs(your_arguments);
}