模板推导可以仅根据 C 中的函数返回类型来推断类型参数吗？

基于返回类型的函数模板推导：探索

简介

中C 中，模板推导允许编译器在根据提供的实际参数调用模板函数时推断类型参数。这可以通过消除显式指定类型参数的需要来简化代码。

建议的场景

给定的问题提出了一个场景，用户希望使用模板推导来使用通用分配函数为不同类型的对象分配内存。具体来说，他们希望实现以下代码：

<code class="cpp">GCPtr<A> ptr1 = GC::Allocate();
GCPtr<B> ptr2 = GC::Allocate();</code>

而不是当前的实现：

<code class="cpp">GCPtr<A> ptr1 = GC::Allocate<A>();
GCPtr<B> ptr2 = GC::Allocate<B>();</code>

模板化分配函数

当前的 Allocate 函数模板定义如下：

<code class="cpp">template <typename T>
static GCPtr<T> Allocate();</code>

但是，仅使用返回类型无法实现所需的模板推导。类型推导过程主要依赖于函数的参数。

使用辅助函数的解决方法

为了克服此限制，可以使用辅助函数来隐藏显式类型参数如下所示：

<code class="cpp">// Helper function
template <typename T>
void Allocate( GCPtr<T>& p ) {
   p = GC::Allocate<T>();
}

// Usage
int main()
{
   GCPtr<A> p = 0;
   Allocate(p);
}</code>

C 11 的替代语法

C 11 引入了一种允许在模板推导过程中丢弃显式类型声明的语法：

<code class="cpp">auto p = GC::Allocate<A>();   // p is of type GCPtr<A></code>

结论

虽然不可能仅依靠返回类型的模板推导，但使用辅助函数或 C 11 语法可以提供一种方便的替代方案来对齐与所需的行为。这些技术可以使用简化的语法分配不同类型的对象，从而减少对显式类型参数的需求。

以上是模板推导可以仅根据 C 中的函数返回类型来推断类型参数吗？的详细内容。更多信息请关注PHP中文网其他相关文章！