c++ - 模板推导不适用于函数指针引用

Question

我正在使用弯路，我发现他们使用的转换非常难看，所以我编写了几个模板函数来为我进行转换。

// Cast a function pointer to a void *
template <typename RET_TYPE, typename...ARGs>
void* fnPtrToVoidPtr(RET_TYPE(WINAPI * pOriginalFunction)(ARGs...))
{
    return (void*)pOriginalFunction;
}

// Cast a function pointer that is referencable to a void *&
template <typename RET_TYPE, typename...ARGs>
void*& fnPtrRefToVoidPtrRef(RET_TYPE(WINAPI*& pOriginalFunction)(ARGs...))
{
    return (void*&)pOriginalFunction;
}

这允许我执行以下调用:

BOOL (WINAPI *pDestroyIcon)(HICON) = DestroyIcon;
DetourAttach(&fnPtrRefToVoidPtrRef(pDestroyIcon), fnPtrToVoidPtr(DestroyIcon));

但是，我想知道是否可以将两个函数名称 fnPtrRefToVoidPtrRef 和 fnPtrToVoidPtr 合并为一个名称。

执行以下操作是行不通的，因为它无法推导出模板参数:

// Cast a function pointer to a void *
template <typename RET_TYPE, typename...ARGs>
void* fnPtrToVoidPtr(RET_TYPE(WINAPI * & pOriginalFunction)(ARGs...))
{
    return (void*)pOriginalFunction;
}

// Cast a function pointer that is referencable to a void *&
template <typename RET_TYPE, typename...ARGs>
void*& fnPtrToVoidPtr(RET_TYPE(WINAPI * && pOriginalFunction)(ARGs...))
{
    return (void*&)pOriginalFunction;
}

BOOL (WINAPI *pDestroyIcon)(HICON) = DestroyIcon;
void* p1 = fnPtrToVoidPtr(DestroyIcon);
void** p2 = &fnPtrToVoidPtr(pDestroyIcon);

导致以下错误:

// error C2784: 'void *&fnPtrToVoidPtr(RET_TYPE (__stdcall *&&)(ARGs...))' : could not deduce template argument for 'overloaded function type' from 'overloaded function type'

使用我原来的函数，这工作正常:

    BOOL (WINAPI *pDestroyIcon)(HICON) = DestroyIcon;
    void* p1 = fnPtrToVoidPtr(DestroyIcon);
    void** p2 = &fnPtrRefToVoidPtrRef(pDestroyIcon);

但是，如果我将 fnPtrRefToVoidPtrRef 更改为:

// Cast a function pointer that is referencable to a void *&
template <typename RET_TYPE, typename...ARGs>
void*& fnPtrRefToVoidPtrRef(RET_TYPE(WINAPI*&& pOriginalFunction)(ARGs...))
{
    return (void*&)pOriginalFunction;
}

我收到以下错误:

error C2664: 'void *&fnPtrRefToVoidPtrRef<BOOL,HICON>(RET_TYPE (__stdcall *&&)(HICON))' : cannot convert argument 1 from 'BOOL (__stdcall *)(HICON)' to 'BOOL (__stdcall *&&)(HICON)'

这似乎就是它不能进行模板推导的原因，它无法将其识别为相同(或可转换？)类型。有没有办法让 C++ 正确推导出函数指针？

Answer 1

您的代码有两个问题。让我们按顺序修复它们。

首先，必须切换两个 fnPtrToVoidPtr 重载的主体和返回类型。你想要的是通过 (void*&) 强制转换将函数指针类型的左值转换为 void* 类型的左值，所以这个强制转换应该放在采用 * & 的函数 - 这是将绑定(bind)到可修改左值的参数类型，另一个 * && 将绑定(bind)到右值。相反，(void*) 强制转换必须进入带有 * && 的函数。显然，需要相应地更改返回类型。

现在，推导失败的原因是:在原始版本中进行类似 fnPtrToVoidPtr(DestroyIcon) 的调用时，您依赖于函数到指针的转换。如果参数(目标)是引用，则不会发生此转换。

因此，在您的第二个版本中，两个重载都采用引用，参数是对指针的引用，但参数是函数标识符；不能从后者推导出前者的模板参数，因此推导失败。最简单的修复方法是为调用显式提供函数指针，如下所示:fnPtrToVoidPtr(&DestroyIcon)。

&DestroyIcon 是一个右值，所以 * && 参数会绑定(bind)到它，* & 不会，这正是我们想要的。

通过这两个修复，您的代码的可编译版本变为:

#include "windows.h"

// Cast a function pointer to a void *
template <typename RET_TYPE, typename...ARGs>
void* fnPtrToVoidPtr(RET_TYPE(WINAPI * && pOriginalFunction)(ARGs...))
{
   return (void*)pOriginalFunction;
}

// Cast a function pointer that is referencable to a void *&
template <typename RET_TYPE, typename...ARGs>
void*& fnPtrToVoidPtr(RET_TYPE(WINAPI * & pOriginalFunction)(ARGs...))
{
   return (void*&)pOriginalFunction;
}

BOOL(WINAPI *pDestroyIcon)(HICON) = DestroyIcon;

int main()
{
   void* p1 = fnPtrToVoidPtr(&DestroyIcon);
   void** p2 = &fnPtrToVoidPtr(pDestroyIcon);
}

如果你不喜欢在函数名前使用 & 操作符，你也可以改变重载，把 * && 改成 & - 函数的左值引用。现在，该版本可以称为 fnPtrToVoidPtr(DestroyIcon)。 &&(对函数的右值引用)也可以工作，因为对函数的右值引用也绑定(bind)到函数左值(所有指定函数的标识符表达式都是左值)。