C++：不允许 void 的部分函数专门化 - 替代解决方案？

Question

我想我现在明白为什么部分函数模板被认为是令人困惑和不必要的，因此不被 C++ 标准允许。不过，我希望能够帮助您重新表述以下没有部分专业化的函数。 FWIW，该函数是非专用类的成员：

template <typename IMPL, typename RET>
RET call (functor <IMPL> func, 
          IMPL * impl)
{ 
  return func.call (impl);
}

template <typename IMPL>
void call <IMPL, void_t> (functor <IMPL> func, 
                          IMPL * impl) 
{ 
  func.call (impl);
}

这里的问题是我无法重载函数的返回类型。另外，我想要专门研究的类型名不用作函数参数 - 重载无济于事的另一个原因。是的，我可以引入一个虚拟参数来强制重载，但这很丑陋，不是吗？

最后，为什么“void”不是 C++ 中的类型？这会让事情变得更加一致......但我可能错过了完整的图片......

Answer 1

我相信，首先，如果您有一个返回 void 的函数，那么返回 void 表达式是完全合法的 - 例如调用另一个返回 void 的函数，其次，返回 void 是 C++ 中的完整类型，您可以根据需要将其传递给模板。

Answer 2

首先，

template <typename IMPL, typename RET>
RET call (functor <IMPL> func, 
          IMPL * impl)
{ 
  return func.call (impl);
}

确实应该是

template <typename RET, typename IMPL>
RET call (functor <IMPL> func, 
          IMPL * impl)
{ 
  return func.call (impl);
}

（我在模板参数列表中颠倒了 RET 和 IMPL），以便您可以像这样调用函数

call<int>(f, impl);

，而不必键入

call<impl_type, int>(f, impl);

事实上，编译器无法推断出RET，所以你必须自己提供。

其次，您不需要重载 void，因为返回 void 表达式就可以了。如果需要，您可以添加一个重载：

template <typename IMPL>
void call(functor<IMPL> func, IMPL* impl)

并在调用此重载时使用call(f, impl)。

如果您可以访问 C++0x，请考虑使用 decltype。

Answer 3

如果您的函子模板类已经有 RET 的 typedef，您可以这样做：

template <typename IMPL>
typename functor<IMPL>::RET call (functor <IMPL> func, 
          IMPL * impl)
{ 
  return func.call (impl);
}

而不用担心重载。另外，你用的编译器是什么？所有符合标准的编译器都允许您从 void 函数返回 void 函数的结果。

Answer 4

函数部分特化的一般解决方案涉及使用具有相同模板参数的辅助类模板，以及具有与函数相同参数的单个方法。然后可以部分特化模板类。

但是，就您而言，我认为您应该能够使用 void 作为返回类型，如其他答案所述。

Answer 5

您可以通过使用函数重载来做到这一点：

template <typename IMPL, typename RET>
RET call (functor <IMPL> func, 
          IMPL * impl)
{ 
  return func.call (impl);
}

template <typename IMPL>
void call (functor <void_t> func, void_t * impl) 
{ 
  func.call (impl);
}

此外，void 是 C++ 中的一种类型；是什么让你认为事实并非如此？